About the Execution of 2021-gold for LamportFastMutEx-COL-8
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 437.699 | 11216.00 | 23760.00 | 210.80 | TTFTTTTTFFFTFTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r143-tall-165271830300147.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is LamportFastMutEx-COL-8, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r143-tall-165271830300147
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 8.8K Apr 29 19:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Apr 29 19:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Apr 29 19:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 29 19:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K May 9 08:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 9 08:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 9 08:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Apr 29 19:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Apr 29 19:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Apr 29 19:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 29 19:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 9 08:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 9 08:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 5 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 44K May 10 09:34 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-00
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-01
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-02
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-03
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-04
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-05
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-06
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-07
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-08
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-09
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-10
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-11
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-12
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-13
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-14
FORMULA_NAME LamportFastMutEx-COL-8-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1655069050972
Running Version 0
[2022-06-12 21:24:12] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-12 21:24:12] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-12 21:24:12] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2022-06-12 21:24:12] [WARNING] Using fallBack plugin, rng conformance not checked
[2022-06-12 21:24:13] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 544 ms
[2022-06-12 21:24:13] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 315 PT places and 837.0 transition bindings in 18 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 11 ms.
Working with output stream class java.io.PrintStream
[2022-06-12 21:24:13] [INFO ] Built PT skeleton of HLPN with 18 places and 17 transitions in 3 ms.
[2022-06-12 21:24:13] [INFO ] Skeletonized HLPN properties in 1 ms.
Successfully produced net in file /tmp/petri1000_16652443376145877044.dot
Reduce places removed 3 places and 0 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2022-06-12 21:24:13] [INFO ] Flatten gal took : 19 ms
[2022-06-12 21:24:13] [INFO ] Flatten gal took : 10 ms
[2022-06-12 21:24:13] [INFO ] Unfolded HLPN to a Petri net with 315 places and 666 transitions in 19 ms.
[2022-06-12 21:24:13] [INFO ] Unfolded HLPN properties in 1 ms.
Successfully produced net in file /tmp/petri1001_16631751004293412655.dot
Deduced a syphon composed of 49 places in 3 ms
Reduce places removed 49 places and 82 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 235 ms. (steps per millisecond=42 ) properties (out of 16) seen :14
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-13 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-12 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-10 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-04 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-03 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 464 ms. (steps per millisecond=21 ) properties (out of 2) seen :1
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-02 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 301 ms. (steps per millisecond=33 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2022-06-12 21:24:14] [INFO ] Flow matrix only has 416 transitions (discarded 168 similar events)
// Phase 1: matrix 416 rows 266 cols
[2022-06-12 21:24:14] [INFO ] Computed 82 place invariants in 22 ms
[2022-06-12 21:24:14] [INFO ] [Real]Absence check using 82 positive place invariants in 54 ms returned sat
[2022-06-12 21:24:14] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:14] [INFO ] [Real]Absence check using state equation in 152 ms returned sat
[2022-06-12 21:24:14] [INFO ] State equation strengthened by 128 read => feed constraints.
[2022-06-12 21:24:14] [INFO ] [Real]Added 128 Read/Feed constraints in 17 ms returned sat
[2022-06-12 21:24:15] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:24:15] [INFO ] [Nat]Absence check using 82 positive place invariants in 64 ms returned sat
[2022-06-12 21:24:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:15] [INFO ] [Nat]Absence check using state equation in 174 ms returned sat
[2022-06-12 21:24:15] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2022-06-12 21:24:15] [INFO ] Deduced a trap composed of 9 places in 90 ms of which 5 ms to minimize.
[2022-06-12 21:24:15] [INFO ] Deduced a trap composed of 9 places in 179 ms of which 1 ms to minimize.
[2022-06-12 21:24:15] [INFO ] Deduced a trap composed of 15 places in 245 ms of which 1 ms to minimize.
[2022-06-12 21:24:16] [INFO ] Deduced a trap composed of 52 places in 96 ms of which 2 ms to minimize.
[2022-06-12 21:24:16] [INFO ] Deduced a trap composed of 52 places in 150 ms of which 1 ms to minimize.
[2022-06-12 21:24:16] [INFO ] Deduced a trap composed of 11 places in 94 ms of which 0 ms to minimize.
[2022-06-12 21:24:16] [INFO ] Deduced a trap composed of 48 places in 91 ms of which 0 ms to minimize.
[2022-06-12 21:24:16] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 1133 ms
[2022-06-12 21:24:16] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 35 ms.
[2022-06-12 21:24:18] [INFO ] Added : 228 causal constraints over 46 iterations in 1699 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 9 ms.
Incomplete Parikh walk after 86300 steps, including 1000 resets, run finished after 307 ms. (steps per millisecond=281 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 226 out of 266 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 266/266 places, 584/584 transitions.
Applied a total of 0 rules in 47 ms. Remains 266 /266 variables (removed 0) and now considering 584/584 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 266/266 places, 584/584 transitions.
[2022-06-12 21:24:18] [INFO ] Flatten gal took : 59 ms
[2022-06-12 21:24:18] [INFO ] Flatten gal took : 44 ms
[2022-06-12 21:24:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14783722233432935453.gal : 28 ms
[2022-06-12 21:24:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16999894906489707987.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality14783722233432935453.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16999894906489707987.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/ReachabilityCardinality14783722233432935453.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16999894906489707987.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality14783722233432935453.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(269) : error 3 : , at offset 23
near [Index: 2403 (Start: 39346699-Stop: 39346699) ='-', type<22> Line: 269 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(275) : error 3 : , at offset 23
near [Index: 2463 (Start: 39346861-Stop: 39346861) ='-', type<22> Line: 275 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(275) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(281) : error 3 : , at offset 23
near [Index: 2523 (Start: 39347023-Stop: 39347023) ='-', type<22> Line: 281 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(281) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(287) : error 3 : , at offset 23
near [Index: 2583 (Start: 39347185-Stop: 39347185) ='-', type<22> Line: 287 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(287) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(293) : error 3 : , at offset 23
near [Index: 2643 (Start: 39347347-Stop: 39347347) ='-', type<22> Line: 293 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(293) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(299) : error 3 : , at offset 23
near [Index: 2703 (Start: 39347512-Stop: 39347512) ='-', type<22> Line: 299 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(299) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(305) : error 3 : , at offset 23
near [Index: 2763 (Start: 39347677-Stop: 39347677) ='-', type<22> Line: 305 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(305) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(311) : error 3 : , at offset 23
near [Index: 2823 (Start: 39347842-Stop: 39347842) ='-', type<22> Line: 311 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(311) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(317) : error 3 : , at offset 23
near [Index: 2883 (Start: 39348007-Stop: 39348007) ='-', type<22> Line: 317 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(317) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(321) : error 3 : , at offset 23
near [Index: 2927 (Start: 39348129-Stop: 39348129) ='-', type<22> Line: 321 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(321) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(325) : error 3 : , at offset 23
near [Index: 2971 (Start: 39348251-Stop: 39348251) ='-', type<22> Line: 325 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(325) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(329) : error 3 : , at offset 23
near [Index: 3015 (Start: 39348373-Stop: 39348373) ='-', type<22> Line: 329 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(329) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(333) : error 3 : , at offset 23
near [Index: 3059 (Start: 39348495-Stop: 39348495) ='-', type<22> Line: 333 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(333) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(337) : error 3 : , at offset 23
near [Index: 3103 (Start: 39348618-Stop: 39348618) ='-', type<22> Line: 337 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(337) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(341) : error 3 : , at offset 23
near [Index: 3147 (Start: 39348741-Stop: 39348741) ='-', type<22> Line: 341 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(341) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(345) : error 3 : , at offset 23
near [Index: 3191 (Start: 39348864-Stop: 39348864) ='-', type<22> Line: 345 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(345) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1021) : error 3 : , at offset 23
near [Index: 9971 (Start: 39366859-Stop: 39366859) ='-', type<22> Line: 1021 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1021) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1025) : error 3 : , at offset 23
near [Index: 10015 (Start: 39366981-Stop: 39366981) ='-', type<22> Line: 1025 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1025) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1029) : error 3 : , at offset 23
near [Index: 10059 (Start: 39367103-Stop: 39367103) ='-', type<22> Line: 1029 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1029) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1033) : error 3 : , at offset 23
near [Index: 10103 (Start: 39367225-Stop: 39367225) ='-', type<22> Line: 1033 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1033) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1037) : error 3 : , at offset 23
near [Index: 10147 (Start: 39367347-Stop: 39367347) ='-', type<22> Line: 1037 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1037) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1041) : error 3 : , at offset 23
near [Index: 10191 (Start: 39367470-Stop: 39367470) ='-', type<22> Line: 1041 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1041) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1045) : error 3 : , at offset 23
near [Index: 10235 (Start: 39367593-Stop: 39367593) ='-', type<22> Line: 1045 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1045) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1049) : error 3 : , at offset 23
near [Index: 10279 (Start: 39367716-Stop: 39367716) ='-', type<22> Line: 1049 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1049) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1053) : error 3 : , at offset 23
near [Index: 10323 (Start: 39367839-Stop: 39367839) ='-', type<22> Line: 1053 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1053) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1059) : error 3 : , at offset 23
near [Index: 10383 (Start: 39368001-Stop: 39368001) ='-', type<22> Line: 1059 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1059) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1065) : error 3 : , at offset 23
near [Index: 10443 (Start: 39368163-Stop: 39368163) ='-', type<22> Line: 1065 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1065) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1071) : error 3 : , at offset 23
near [Index: 10503 (Start: 39368325-Stop: 39368325) ='-', type<22> Line: 1071 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1071) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1077) : error 3 : , at offset 23
near [Index: 10563 (Start: 39368487-Stop: 39368487) ='-', type<22> Line: 1077 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1077) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1083) : error 3 : , at offset 23
near [Index: 10623 (Start: 39368652-Stop: 39368652) ='-', type<22> Line: 1083 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1083) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1089) : error 3 : , at offset 23
near [Index: 10683 (Start: 39368817-Stop: 39368817) ='-', type<22> Line: 1089 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1089) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1095) : error 3 : , at offset 23
near [Index: 10743 (Start: 39368982-Stop: 39368982) ='-', type<22> Line: 1095 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1095) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1837) : error 3 : , at offset 24
near [Index: 18211 (Start: 39389148-Stop: 39389148) ='-', type<22> Line: 1837 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1837) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1841) : error 3 : , at offset 24
near [Index: 18255 (Start: 39389275-Stop: 39389275) ='-', type<22> Line: 1841 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1841) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1845) : error 3 : , at offset 24
near [Index: 18299 (Start: 39389402-Stop: 39389402) ='-', type<22> Line: 1845 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1845) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1849) : error 3 : , at offset 24
near [Index: 18343 (Start: 39389529-Stop: 39389529) ='-', type<22> Line: 1849 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1849) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1853) : error 3 : , at offset 24
near [Index: 18387 (Start: 39389656-Stop: 39389656) ='-', type<22> Line: 1853 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1853) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1857) : error 3 : , at offset 24
near [Index: 18431 (Start: 39389784-Stop: 39389784) ='-', type<22> Line: 1857 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1857) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1861) : error 3 : , at offset 24
near [Index: 18475 (Start: 39389912-Stop: 39389912) ='-', type<22> Line: 1861 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1861) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1865) : error 3 : , at offset 24
near [Index: 18519 (Start: 39390040-Stop: 39390040) ='-', type<22> Line: 1865 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1865) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1869) : error 3 : , at offset 24
near [Index: 18563 (Start: 39390168-Stop: 39390168) ='-', type<22> Line: 1869 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1869) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1875) : error 3 : , at offset 24
near [Index: 18623 (Start: 39390335-Stop: 39390335) ='-', type<22> Line: 1875 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1875) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1881) : error 3 : , at offset 24
near [Index: 18683 (Start: 39390502-Stop: 39390502) ='-', type<22> Line: 1881 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1881) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1887) : error 3 : , at offset 24
near [Index: 18743 (Start: 39390669-Stop: 39390669) ='-', type<22> Line: 1887 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1893) : error 3 : , at offset 24
near [Index: 18803 (Start: 39390836-Stop: 39390836) ='-', type<22> Line: 1893 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1893) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1899) : error 3 : , at offset 24
near [Index: 18863 (Start: 39391006-Stop: 39391006) ='-', type<22> Line: 1899 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1899) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1905) : error 3 : , at offset 24
near [Index: 18923 (Start: 39391176-Stop: 39391176) ='-', type<22> Line: 1905 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1905) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(1911) : error 3 : , at offset 24
near [Index: 18983 (Start: 39391346-Stop: 39391346) ='-', type<22> Line: 1911 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(1911) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3101) : error 3 : , at offset 24
near [Index: 31731 (Start: 39426164-Stop: 39426164) ='-', type<22> Line: 3101 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3101) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3105) : error 3 : , at offset 24
near [Index: 31775 (Start: 39426290-Stop: 39426290) ='-', type<22> Line: 3105 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3105) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3109) : error 3 : , at offset 24
near [Index: 31819 (Start: 39426416-Stop: 39426416) ='-', type<22> Line: 3109 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3109) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3113) : error 3 : , at offset 24
near [Index: 31863 (Start: 39426542-Stop: 39426542) ='-', type<22> Line: 3113 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3113) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3117) : error 3 : , at offset 24
near [Index: 31907 (Start: 39426668-Stop: 39426668) ='-', type<22> Line: 3117 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3117) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3121) : error 3 : , at offset 24
near [Index: 31951 (Start: 39426795-Stop: 39426795) ='-', type<22> Line: 3121 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3121) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3125) : error 3 : , at offset 24
near [Index: 31995 (Start: 39426922-Stop: 39426922) ='-', type<22> Line: 3125 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3125) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3129) : error 3 : , at offset 24
near [Index: 32039 (Start: 39427049-Stop: 39427049) ='-', type<22> Line: 3129 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3129) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3133) : error 3 : , at offset 24
near [Index: 32083 (Start: 39427176-Stop: 39427176) ='-', type<22> Line: 3133 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3133) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3139) : error 3 : , at offset 24
near [Index: 32143 (Start: 39427342-Stop: 39427342) ='-', type<22> Line: 3139 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3145) : error 3 : , at offset 24
near [Index: 32203 (Start: 39427508-Stop: 39427508) ='-', type<22> Line: 3145 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3145) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3151) : error 3 : , at offset 24
near [Index: 32263 (Start: 39427674-Stop: 39427674) ='-', type<22> Line: 3151 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3151) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3157) : error 3 : , at offset 24
near [Index: 32323 (Start: 39427840-Stop: 39427840) ='-', type<22> Line: 3157 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3157) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3163) : error 3 : , at offset 24
near [Index: 32383 (Start: 39428009-Stop: 39428009) ='-', type<22> Line: 3163 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3169) : error 3 : , at offset 24
near [Index: 32443 (Start: 39428178-Stop: 39428178) ='-', type<22> Line: 3169 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality14783722233432935453.gal(3169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality14783722233432935453.gal(3175) : error 3 : , at offset 24
near [Index: 32503 (Start: 39428347-Stop: 39428347) ='-', type<22> Line: 3175 LinePos:24]
: cannot match to any predicted input...
The parser returned 128 errors, parsing aborted
ITS-tools command line returned an error code 1
[2022-06-12 21:24:19] [INFO ] Flatten gal took : 41 ms
[2022-06-12 21:24:19] [INFO ] Applying decomposition
[2022-06-12 21:24:19] [INFO ] Flatten gal took : 39 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/graph18273826812709452642.txt, -o, /tmp/graph18273826812709452642.bin, -w, /tmp/graph18273826812709452642.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/graph18273826812709452642.bin, -l, -1, -v, -w, /tmp/graph18273826812709452642.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 21:24:19] [INFO ] Decomposing Gal with order
[2022-06-12 21:24:19] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 21:24:19] [INFO ] Removed a total of 945 redundant transitions.
[2022-06-12 21:24:19] [INFO ] Flatten gal took : 99 ms
[2022-06-12 21:24:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 74 labels/synchronizations in 25 ms.
[2022-06-12 21:24:19] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8146351071202659901.gal : 10 ms
[2022-06-12 21:24:19] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality18306949218322482119.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8146351071202659901.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality18306949218322482119.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality8146351071202659901.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality18306949218322482119.prop --nowitness
/tmp/ReachabilityCardinality8146351071202659901.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(7) : error 3 : , at offset 23
near [Index: 45 (Start: 33529993-Stop: 33529993) ='-', type<22> Line: 7 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(12) : error 3 : , at offset 23
near [Index: 101 (Start: 33530158-Stop: 33530158) ='-', type<22> Line: 12 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(12) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(15) : error 3 : , at offset 23
near [Index: 141 (Start: 33530281-Stop: 33530281) ='-', type<22> Line: 15 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(15) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(17) : error 3 : , at offset 23
near [Index: 165 (Start: 33530358-Stop: 33530358) ='-', type<22> Line: 17 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(17) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(24) : error 3 : , at offset 24
near [Index: 231 (Start: 33530562-Stop: 33530562) ='-', type<22> Line: 24 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(24) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(27) : error 3 : , at offset 24
near [Index: 263 (Start: 33530668-Stop: 33530668) ='-', type<22> Line: 27 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(27) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(35) : error 3 : , at offset 24
near [Index: 341 (Start: 33530918-Stop: 33530918) ='-', type<22> Line: 35 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(35) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(38) : error 3 : , at offset 24
near [Index: 373 (Start: 33531023-Stop: 33531023) ='-', type<22> Line: 38 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(38) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(49) : error 3 : , at offset 23
near [Index: 464 (Start: 33531268-Stop: 33531268) ='-', type<22> Line: 49 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(49) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(68) : error 3 : , at offset 23
near [Index: 648 (Start: 33531826-Stop: 33531826) ='-', type<22> Line: 68 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(68) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(103) : error 3 : , at offset 24
near [Index: 979 (Start: 33532817-Stop: 33532817) ='-', type<22> Line: 103 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(103) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(127) : error 3 : , at offset 23
near [Index: 1185 (Start: 33533453-Stop: 33533453) ='-', type<22> Line: 127 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(127) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(154) : error 3 : , at offset 24
near [Index: 1426 (Start: 33534230-Stop: 33534230) ='-', type<22> Line: 154 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(154) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(266) : error 3 : , at offset 23
near [Index: 2397 (Start: 33537192-Stop: 33537192) ='-', type<22> Line: 266 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(266) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(271) : error 3 : , at offset 23
near [Index: 2453 (Start: 33537354-Stop: 33537354) ='-', type<22> Line: 271 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(271) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(274) : error 3 : , at offset 23
near [Index: 2493 (Start: 33537476-Stop: 33537476) ='-', type<22> Line: 274 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(274) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(276) : error 3 : , at offset 23
near [Index: 2517 (Start: 33537552-Stop: 33537552) ='-', type<22> Line: 276 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(276) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(283) : error 3 : , at offset 24
near [Index: 2583 (Start: 33537753-Stop: 33537753) ='-', type<22> Line: 283 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(283) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(286) : error 3 : , at offset 24
near [Index: 2615 (Start: 33537858-Stop: 33537858) ='-', type<22> Line: 286 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(286) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(294) : error 3 : , at offset 24
near [Index: 2693 (Start: 33538105-Stop: 33538105) ='-', type<22> Line: 294 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(294) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(297) : error 3 : , at offset 24
near [Index: 2725 (Start: 33538209-Stop: 33538209) ='-', type<22> Line: 297 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(297) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(308) : error 3 : , at offset 23
near [Index: 2816 (Start: 33538450-Stop: 33538450) ='-', type<22> Line: 308 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(308) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(327) : error 3 : , at offset 23
near [Index: 3000 (Start: 33539008-Stop: 33539008) ='-', type<22> Line: 327 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(327) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(362) : error 3 : , at offset 24
near [Index: 3331 (Start: 33539999-Stop: 33539999) ='-', type<22> Line: 362 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(362) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(386) : error 3 : , at offset 23
near [Index: 3537 (Start: 33540635-Stop: 33540635) ='-', type<22> Line: 386 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(386) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(413) : error 3 : , at offset 24
near [Index: 3778 (Start: 33541411-Stop: 33541411) ='-', type<22> Line: 413 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(413) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(524) : error 3 : , at offset 23
near [Index: 4740 (Start: 33544350-Stop: 33544350) ='-', type<22> Line: 524 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(524) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(528) : error 3 : , at offset 23
near [Index: 4780 (Start: 33544466-Stop: 33544466) ='-', type<22> Line: 528 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(528) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(530) : error 3 : , at offset 23
near [Index: 4804 (Start: 33544542-Stop: 33544542) ='-', type<22> Line: 530 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(530) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(532) : error 3 : , at offset 23
near [Index: 4828 (Start: 33544618-Stop: 33544618) ='-', type<22> Line: 532 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(532) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(536) : error 3 : , at offset 24
near [Index: 4868 (Start: 33544735-Stop: 33544735) ='-', type<22> Line: 536 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(536) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(539) : error 3 : , at offset 24
near [Index: 4900 (Start: 33544840-Stop: 33544840) ='-', type<22> Line: 539 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(539) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(553) : error 3 : , at offset 23
near [Index: 5021 (Start: 33545184-Stop: 33545184) ='-', type<22> Line: 553 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(553) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(572) : error 3 : , at offset 23
near [Index: 5205 (Start: 33545742-Stop: 33545742) ='-', type<22> Line: 572 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(572) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(598) : error 3 : , at offset 23
near [Index: 5433 (Start: 33546439-Stop: 33546439) ='-', type<22> Line: 598 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(598) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(723) : error 3 : , at offset 23
near [Index: 6524 (Start: 33549794-Stop: 33549794) ='-', type<22> Line: 723 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(723) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(728) : error 3 : , at offset 23
near [Index: 6580 (Start: 33549959-Stop: 33549959) ='-', type<22> Line: 728 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(728) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(731) : error 3 : , at offset 23
near [Index: 6620 (Start: 33550082-Stop: 33550082) ='-', type<22> Line: 731 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(731) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(733) : error 3 : , at offset 23
near [Index: 6644 (Start: 33550159-Stop: 33550159) ='-', type<22> Line: 733 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(733) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(740) : error 3 : , at offset 24
near [Index: 6710 (Start: 33550363-Stop: 33550363) ='-', type<22> Line: 740 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(740) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(743) : error 3 : , at offset 24
near [Index: 6742 (Start: 33550469-Stop: 33550469) ='-', type<22> Line: 743 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(743) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(751) : error 3 : , at offset 24
near [Index: 6820 (Start: 33550719-Stop: 33550719) ='-', type<22> Line: 751 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(751) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(754) : error 3 : , at offset 24
near [Index: 6852 (Start: 33550824-Stop: 33550824) ='-', type<22> Line: 754 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(754) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(765) : error 3 : , at offset 23
near [Index: 6943 (Start: 33551069-Stop: 33551069) ='-', type<22> Line: 765 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(765) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(784) : error 3 : , at offset 23
near [Index: 7127 (Start: 33551627-Stop: 33551627) ='-', type<22> Line: 784 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(784) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(819) : error 3 : , at offset 24
near [Index: 7458 (Start: 33552618-Stop: 33552618) ='-', type<22> Line: 819 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(819) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(843) : error 3 : , at offset 23
near [Index: 7664 (Start: 33553254-Stop: 33553254) ='-', type<22> Line: 843 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(843) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(870) : error 3 : , at offset 24
near [Index: 7905 (Start: 33554030-Stop: 33554030) ='-', type<22> Line: 870 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(870) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(982) : error 3 : , at offset 23
near [Index: 8876 (Start: 33556992-Stop: 33556992) ='-', type<22> Line: 982 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(982) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(987) : error 3 : , at offset 23
near [Index: 8932 (Start: 33557154-Stop: 33557154) ='-', type<22> Line: 987 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(987) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(990) : error 3 : , at offset 23
near [Index: 8972 (Start: 33557276-Stop: 33557276) ='-', type<22> Line: 990 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(990) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(992) : error 3 : , at offset 23
near [Index: 8996 (Start: 33557352-Stop: 33557352) ='-', type<22> Line: 992 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(992) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(999) : error 3 : , at offset 24
near [Index: 9062 (Start: 33557553-Stop: 33557553) ='-', type<22> Line: 999 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(999) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1002) : error 3 : , at offset 24
near [Index: 9094 (Start: 33557658-Stop: 33557658) ='-', type<22> Line: 1002 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1002) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1010) : error 3 : , at offset 24
near [Index: 9172 (Start: 33557905-Stop: 33557905) ='-', type<22> Line: 1010 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1010) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1013) : error 3 : , at offset 24
near [Index: 9204 (Start: 33558009-Stop: 33558009) ='-', type<22> Line: 1013 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1013) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1025) : error 3 : , at offset 23
near [Index: 9304 (Start: 33558266-Stop: 33558266) ='-', type<22> Line: 1025 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1025) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1053) : error 3 : , at offset 23
near [Index: 9576 (Start: 33559058-Stop: 33559058) ='-', type<22> Line: 1053 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1053) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1090) : error 3 : , at offset 24
near [Index: 9929 (Start: 33560117-Stop: 33560117) ='-', type<22> Line: 1090 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1090) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1114) : error 3 : , at offset 23
near [Index: 10135 (Start: 33560753-Stop: 33560753) ='-', type<22> Line: 1114 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1114) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1141) : error 3 : , at offset 24
near [Index: 10376 (Start: 33561529-Stop: 33561529) ='-', type<22> Line: 1141 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1141) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1253) : error 3 : , at offset 23
near [Index: 11347 (Start: 33564493-Stop: 33564493) ='-', type<22> Line: 1253 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1253) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1258) : error 3 : , at offset 23
near [Index: 11403 (Start: 33564658-Stop: 33564658) ='-', type<22> Line: 1258 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1261) : error 3 : , at offset 23
near [Index: 11443 (Start: 33564781-Stop: 33564781) ='-', type<22> Line: 1261 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1261) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1263) : error 3 : , at offset 23
near [Index: 11467 (Start: 33564858-Stop: 33564858) ='-', type<22> Line: 1263 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1263) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1270) : error 3 : , at offset 24
near [Index: 11533 (Start: 33565062-Stop: 33565062) ='-', type<22> Line: 1270 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1270) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1273) : error 3 : , at offset 24
near [Index: 11565 (Start: 33565168-Stop: 33565168) ='-', type<22> Line: 1273 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1273) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1281) : error 3 : , at offset 24
near [Index: 11643 (Start: 33565418-Stop: 33565418) ='-', type<22> Line: 1281 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1281) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1284) : error 3 : , at offset 24
near [Index: 11675 (Start: 33565523-Stop: 33565523) ='-', type<22> Line: 1284 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1284) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1295) : error 3 : , at offset 23
near [Index: 11766 (Start: 33565768-Stop: 33565768) ='-', type<22> Line: 1295 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1295) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1314) : error 3 : , at offset 23
near [Index: 11950 (Start: 33566326-Stop: 33566326) ='-', type<22> Line: 1314 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1314) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1340) : error 3 : , at offset 23
near [Index: 12178 (Start: 33567023-Stop: 33567023) ='-', type<22> Line: 1340 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1340) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1465) : error 3 : , at offset 23
near [Index: 13269 (Start: 33570378-Stop: 33570378) ='-', type<22> Line: 1465 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1465) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1470) : error 3 : , at offset 23
near [Index: 13325 (Start: 33570543-Stop: 33570543) ='-', type<22> Line: 1470 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1470) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1473) : error 3 : , at offset 23
near [Index: 13365 (Start: 33570666-Stop: 33570666) ='-', type<22> Line: 1473 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1473) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1475) : error 3 : , at offset 23
near [Index: 13389 (Start: 33570743-Stop: 33570743) ='-', type<22> Line: 1475 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1475) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1482) : error 3 : , at offset 24
near [Index: 13455 (Start: 33570947-Stop: 33570947) ='-', type<22> Line: 1482 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1485) : error 3 : , at offset 24
near [Index: 13487 (Start: 33571053-Stop: 33571053) ='-', type<22> Line: 1485 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1485) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1493) : error 3 : , at offset 24
near [Index: 13565 (Start: 33571303-Stop: 33571303) ='-', type<22> Line: 1493 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1493) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1496) : error 3 : , at offset 24
near [Index: 13597 (Start: 33571408-Stop: 33571408) ='-', type<22> Line: 1496 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1496) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1507) : error 3 : , at offset 23
near [Index: 13688 (Start: 33571653-Stop: 33571653) ='-', type<22> Line: 1507 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1507) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1526) : error 3 : , at offset 23
near [Index: 13872 (Start: 33572211-Stop: 33572211) ='-', type<22> Line: 1526 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1526) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1561) : error 3 : , at offset 24
near [Index: 14203 (Start: 33573202-Stop: 33573202) ='-', type<22> Line: 1561 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1561) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1585) : error 3 : , at offset 23
near [Index: 14409 (Start: 33573838-Stop: 33573838) ='-', type<22> Line: 1585 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1585) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1612) : error 3 : , at offset 24
near [Index: 14650 (Start: 33574615-Stop: 33574615) ='-', type<22> Line: 1612 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1612) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1724) : error 3 : , at offset 23
near [Index: 15621 (Start: 33577577-Stop: 33577577) ='-', type<22> Line: 1724 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1724) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1729) : error 3 : , at offset 23
near [Index: 15677 (Start: 33577739-Stop: 33577739) ='-', type<22> Line: 1729 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1729) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1732) : error 3 : , at offset 23
near [Index: 15717 (Start: 33577861-Stop: 33577861) ='-', type<22> Line: 1732 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1732) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1734) : error 3 : , at offset 23
near [Index: 15741 (Start: 33577937-Stop: 33577937) ='-', type<22> Line: 1734 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1734) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1741) : error 3 : , at offset 24
near [Index: 15807 (Start: 33578138-Stop: 33578138) ='-', type<22> Line: 1741 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1741) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1744) : error 3 : , at offset 24
near [Index: 15839 (Start: 33578243-Stop: 33578243) ='-', type<22> Line: 1744 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1744) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1752) : error 3 : , at offset 24
near [Index: 15917 (Start: 33578490-Stop: 33578490) ='-', type<22> Line: 1752 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1752) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1755) : error 3 : , at offset 24
near [Index: 15949 (Start: 33578594-Stop: 33578594) ='-', type<22> Line: 1755 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1755) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1766) : error 3 : , at offset 23
near [Index: 16040 (Start: 33578836-Stop: 33578836) ='-', type<22> Line: 1766 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1766) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1785) : error 3 : , at offset 23
near [Index: 16224 (Start: 33579394-Stop: 33579394) ='-', type<22> Line: 1785 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1785) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1820) : error 3 : , at offset 24
near [Index: 16555 (Start: 33580385-Stop: 33580385) ='-', type<22> Line: 1820 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1820) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1830) : error 3 : , at offset 23
near [Index: 16642 (Start: 33580656-Stop: 33580656) ='-', type<22> Line: 1830 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1830) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(1857) : error 3 : , at offset 24
near [Index: 16883 (Start: 33581433-Stop: 33581433) ='-', type<22> Line: 1857 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(1857) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(2004) : error 3 : , at offset 24
near [Index: 18177 (Start: 33585384-Stop: 33585384) ='-', type<22> Line: 2004 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2004) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(2037) : error 3 : , at offset 24
near [Index: 18486 (Start: 33586314-Stop: 33586314) ='-', type<22> Line: 2037 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2037) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(2054) : error 3 : , at offset 24
near [Index: 18637 (Start: 33586797-Stop: 33586797) ='-', type<22> Line: 2054 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2054) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(2063) : error 3 : , at offset 23
near [Index: 18712 (Start: 33587009-Stop: 33587009) ='-', type<22> Line: 2063 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2063) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
Unknown event u20.T_sety_9i1y5 when handling addSyncPart(T_sety0_23i8y5_l0,i0,u20.T_sety_9i1y5)
Unknown event u102.T_sety0_23i5y0 when handling addSyncPart(T_sety0_23i5y8_l0,i0,u102.T_sety0_23i5y0)
Unknown event u20.T_yne0_4i1y5 when handling addSyncPart(T_ynei_15i8y5_l0,i0,u20.T_yne0_4i1y5)
Unknown event u90.T_ynei_15i5y0 when handling addSyncPart(T_ynei_15i5y8_l0,i0,u90.T_ynei_15i5y0)
Unknown event u42.T_forod_13i5 when handling addSyncPart(T_forod_13i5,i0,u42.T_forod_13i5)
Unknown event u90.T_forod_13i5 when handling addSyncPart(T_forod_13i5,i0,u90.T_forod_13i5)
Unknown event u4.T_setbi_5P-bi0i5 when handling addSyncPart(T_await_13j5i8_l0,i0,u4.T_setbi_5P-bi0i5)
Unknown event u4.T_setbi_5P-bi0i5 when handling addSyncPart(T_await_13j5i5,i0,u4.T_setbi_5P-bi0i5)
Unknown event u42.T_await_13j5i5 when handling addSyncPart(T_await_13j5i5,i0,u42.T_await_13j5i5)
Unknown event u4.T_fordo_12i5 when handling addSyncPart(T_fordo_12i5,i0,u4.T_fordo_12i5)
Unknown event u42.T_fordo_12i5 when handling addSyncPart(T_fordo_12i5,i0,u42.T_fordo_12i5)
Unknown event u11.T_xnei_10i1x5 when handling addSyncPart(T_xnei_10i8x5_l0,i0,u11.T_xnei_10i1x5)
ITS-tools command line returned an error code 1
Unknown event u20.T_xnei_10i5x0 when handling addSyncPart(T_xnei_10i5x8_l0,i0,u20.T_xnei_10i5x0)
Unknown event u20.T_sety_9i5y0 when handling addSyncPart(T_sety_9i5y8_l0,i0,u20.T_sety_9i5y0)
Unknown event u11.T_yeq0_4i5 when handling addSyncPart(T_yeq0_4i5_l0,i0,u11.T_yeq0_4i5)
Unknown event u20.T_yeq0_4i5 when handling addSyncPart(T_yeq0_4i5_l1,i0,u20.T_yeq0_4i5)
Unknown event u4.T_awaityi5 when handling addSyncPart(T_awaityi5_l0,i0,u4.T_awaityi5)
Unknown event u90.T_awaityi5 when handling addSyncPart(T_awaityi5_l1,i0,u90.T_awaityi5)
Unknown event u11.T_yne0_4i5y1 when handling addSyncPart(T_yne0_4i5y8_l0,i0,u11.T_yne0_4i5y1)
Unknown event u11.T_setx_3i1x5 when handling addSyncPart(T_setx_3i8x5_l0,i0,u11.T_setx_3i1x5)
Unknown event u11.T_setx_3i5x0 when handling addSyncPart(T_setx_3i5x8_l0,i0,u11.T_setx_3i5x0)
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
Unknown event u18.T_sety_9i1y2 when handling addSyncPart(T_sety0_23i8y2_l2,i0,u18.T_sety_9i1y2)
Unknown event u97.T_sety0_23i2y0 when handling addSyncPart(T_sety0_23i2y8_l0,i0,u97.T_sety0_23i2y0)
Unknown event u18.T_yne0_4i1y2 when handling addSyncPart(T_ynei_15i8y2_l1,i0,u18.T_yne0_4i1y2)
Unknown event u92.T_ynei_15i2y0 when handling addSyncPart(T_ynei_15i2y8_l0,i0,u92.T_ynei_15i2y0)
Unknown event u26.T_forod_13i2 when handling addSyncPart(T_forod_13i2,i0,u26.T_forod_13i2)
Unknown event u92.T_forod_13i2 when handling addSyncPart(T_forod_13i2,i0,u92.T_forod_13i2)
Unknown event u1.T_setbi_5P-bi0i2 when handling addSyncPart(T_await_13j2i8_l2,i0,u1.T_setbi_5P-bi0i2)
Unknown event u26.T_await_13j2i2 when handling addSyncPart(T_await_13j2i2,i0,u26.T_await_13j2i2)
Unknown event u1.T_setbi_5P-bi0i2 when handling addSyncPart(T_await_13j2i2,i0,u1.T_setbi_5P-bi0i2)
Unknown event u26.T_fordo_12i2 when handling addSyncPart(T_fordo_12i2,i0,u26.T_fordo_12i2)
Unknown event u1.T_fordo_12i2 when handling addSyncPart(T_fordo_12i2,i0,u1.T_fordo_12i2)
Unknown event u8.T_xnei_10i1x2 when handling addSyncPart(T_xnei_10i8x2_l1,i0,u8.T_xnei_10i1x2)
Unknown event u18.T_xnei_10i2x0 when handling addSyncPart(T_xnei_10i2x8_l1,i0,u18.T_xnei_10i2x0)
Unknown event u18.T_sety_9i2y0 when handling addSyncPart(T_sety_9i2y8_l1,i0,u18.T_sety_9i2y0)
Unknown event u8.T_yeq0_4i2 when handling addSyncPart(T_yeq0_4i2_l1,i0,u8.T_yeq0_4i2)
Unknown event u18.T_yeq0_4i2 when handling addSyncPart(T_yeq0_4i2_l2,i0,u18.T_yeq0_4i2)
Unknown event u92.T_awaityi2 when handling addSyncPart(T_awaityi2_l0,i0,u92.T_awaityi2)
Unknown event u1.T_awaityi2 when handling addSyncPart(T_awaityi2_l2,i0,u1.T_awaityi2)
Unknown event u8.T_yne0_4i2y1 when handling addSyncPart(T_yne0_4i2y8_l1,i0,u8.T_yne0_4i2y1)
Unknown event u8.T_setx_3i1x2 when handling addSyncPart(T_setx_3i8x2_l1,i0,u8.T_setx_3i1x2)
Unknown event u8.T_setx_3i2x0 when handling addSyncPart(T_setx_3i2x8_l1,i0,u8.T_setx_3i2x0)
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
Unknown event u23.T_sety_9i1y8 when handling addSyncPart(T_sety0_23i8y8_l0,i0,u23.T_sety_9i1y8)
Unknown event u99.T_sety0_23i8y0 when handling addSyncPart(T_sety0_23i8y8_l2,i0,u99.T_sety0_23i8y0)
Unknown event u95.T_ynei_15i8y0 when handling addSyncPart(T_ynei_15i8y7_l0,i0,u95.T_ynei_15i8y0)
Unknown event u23.T_yne0_4i1y8 when handling addSyncPart(T_ynei_15i7y8_l0,i0,u23.T_yne0_4i1y8)
Unknown event u57.T_forod_13i8 when handling addSyncPart(T_forod_13i8,i0,u57.T_forod_13i8)
Unknown event u95.T_forod_13i8 when handling addSyncPart(T_forod_13i8,i0,u95.T_forod_13i8)
Unknown event u7.T_setbi_5P-bi0i8 when handling addSyncPart(T_await_13j8i8,i0,u7.T_setbi_5P-bi0i8)
Unknown event u57.T_await_13j8i8 when handling addSyncPart(T_await_13j8i8,i0,u57.T_await_13j8i8)
Unknown event u7.T_setbi_5P-bi0i8 when handling addSyncPart(T_await_13j8i7_l2,i0,u7.T_setbi_5P-bi0i8)
Unknown event u7.T_fordo_12i8 when handling addSyncPart(T_fordo_12i8,i0,u7.T_fordo_12i8)
Unknown event u57.T_fordo_12i8 when handling addSyncPart(T_fordo_12i8,i0,u57.T_fordo_12i8)
Unknown event u23.T_xnei_10i8x0 when handling addSyncPart(T_xnei_10i8x7_l0,i0,u23.T_xnei_10i8x0)
Unknown event u15.T_xnei_10i1x8 when handling addSyncPart(T_xnei_10i7x8_l0,i0,u15.T_xnei_10i1x8)
Unknown event u23.T_sety_9i8y0 when handling addSyncPart(T_sety_9i8y7_l0,i0,u23.T_sety_9i8y0)
Unknown event u15.T_yeq0_4i8 when handling addSyncPart(T_yeq0_4i8_l0,i0,u15.T_yeq0_4i8)
Unknown event u23.T_yeq0_4i8 when handling addSyncPart(T_yeq0_4i8_l1,i0,u23.T_yeq0_4i8)
Unknown event u7.T_awaityi8 when handling addSyncPart(T_awaityi8_l0,i0,u7.T_awaityi8)
Unknown event u95.T_awaityi8 when handling addSyncPart(T_awaityi8_l2,i0,u95.T_awaityi8)
Unknown event u15.T_yne0_4i8y1 when handling addSyncPart(T_yne0_4i8y7_l0,i0,u15.T_yne0_4i8y1)
Unknown event u15.T_setx_3i8x0 when handling addSyncPart(T_setx_3i8x7_l0,i0,u15.T_setx_3i8x0)
Unknown event u15.T_setx_3i1x8 when handling addSyncPart(T_setx_3i7x8_l0,i0,u15.T_setx_3i1x8)
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
Unknown event u16.T_sety_9i2y1 when handling addSyncPart(T_sety0_23i8y1_l0,i0,u16.T_sety_9i2y1)
Unknown event u96.T_sety0_23i1y0 when handling addSyncPart(T_sety0_23i1y8_l1,i0,u96.T_sety0_23i1y0)
Unknown event u16.T_yne0_4i1y1 when handling addSyncPart(T_ynei_15i8y1_l0,i0,u16.T_yne0_4i1y1)
Unknown event u91.T_ynei_15i1y0 when handling addSyncPart(T_ynei_15i1y8_l0,i0,u91.T_ynei_15i1y0)
Unknown event u58.T_forod_13i1 when handling addSyncPart(T_forod_13i1,i0,u58.T_forod_13i1)
Unknown event u91.T_forod_13i1 when handling addSyncPart(T_forod_13i1,i0,u91.T_forod_13i1)
Unknown event u0.T_setbi_5P-bi0i1 when handling addSyncPart(T_await_13j1i8_l0,i0,u0.T_setbi_5P-bi0i1)
Unknown event u0.T_setbi_5P-bi0i1 when handling addSyncPart(T_await_13j1i1,i0,u0.T_setbi_5P-bi0i1)
Unknown event u58.T_await_13j1i1 when handling addSyncPart(T_await_13j1i1,i0,u58.T_await_13j1i1)
Unknown event u0.T_fordo_12i1 when handling addSyncPart(T_fordo_12i1,i0,u0.T_fordo_12i1)
Unknown event u58.T_fordo_12i1 when handling addSyncPart(T_fordo_12i1,i0,u58.T_fordo_12i1)
Unknown event u13.T_xnei_10i1x0 when handling addSyncPart(T_xnei_10i8x0_l0,i0,u13.T_xnei_10i1x0)
Unknown event u16.T_xnei_10i1x0 when handling addSyncPart(T_xnei_10i1x8_l0,i0,u16.T_xnei_10i1x0)
Unknown event u16.T_sety_9i1y0 when handling addSyncPart(T_sety_9i1y8_l0,i0,u16.T_sety_9i1y0)
Unknown event u13.T_yeq0_4i1 when handling addSyncPart(T_yeq0_4i1_l0,i0,u13.T_yeq0_4i1)
Unknown event u16.T_yeq0_4i1 when handling addSyncPart(T_yeq0_4i1_l1,i0,u16.T_yeq0_4i1)
Unknown event u0.T_awaityi1 when handling addSyncPart(T_awaityi1_l0,i0,u0.T_awaityi1)
Unknown event u91.T_awaityi1 when handling addSyncPart(T_awaityi1_l1,i0,u91.T_awaityi1)
Unknown event u13.T_yne0_4i1y1 when handling addSyncPart(T_yne0_4i1y8_l0,i0,u13.T_yne0_4i1y1)
Unknown event u13.T_setx_3i2x0 when handling addSyncPart(T_setx_3i8x0_l0,i0,u13.T_setx_3i2x0)
Unknown event u13.T_setx_3i1x2 when handling addSyncPart(T_setx_3i1x8_l0,i0,u13.T_setx_3i1x2)
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
Unknown event u22.T_sety_9i1y7 when handling addSyncPart(T_sety0_23i8y7_l2,i0,u22.T_sety_9i1y7)
Unknown event u103.T_sety0_23i7y0 when handling addSyncPart(T_sety0_23i7y8_l2,i0,u103.T_sety0_23i7y0)
Unknown event u22.T_yne0_4i1y7 when handling addSyncPart(T_ynei_15i8y7_l1,i0,u22.T_yne0_4i1y7)
Unknown event u94.T_ynei_15i7y0 when handling addSyncPart(T_ynei_15i7y8_l1,i0,u94.T_ynei_15i7y0)
Unknown event u85.T_forod_13i7 when handling addSyncPart(T_forod_13i7,i0,u85.T_forod_13i7)
Unknown event u94.T_forod_13i7 when handling addSyncPart(T_forod_13i7,i0,u94.T_forod_13i7)
Unknown event u6.T_setbi_5P-bi0i7 when handling addSyncPart(T_await_13j7i8_l0,i0,u6.T_setbi_5P-bi0i7)
Unknown event u6.T_setbi_5P-bi0i7 when handling addSyncPart(T_await_13j7i7,i0,u6.T_setbi_5P-bi0i7)
Unknown event u85.T_await_13j7i7 when handling addSyncPart(T_await_13j7i7,i0,u85.T_await_13j7i7)
Unknown event u6.T_fordo_12i7 when handling addSyncPart(T_fordo_12i7,i0,u6.T_fordo_12i7)
Unknown event u85.T_fordo_12i7 when handling addSyncPart(T_fordo_12i7,i0,u85.T_fordo_12i7)
Unknown event u14.T_xnei_10i1x7 when handling addSyncPart(T_xnei_10i8x7_l1,i0,u14.T_xnei_10i1x7)
Unknown event u22.T_xnei_10i7x0 when handling addSyncPart(T_xnei_10i7x8_l1,i0,u22.T_xnei_10i7x0)
Unknown event u22.T_sety_9i7y0 when handling addSyncPart(T_sety_9i7y8_l1,i0,u22.T_sety_9i7y0)
Unknown event u14.T_yeq0_4i7 when handling addSyncPart(T_yeq0_4i7_l1,i0,u14.T_yeq0_4i7)
Unknown event u22.T_yeq0_4i7 when handling addSyncPart(T_yeq0_4i7_l2,i0,u22.T_yeq0_4i7)
Unknown event u6.T_awaityi7 when handling addSyncPart(T_awaityi7_l1,i0,u6.T_awaityi7)
Unknown event u94.T_awaityi7 when handling addSyncPart(T_awaityi7_l2,i0,u94.T_awaityi7)
Unknown event u14.T_yne0_4i7y1 when handling addSyncPart(T_yne0_4i7y8_l1,i0,u14.T_yne0_4i7y1)
Unknown event u14.T_setx_3i1x7 when handling addSyncPart(T_setx_3i8x7_l1,i0,u14.T_setx_3i1x7)
Unknown event u14.T_setx_3i7x0 when handling addSyncPart(T_setx_3i7x8_l1,i0,u14.T_setx_3i7x0)
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
Unknown event u19.T_sety_9i1y4 when handling addSyncPart(T_sety0_23i8y4_l1,i0,u19.T_sety_9i1y4)
Unknown event u101.T_sety0_23i4y0 when handling addSyncPart(T_sety0_23i4y8_l2,i0,u101.T_sety0_23i4y0)
Unknown event u19.T_yne0_4i1y4 when handling addSyncPart(T_ynei_15i8y4_l1,i0,u19.T_yne0_4i1y4)
Unknown event u89.T_ynei_15i4y0 when handling addSyncPart(T_ynei_15i4y8_l1,i0,u89.T_ynei_15i4y0)
Unknown event u89.T_forod_13i4 when handling addSyncPart(T_forod_13i4,i0,u89.T_forod_13i4)
Unknown event u3.T_setbi_5P-bi0i4 when handling addSyncPart(T_await_13j4i8_l0,i0,u3.T_setbi_5P-bi0i4)
Unknown event u3.T_setbi_5P-bi0i4 when handling addSyncPart(T_await_13j4i4,i0,u3.T_setbi_5P-bi0i4)
Unknown event u3.T_fordo_12i4 when handling addSyncPart(T_fordo_12i4,i0,u3.T_fordo_12i4)
Unknown event u10.T_xnei_10i1x4 when handling addSyncPart(T_xnei_10i8x4_l1,i0,u10.T_xnei_10i1x4)
Unknown event u19.T_xnei_10i4x0 when handling addSyncPart(T_xnei_10i4x8_l1,i0,u19.T_xnei_10i4x0)
Unknown event u19.T_sety_9i4y0 when handling addSyncPart(T_sety_9i4y8_l1,i0,u19.T_sety_9i4y0)
Unknown event u10.T_yeq0_4i4 when handling addSyncPart(T_yeq0_4i4_l1,i0,u10.T_yeq0_4i4)
Unknown event u19.T_yeq0_4i4 when handling addSyncPart(T_yeq0_4i4_l2,i0,u19.T_yeq0_4i4)
Unknown event u3.T_awaityi4 when handling addSyncPart(T_awaityi4_l0,i0,u3.T_awaityi4)
Unknown event u89.T_awaityi4 when handling addSyncPart(T_awaityi4_l2,i0,u89.T_awaityi4)
Unknown event u10.T_yne0_4i4y1 when handling addSyncPart(T_yne0_4i4y8_l1,i0,u10.T_yne0_4i4y1)
Unknown event u10.T_setx_3i1x4 when handling addSyncPart(T_setx_3i8x4_l1,i0,u10.T_setx_3i1x4)
Unknown event u10.T_setx_3i4x0 when handling addSyncPart(T_setx_3i4x8_l1,i0,u10.T_setx_3i4x0)
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8146351071202659901.gal(2089) : error 3 : , at offset 24
near [Index: 18966 (Start: 33587781-Stop: 33587781) ='-', type<22> Line: 2089 LinePos:24]
: cannot match to any predicted input...
The parser returned 218 errors, parsing aborted
Built C files in :
/tmp/ltsmin1145044409461475187
[2022-06-12 21:24:19] [INFO ] Built C files in 27ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1145044409461475187
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin1145044409461475187]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin1145044409461475187] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin1145044409461475187] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Finished random walk after 34456 steps, including 0 resets, run visited all 1 properties in 117 ms. (steps per millisecond=294 )
FORMULA LamportFastMutEx-COL-8-ReachabilityFireability-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
All properties solved without resorting to model-checking.
BK_STOP 1655069062188
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -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 ReachabilityFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-COL-8"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="gold2021"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2021"
echo " Input is LamportFastMutEx-COL-8, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r143-tall-165271830300147"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-8.tgz
mv LamportFastMutEx-COL-8 execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;