About the Execution of ITS-Tools for LamportFastMutEx-COL-8
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16235.115 | 1230688.00 | 942870.00 | 167754.10 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r121-tall-162075407200640.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is LamportFastMutEx-COL-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r121-tall-162075407200640
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 19K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 144K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 06:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 06:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 07:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 07:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 44K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1620881113169
Running Version 0
[2021-05-13 04:45:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-13 04:45:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 04:45:26] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-13 04:45:27] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-13 04:45:27] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 592 ms
[2021-05-13 04:45:27] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 315 PT places and 837.0 transition bindings in 19 ms.
[2021-05-13 04:45:27] [INFO ] Unfolded HLPN to a Petri net with 315 places and 666 transitions in 18 ms.
[2021-05-13 04:45:27] [INFO ] Unfolded HLPN properties in 0 ms.
Deduced a syphon composed of 49 places in 4 ms
Reduce places removed 49 places and 82 transitions.
Starting structural reductions, iteration 0 : 266/266 places, 584/584 transitions.
[2021-05-13 04:45:27] [INFO ] Redundant transitions in 28 ms returned []
[2021-05-13 04:45:27] [INFO ] Flow matrix only has 416 transitions (discarded 168 similar events)
// Phase 1: matrix 416 rows 266 cols
[2021-05-13 04:45:27] [INFO ] Computed 82 place invariants in 30 ms
[2021-05-13 04:45:27] [INFO ] Dead Transitions using invariants and state equation in 484 ms returned []
Finished structural reductions, in 1 iterations. Remains : 266/266 places, 584/584 transitions.
Final net has 266 places and 584 transitions.
[2021-05-13 04:45:28] [INFO ] Flatten gal took : 114 ms
[2021-05-13 04:45:28] [INFO ] Applying decomposition
[2021-05-13 04:45:28] [INFO ] Flatten gal took : 43 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/graph13286029464522666383.txt, -o, /tmp/graph13286029464522666383.bin, -w, /tmp/graph13286029464522666383.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/graph13286029464522666383.bin, -l, -1, -v, -w, /tmp/graph13286029464522666383.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-13 04:45:28] [INFO ] Decomposing Gal with order
[2021-05-13 04:45:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 04:45:28] [INFO ] Removed a total of 945 redundant transitions.
[2021-05-13 04:45:28] [INFO ] Flatten gal took : 87 ms
[2021-05-13 04:45:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 73 labels/synchronizations in 23 ms.
[2021-05-13 04:45:28] [INFO ] Time to serialize gal into /tmp/StateSpace15942383076233777901.gal : 9 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/StateSpace15942383076233777901.gal, -t, CGAL, --stats], 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/StateSpace15942383076233777901.gal -t CGAL --stats
/tmp/StateSpace15942383076233777901.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(7) : error 3 : , at offset 23
near [Index: 45 (Start: 1927245959-Stop: 1927245959) ='-', type<22> Line: 7 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(12) : error 3 : , at offset 23
near [Index: 101 (Start: 1927246121-Stop: 1927246121) ='-', type<22> Line: 12 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(12) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(15) : error 3 : , at offset 23
near [Index: 141 (Start: 1927246243-Stop: 1927246243) ='-', type<22> Line: 15 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(15) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(17) : error 3 : , at offset 23
near [Index: 165 (Start: 1927246319-Stop: 1927246319) ='-', type<22> Line: 17 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(17) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(24) : error 3 : , at offset 24
near [Index: 231 (Start: 1927246520-Stop: 1927246520) ='-', type<22> Line: 24 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(24) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(27) : error 3 : , at offset 24
near [Index: 263 (Start: 1927246625-Stop: 1927246625) ='-', type<22> Line: 27 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(27) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(35) : error 3 : , at offset 24
near [Index: 341 (Start: 1927246872-Stop: 1927246872) ='-', type<22> Line: 35 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(35) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(38) : error 3 : , at offset 24
near [Index: 373 (Start: 1927246976-Stop: 1927246976) ='-', type<22> Line: 38 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(38) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(49) : error 3 : , at offset 23
near [Index: 464 (Start: 1927247218-Stop: 1927247218) ='-', type<22> Line: 49 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(49) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(68) : error 3 : , at offset 23
near [Index: 648 (Start: 1927247776-Stop: 1927247776) ='-', type<22> Line: 68 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(68) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(197) : error 3 : , at offset 23
near [Index: 1772 (Start: 1927251227-Stop: 1927251227) ='-', type<22> Line: 197 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(197) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(219) : error 3 : , at offset 23
near [Index: 1967 (Start: 1927251828-Stop: 1927251828) ='-', type<22> Line: 219 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(219) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(224) : error 3 : , at offset 23
near [Index: 2023 (Start: 1927251993-Stop: 1927251993) ='-', type<22> Line: 224 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(224) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(227) : error 3 : , at offset 23
near [Index: 2063 (Start: 1927252116-Stop: 1927252116) ='-', type<22> Line: 227 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(227) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(229) : error 3 : , at offset 23
near [Index: 2087 (Start: 1927252193-Stop: 1927252193) ='-', type<22> Line: 229 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(229) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(236) : error 3 : , at offset 24
near [Index: 2153 (Start: 1927252397-Stop: 1927252397) ='-', type<22> Line: 236 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(236) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(239) : error 3 : , at offset 24
near [Index: 2185 (Start: 1927252503-Stop: 1927252503) ='-', type<22> Line: 239 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(239) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(247) : error 3 : , at offset 24
near [Index: 2263 (Start: 1927252753-Stop: 1927252753) ='-', type<22> Line: 247 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(247) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(250) : error 3 : , at offset 24
near [Index: 2295 (Start: 1927252858-Stop: 1927252858) ='-', type<22> Line: 250 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(261) : error 3 : , at offset 23
near [Index: 2386 (Start: 1927253103-Stop: 1927253103) ='-', type<22> Line: 261 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(261) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(280) : error 3 : , at offset 23
near [Index: 2570 (Start: 1927253661-Stop: 1927253661) ='-', type<22> Line: 280 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(315) : error 3 : , at offset 24
near [Index: 2901 (Start: 1927254652-Stop: 1927254652) ='-', type<22> Line: 315 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(315) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(339) : error 3 : , at offset 23
near [Index: 3107 (Start: 1927255288-Stop: 1927255288) ='-', type<22> Line: 339 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(339) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(366) : error 3 : , at offset 24
near [Index: 3348 (Start: 1927256064-Stop: 1927256064) ='-', type<22> Line: 366 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(366) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(478) : error 3 : , at offset 23
near [Index: 4319 (Start: 1927259026-Stop: 1927259026) ='-', type<22> Line: 478 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(478) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(483) : error 3 : , at offset 23
near [Index: 4375 (Start: 1927259188-Stop: 1927259188) ='-', type<22> Line: 483 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(483) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(486) : error 3 : , at offset 23
near [Index: 4415 (Start: 1927259310-Stop: 1927259310) ='-', type<22> Line: 486 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(486) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(488) : error 3 : , at offset 23
near [Index: 4439 (Start: 1927259386-Stop: 1927259386) ='-', type<22> Line: 488 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(495) : error 3 : , at offset 24
near [Index: 4505 (Start: 1927259587-Stop: 1927259587) ='-', type<22> Line: 495 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(495) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(498) : error 3 : , at offset 24
near [Index: 4537 (Start: 1927259692-Stop: 1927259692) ='-', type<22> Line: 498 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(498) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(506) : error 3 : , at offset 24
near [Index: 4615 (Start: 1927259939-Stop: 1927259939) ='-', type<22> Line: 506 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(509) : error 3 : , at offset 24
near [Index: 4647 (Start: 1927260043-Stop: 1927260043) ='-', type<22> Line: 509 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(509) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(520) : error 3 : , at offset 23
near [Index: 4738 (Start: 1927260284-Stop: 1927260284) ='-', type<22> Line: 520 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(520) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(539) : error 3 : , at offset 23
near [Index: 4922 (Start: 1927260842-Stop: 1927260842) ='-', type<22> Line: 539 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(539) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(574) : error 3 : , at offset 24
near [Index: 5253 (Start: 1927261833-Stop: 1927261833) ='-', type<22> Line: 574 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(574) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(598) : error 3 : , at offset 23
near [Index: 5459 (Start: 1927262469-Stop: 1927262469) ='-', type<22> Line: 598 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(598) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(625) : error 3 : , at offset 24
near [Index: 5700 (Start: 1927263246-Stop: 1927263246) ='-', type<22> Line: 625 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(625) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(737) : error 3 : , at offset 23
near [Index: 6671 (Start: 1927266208-Stop: 1927266208) ='-', type<22> Line: 737 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(737) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(742) : error 3 : , at offset 23
near [Index: 6727 (Start: 1927266370-Stop: 1927266370) ='-', type<22> Line: 742 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(742) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(745) : error 3 : , at offset 23
near [Index: 6767 (Start: 1927266492-Stop: 1927266492) ='-', type<22> Line: 745 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(745) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(747) : error 3 : , at offset 23
near [Index: 6791 (Start: 1927266568-Stop: 1927266568) ='-', type<22> Line: 747 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(747) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(754) : error 3 : , at offset 24
near [Index: 6857 (Start: 1927266769-Stop: 1927266769) ='-', type<22> Line: 754 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(754) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(757) : error 3 : , at offset 24
near [Index: 6889 (Start: 1927266874-Stop: 1927266874) ='-', type<22> Line: 757 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(757) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(765) : error 3 : , at offset 24
near [Index: 6967 (Start: 1927267121-Stop: 1927267121) ='-', type<22> Line: 765 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(765) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(768) : error 3 : , at offset 24
near [Index: 6999 (Start: 1927267225-Stop: 1927267225) ='-', type<22> Line: 768 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(768) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(779) : error 3 : , at offset 23
near [Index: 7090 (Start: 1927267466-Stop: 1927267466) ='-', type<22> Line: 779 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(779) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(798) : error 3 : , at offset 23
near [Index: 7274 (Start: 1927268024-Stop: 1927268024) ='-', type<22> Line: 798 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(798) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(824) : error 3 : , at offset 23
near [Index: 7502 (Start: 1927268721-Stop: 1927268721) ='-', type<22> Line: 824 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(824) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(949) : error 3 : , at offset 23
near [Index: 8593 (Start: 1927272076-Stop: 1927272076) ='-', type<22> Line: 949 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(949) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(954) : error 3 : , at offset 23
near [Index: 8649 (Start: 1927272241-Stop: 1927272241) ='-', type<22> Line: 954 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(954) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(957) : error 3 : , at offset 23
near [Index: 8689 (Start: 1927272364-Stop: 1927272364) ='-', type<22> Line: 957 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(957) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(959) : error 3 : , at offset 23
near [Index: 8713 (Start: 1927272441-Stop: 1927272441) ='-', type<22> Line: 959 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(959) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(966) : error 3 : , at offset 24
near [Index: 8779 (Start: 1927272645-Stop: 1927272645) ='-', type<22> Line: 966 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(966) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(969) : error 3 : , at offset 24
near [Index: 8811 (Start: 1927272751-Stop: 1927272751) ='-', type<22> Line: 969 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(969) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(977) : error 3 : , at offset 24
near [Index: 8889 (Start: 1927273001-Stop: 1927273001) ='-', type<22> Line: 977 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(977) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(980) : error 3 : , at offset 24
near [Index: 8921 (Start: 1927273106-Stop: 1927273106) ='-', type<22> Line: 980 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(980) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(991) : error 3 : , at offset 23
near [Index: 9012 (Start: 1927273351-Stop: 1927273351) ='-', type<22> Line: 991 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(991) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1010) : error 3 : , at offset 23
near [Index: 9196 (Start: 1927273909-Stop: 1927273909) ='-', type<22> Line: 1010 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1010) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1045) : error 3 : , at offset 24
near [Index: 9527 (Start: 1927274900-Stop: 1927274900) ='-', type<22> Line: 1045 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1045) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1069) : error 3 : , at offset 23
near [Index: 9733 (Start: 1927275536-Stop: 1927275536) ='-', type<22> Line: 1069 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1069) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1096) : error 3 : , at offset 24
near [Index: 9974 (Start: 1927276312-Stop: 1927276312) ='-', type<22> Line: 1096 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1096) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
ITS-tools command line returned an error code 1
/tmp/StateSpace15942383076233777901.gal(1208) : error 3 : , at offset 23
near [Index: 10945 (Start: 1927279276-Stop: 1927279276) ='-', type<22> Line: 1208 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1208) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1213) : error 3 : , at offset 23
near [Index: 11001 (Start: 1927279441-Stop: 1927279441) ='-', type<22> Line: 1213 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1213) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1216) : error 3 : , at offset 23
near [Index: 11041 (Start: 1927279564-Stop: 1927279564) ='-', type<22> Line: 1216 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1216) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1218) : error 3 : , at offset 23
near [Index: 11065 (Start: 1927279641-Stop: 1927279641) ='-', type<22> Line: 1218 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1218) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1225) : error 3 : , at offset 24
near [Index: 11131 (Start: 1927279845-Stop: 1927279845) ='-', type<22> Line: 1225 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1225) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1228) : error 3 : , at offset 24
near [Index: 11163 (Start: 1927279951-Stop: 1927279951) ='-', type<22> Line: 1228 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1228) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1236) : error 3 : , at offset 24
near [Index: 11241 (Start: 1927280201-Stop: 1927280201) ='-', type<22> Line: 1236 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1236) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1239) : error 3 : , at offset 24
near [Index: 11273 (Start: 1927280306-Stop: 1927280306) ='-', type<22> Line: 1239 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1239) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1250) : error 3 : , at offset 23
near [Index: 11364 (Start: 1927280551-Stop: 1927280551) ='-', type<22> Line: 1250 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1269) : error 3 : , at offset 23
near [Index: 11548 (Start: 1927281109-Stop: 1927281109) ='-', type<22> Line: 1269 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1304) : error 3 : , at offset 24
near [Index: 11879 (Start: 1927282100-Stop: 1927282100) ='-', type<22> Line: 1304 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1304) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1328) : error 3 : , at offset 23
near [Index: 12085 (Start: 1927282736-Stop: 1927282736) ='-', type<22> Line: 1328 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1328) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1355) : error 3 : , at offset 24
near [Index: 12326 (Start: 1927283512-Stop: 1927283512) ='-', type<22> Line: 1355 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1355) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1467) : error 3 : , at offset 23
near [Index: 13297 (Start: 1927286476-Stop: 1927286476) ='-', type<22> Line: 1467 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1467) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1472) : error 3 : , at offset 23
near [Index: 13353 (Start: 1927286641-Stop: 1927286641) ='-', type<22> Line: 1472 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1472) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1475) : error 3 : , at offset 23
near [Index: 13393 (Start: 1927286764-Stop: 1927286764) ='-', type<22> Line: 1475 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1475) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1477) : error 3 : , at offset 23
near [Index: 13417 (Start: 1927286841-Stop: 1927286841) ='-', type<22> Line: 1477 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1477) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1484) : error 3 : , at offset 24
near [Index: 13483 (Start: 1927287045-Stop: 1927287045) ='-', type<22> Line: 1484 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1484) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1487) : error 3 : , at offset 24
near [Index: 13515 (Start: 1927287151-Stop: 1927287151) ='-', type<22> Line: 1487 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1487) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1495) : error 3 : , at offset 24
near [Index: 13593 (Start: 1927287401-Stop: 1927287401) ='-', type<22> Line: 1495 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1495) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1498) : error 3 : , at offset 24
near [Index: 13625 (Start: 1927287506-Stop: 1927287506) ='-', type<22> Line: 1498 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1498) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1509) : error 3 : , at offset 23
near [Index: 13716 (Start: 1927287751-Stop: 1927287751) ='-', type<22> Line: 1509 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1509) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1528) : error 3 : , at offset 23
near [Index: 13900 (Start: 1927288309-Stop: 1927288309) ='-', type<22> Line: 1528 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1528) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1563) : error 3 : , at offset 24
near [Index: 14231 (Start: 1927289300-Stop: 1927289300) ='-', type<22> Line: 1563 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1563) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1587) : error 3 : , at offset 23
near [Index: 14437 (Start: 1927289936-Stop: 1927289936) ='-', type<22> Line: 1587 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1587) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1614) : error 3 : , at offset 24
near [Index: 14678 (Start: 1927290713-Stop: 1927290713) ='-', type<22> Line: 1614 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1614) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1725) : error 3 : , at offset 23
near [Index: 15640 (Start: 1927293652-Stop: 1927293652) ='-', type<22> Line: 1725 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1725) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1729) : error 3 : , at offset 23
near [Index: 15680 (Start: 1927293768-Stop: 1927293768) ='-', type<22> Line: 1729 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1729) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1731) : error 3 : , at offset 23
near [Index: 15704 (Start: 1927293844-Stop: 1927293844) ='-', type<22> Line: 1731 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1731) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1733) : error 3 : , at offset 23
near [Index: 15728 (Start: 1927293920-Stop: 1927293920) ='-', type<22> Line: 1733 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1733) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1737) : error 3 : , at offset 24
near [Index: 15768 (Start: 1927294037-Stop: 1927294037) ='-', type<22> Line: 1737 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1737) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1740) : error 3 : , at offset 24
near [Index: 15800 (Start: 1927294142-Stop: 1927294142) ='-', type<22> Line: 1740 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1740) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1755) : error 3 : , at offset 23
near [Index: 15930 (Start: 1927294502-Stop: 1927294502) ='-', type<22> Line: 1755 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1755) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1783) : error 3 : , at offset 23
near [Index: 16202 (Start: 1927295294-Stop: 1927295294) ='-', type<22> Line: 1783 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1783) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1914) : error 3 : , at offset 23
near [Index: 17348 (Start: 1927298813-Stop: 1927298813) ='-', type<22> Line: 1914 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1914) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1957) : error 3 : , at offset 24
near [Index: 17747 (Start: 1927300036-Stop: 1927300036) ='-', type<22> Line: 1957 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1957) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(1990) : error 3 : , at offset 24
near [Index: 18056 (Start: 1927300966-Stop: 1927300966) ='-', type<22> Line: 1990 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(1990) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(2002) : error 3 : , at offset 23
near [Index: 18161 (Start: 1927301275-Stop: 1927301275) ='-', type<22> Line: 2002 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2002) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(2028) : error 3 : , at offset 24
near [Index: 18415 (Start: 1927302047-Stop: 1927302047) ='-', type<22> Line: 2028 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2028) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(2043) : error 3 : , at offset 24
near [Index: 18544 (Start: 1927302459-Stop: 1927302459) ='-', type<22> Line: 2043 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2043) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(2057) : error 3 : , at offset 24
near [Index: 18665 (Start: 1927302845-Stop: 1927302845) ='-', type<22> Line: 2057 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2057) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
Unknown event u99.T_sety0_23y0i8 when handling addSyncPart(T_sety0_23y8i8_l0,i0,u99.T_sety0_23y0i8)
Unknown event u23.T_sety_9y8i1 when handling addSyncPart(T_sety0_23y8i8_l2,i0,u23.T_sety_9y8i1)
Unknown event u90.T_ynei_15i8y0 when handling addSyncPart(T_ynei_15i8y7_l1,i0,u90.T_ynei_15i8y0)
Unknown event u23.T_yne0_4y8i1 when handling addSyncPart(T_ynei_15i7y8_l0,i0,u23.T_yne0_4y8i1)
Unknown event u87.T_forod_13i8 when handling addSyncPart(T_forod_13i8,i0,u87.T_forod_13i8)
Unknown event u90.T_forod_13i8 when handling addSyncPart(T_forod_13i8,i0,u90.T_forod_13i8)
Unknown event u7.T_setbi_5P-bi0i8 when handling addSyncPart(T_await_13j8i8,i0,u7.T_setbi_5P-bi0i8)
Unknown event u87.T_await_13j8i8 when handling addSyncPart(T_await_13j8i8,i0,u87.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 u87.T_fordo_12i8 when handling addSyncPart(T_fordo_12i8,i0,u87.T_fordo_12i8)
Unknown event u11.T_xnei_10x8i1 when handling addSyncPart(T_xnei_10x8i7_l0,i0,u11.T_xnei_10x8i1)
Unknown event u23.T_xnei_10x0i8 when handling addSyncPart(T_xnei_10x7i8_l1,i0,u23.T_xnei_10x0i8)
Unknown event u23.T_sety_9y0i8 when handling addSyncPart(T_sety_9y7i8_l1,i0,u23.T_sety_9y0i8)
Unknown event u11.T_yeq0_4i8 when handling addSyncPart(T_yeq0_4i8_l1,i0,u11.T_yeq0_4i8)
Unknown event u23.T_yeq0_4i8 when handling addSyncPart(T_yeq0_4i8_l2,i0,u23.T_yeq0_4i8)
Unknown event u7.T_awaityi8 when handling addSyncPart(T_awaityi8_l1,i0,u7.T_awaityi8)
Unknown event u90.T_awaityi8 when handling addSyncPart(T_awaityi8_l2,i0,u90.T_awaityi8)
Unknown event u11.T_yne0_4y1i8 when handling addSyncPart(T_yne0_4y7i8_l0,i0,u11.T_yne0_4y1i8)
Unknown event u11.T_setx_3i8x0 when handling addSyncPart(T_setx_3i8x7_l1,i0,u11.T_setx_3i8x0)
Unknown event u11.T_setx_3i1x8 when handling addSyncPart(T_setx_3i7x8_l1,i0,u11.T_setx_3i1x8)
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
Unknown event u101.T_sety0_23y0i3 when handling addSyncPart(T_sety0_23y8i3_l2,i0,u101.T_sety0_23y0i3)
Unknown event u21.T_sety_9y3i1 when handling addSyncPart(T_sety0_23y3i8_l2,i0,u21.T_sety_9y3i1)
Unknown event u21.T_yne0_4y3i1 when handling addSyncPart(T_ynei_15i8y3_l0,i0,u21.T_yne0_4y3i1)
Unknown event u92.T_ynei_15i3y0 when handling addSyncPart(T_ynei_15i3y8_l0,i0,u92.T_ynei_15i3y0)
Unknown event u69.T_forod_13i3 when handling addSyncPart(T_forod_13i3,i0,u69.T_forod_13i3)
Unknown event u92.T_forod_13i3 when handling addSyncPart(T_forod_13i3,i0,u92.T_forod_13i3)
Unknown event u2.T_setbi_5P-bi0i3 when handling addSyncPart(T_await_13j3i8_l2,i0,u2.T_setbi_5P-bi0i3)
Unknown event u2.T_setbi_5P-bi0i3 when handling addSyncPart(T_await_13j3i3,i0,u2.T_setbi_5P-bi0i3)
Unknown event u69.T_await_13j3i3 when handling addSyncPart(T_await_13j3i3,i0,u69.T_await_13j3i3)
Unknown event u2.T_fordo_12i3 when handling addSyncPart(T_fordo_12i3,i0,u2.T_fordo_12i3)
Unknown event u69.T_fordo_12i3 when handling addSyncPart(T_fordo_12i3,i0,u69.T_fordo_12i3)
Unknown event u21.T_xnei_10x0i3 when handling addSyncPart(T_xnei_10x8i3_l0,i0,u21.T_xnei_10x0i3)
Unknown event u8.T_xnei_10x3i1 when handling addSyncPart(T_xnei_10x3i8_l0,i0,u8.T_xnei_10x3i1)
Unknown event u21.T_sety_9y0i3 when handling addSyncPart(T_sety_9y8i3_l0,i0,u21.T_sety_9y0i3)
Unknown event u8.T_yeq0_4i3 when handling addSyncPart(T_yeq0_4i3_l1,i0,u8.T_yeq0_4i3)
Unknown event u21.T_yeq0_4i3 when handling addSyncPart(T_yeq0_4i3_l2,i0,u21.T_yeq0_4i3)
Unknown event u2.T_awaityi3 when handling addSyncPart(T_awaityi3_l1,i0,u2.T_awaityi3)
Unknown event u92.T_awaityi3 when handling addSyncPart(T_awaityi3_l2,i0,u92.T_awaityi3)
Unknown event u8.T_yne0_4y1i3 when handling addSyncPart(T_yne0_4y8i3_l0,i0,u8.T_yne0_4y1i3)
Unknown event u8.T_setx_3i1x3 when handling addSyncPart(T_setx_3i8x3_l0,i0,u8.T_setx_3i1x3)
Unknown event u8.T_setx_3i3x0 when handling addSyncPart(T_setx_3i3x8_l0,i0,u8.T_setx_3i3x0)
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
Unknown event u98.T_sety0_23y0i6 when handling addSyncPart(T_sety0_23y8i6_l1,i0,u98.T_sety0_23y0i6)
Unknown event u18.T_sety_9y6i1 when handling addSyncPart(T_sety0_23y6i8_l1,i0,u18.T_sety_9y6i1)
Unknown event u18.T_yne0_4y6i1 when handling addSyncPart(T_ynei_15i8y6_l0,i0,u18.T_yne0_4y6i1)
Unknown event u94.T_ynei_15i6y0 when handling addSyncPart(T_ynei_15i6y8_l0,i0,u94.T_ynei_15i6y0)
Unknown event u79.T_forod_13i6 when handling addSyncPart(T_forod_13i6,i0,u79.T_forod_13i6)
Unknown event u94.T_forod_13i6 when handling addSyncPart(T_forod_13i6,i0,u94.T_forod_13i6)
Unknown event u5.T_setbi_5P-bi0i6 when handling addSyncPart(T_await_13j6i8_l0,i0,u5.T_setbi_5P-bi0i6)
Unknown event u5.T_setbi_5P-bi0i6 when handling addSyncPart(T_await_13j6i6,i0,u5.T_setbi_5P-bi0i6)
Unknown event u79.T_await_13j6i6 when handling addSyncPart(T_await_13j6i6,i0,u79.T_await_13j6i6)
Unknown event u5.T_fordo_12i6 when handling addSyncPart(T_fordo_12i6,i0,u5.T_fordo_12i6)
Unknown event u79.T_fordo_12i6 when handling addSyncPart(T_fordo_12i6,i0,u79.T_fordo_12i6)
Unknown event u18.T_xnei_10x0i6 when handling addSyncPart(T_xnei_10x8i6_l0,i0,u18.T_xnei_10x0i6)
Unknown event u15.T_xnei_10x6i1 when handling addSyncPart(T_xnei_10x6i8_l0,i0,u15.T_xnei_10x6i1)
Unknown event u18.T_sety_9y0i6 when handling addSyncPart(T_sety_9y8i6_l0,i0,u18.T_sety_9y0i6)
Unknown event u15.T_yeq0_4i6 when handling addSyncPart(T_yeq0_4i6_l0,i0,u15.T_yeq0_4i6)
Unknown event u18.T_yeq0_4i6 when handling addSyncPart(T_yeq0_4i6_l1,i0,u18.T_yeq0_4i6)
Unknown event u5.T_awaityi6 when handling addSyncPart(T_awaityi6_l0,i0,u5.T_awaityi6)
Unknown event u94.T_awaityi6 when handling addSyncPart(T_awaityi6_l1,i0,u94.T_awaityi6)
Unknown event u15.T_yne0_4y1i6 when handling addSyncPart(T_yne0_4y8i6_l0,i0,u15.T_yne0_4y1i6)
Unknown event u15.T_setx_3i1x6 when handling addSyncPart(T_setx_3i8x6_l0,i0,u15.T_setx_3i1x6)
Unknown event u15.T_setx_3i6x0 when handling addSyncPart(T_setx_3i6x8_l0,i0,u15.T_setx_3i6x0)
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
Unknown event u97.T_sety0_23y0i5 when handling addSyncPart(T_sety0_23y8i5_l0,i0,u97.T_sety0_23y0i5)
Unknown event u17.T_sety_9y5i1 when handling addSyncPart(T_sety0_23y5i8_l2,i0,u17.T_sety_9y5i1)
Unknown event u17.T_yne0_4y5i1 when handling addSyncPart(T_ynei_15i8y5_l1,i0,u17.T_yne0_4y5i1)
Unknown event u93.T_ynei_15i5y0 when handling addSyncPart(T_ynei_15i5y8_l0,i0,u93.T_ynei_15i5y0)
Unknown event u42.T_forod_13i5 when handling addSyncPart(T_forod_13i5,i0,u42.T_forod_13i5)
Unknown event u93.T_forod_13i5 when handling addSyncPart(T_forod_13i5,i0,u93.T_forod_13i5)
Unknown event u4.T_setbi_5P-bi0i5 when handling addSyncPart(T_await_13j5i8_l2,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_setbi_5P-bi0i5 when handling addSyncPart(T_await_13j5i5,i0,u4.T_setbi_5P-bi0i5)
Unknown event u42.T_fordo_12i5 when handling addSyncPart(T_fordo_12i5,i0,u42.T_fordo_12i5)
Unknown event u4.T_fordo_12i5 when handling addSyncPart(T_fordo_12i5,i0,u4.T_fordo_12i5)
Unknown event u17.T_xnei_10x0i5 when handling addSyncPart(T_xnei_10x8i5_l1,i0,u17.T_xnei_10x0i5)
Unknown event u14.T_xnei_10x5i1 when handling addSyncPart(T_xnei_10x5i8_l1,i0,u14.T_xnei_10x5i1)
Unknown event u17.T_sety_9y0i5 when handling addSyncPart(T_sety_9y8i5_l1,i0,u17.T_sety_9y0i5)
Unknown event u14.T_yeq0_4i5 when handling addSyncPart(T_yeq0_4i5_l1,i0,u14.T_yeq0_4i5)
Unknown event u17.T_yeq0_4i5 when handling addSyncPart(T_yeq0_4i5_l2,i0,u17.T_yeq0_4i5)
Unknown event u93.T_awaityi5 when handling addSyncPart(T_awaityi5_l0,i0,u93.T_awaityi5)
Unknown event u4.T_awaityi5 when handling addSyncPart(T_awaityi5_l2,i0,u4.T_awaityi5)
Unknown event u14.T_yne0_4y1i5 when handling addSyncPart(T_yne0_4y8i5_l1,i0,u14.T_yne0_4y1i5)
Unknown event u14.T_setx_3i1x5 when handling addSyncPart(T_setx_3i8x5_l1,i0,u14.T_setx_3i1x5)
Unknown event u14.T_setx_3i5x0 when handling addSyncPart(T_setx_3i5x8_l1,i0,u14.T_setx_3i5x0)
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
Unknown event u103.T_sety0_23y0i7 when handling addSyncPart(T_sety0_23y8i7_l2,i0,u103.T_sety0_23y0i7)
Unknown event u22.T_sety_9y7i1 when handling addSyncPart(T_sety0_23y7i8_l2,i0,u22.T_sety_9y7i1)
Unknown event u22.T_yne0_4y7i1 when handling addSyncPart(T_ynei_15i8y7_l0,i0,u22.T_yne0_4y7i1)
Unknown event u95.T_ynei_15i7y0 when handling addSyncPart(T_ynei_15i7y8_l1,i0,u95.T_ynei_15i7y0)
Unknown event u53.T_forod_13i7 when handling addSyncPart(T_forod_13i7,i0,u53.T_forod_13i7)
Unknown event u95.T_forod_13i7 when handling addSyncPart(T_forod_13i7,i0,u95.T_forod_13i7)
Unknown event u6.T_setbi_5P-bi0i7 when handling addSyncPart(T_await_13j7i8_l2,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 u53.T_await_13j7i7 when handling addSyncPart(T_await_13j7i7,i0,u53.T_await_13j7i7)
Unknown event u6.T_fordo_12i7 when handling addSyncPart(T_fordo_12i7,i0,u6.T_fordo_12i7)
Unknown event u53.T_fordo_12i7 when handling addSyncPart(T_fordo_12i7,i0,u53.T_fordo_12i7)
Unknown event u22.T_xnei_10x0i7 when handling addSyncPart(T_xnei_10x8i7_l1,i0,u22.T_xnei_10x0i7)
Unknown event u10.T_xnei_10x7i1 when handling addSyncPart(T_xnei_10x7i8_l0,i0,u10.T_xnei_10x7i1)
Unknown event u22.T_sety_9y0i7 when handling addSyncPart(T_sety_9y8i7_l0,i0,u22.T_sety_9y0i7)
Unknown event u10.T_yeq0_4i7 when handling addSyncPart(T_yeq0_4i7_l1,i0,u10.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 u95.T_awaityi7 when handling addSyncPart(T_awaityi7_l2,i0,u95.T_awaityi7)
Unknown event u10.T_yne0_4y1i7 when handling addSyncPart(T_yne0_4y8i7_l0,i0,u10.T_yne0_4y1i7)
Unknown event u10.T_setx_3i1x7 when handling addSyncPart(T_setx_3i8x7_l0,i0,u10.T_setx_3i1x7)
Unknown event u10.T_setx_3i7x0 when handling addSyncPart(T_setx_3i7x8_l0,i0,u10.T_setx_3i7x0)
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace15942383076233777901.gal(2087) : error 3 : , at offset 24
near [Index: 18944 (Start: 1927303677-Stop: 1927303677) ='-', type<22> Line: 2087 LinePos:24]
: cannot match to any predicted input...
The parser returned 217 errors, parsing aborted
[2021-05-13 04:45:28] [INFO ] Applying decomposition
[2021-05-13 04:45:28] [INFO ] Flatten gal took : 31 ms
[2021-05-13 04:45:28] [INFO ] Decomposing Gal with order
[2021-05-13 04:45:28] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 04:45:28] [INFO ] Removed a total of 947 redundant transitions.
[2021-05-13 04:45:28] [INFO ] Flatten gal took : 54 ms
[2021-05-13 04:45:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 40 labels/synchronizations in 12 ms.
[2021-05-13 04:45:28] [INFO ] Time to serialize gal into /tmp/StateSpace1833931605877129061.gal : 4 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/StateSpace1833931605877129061.gal, -t, CGAL, --stats], 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/StateSpace1833931605877129061.gal -t CGAL --stats
/tmp/StateSpace1833931605877129061.gal(4) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(4) : error 3 : , at offset 23
near [Index: 18 (Start: 14650256-Stop: 14650256) ='-', type<22> Line: 4 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(4) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(7) : error 3 : , at offset 23
near [Index: 50 (Start: 14650352-Stop: 14650352) ='-', type<22> Line: 7 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(9) : error 3 : , at offset 23
near [Index: 74 (Start: 14650428-Stop: 14650428) ='-', type<22> Line: 9 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(9) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(15) : error 3 : , at offset 23
near [Index: 118 (Start: 14650560-Stop: 14650560) ='-', type<22> Line: 15 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(15) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(18) : error 3 : , at offset 23
near [Index: 146 (Start: 14650650-Stop: 14650650) ='-', type<22> Line: 18 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(18) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(20) : error 3 : , at offset 23
near [Index: 170 (Start: 14650726-Stop: 14650726) ='-', type<22> Line: 20 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(20) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(26) : error 3 : , at offset 23
near [Index: 218 (Start: 14650864-Stop: 14650864) ='-', type<22> Line: 26 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(26) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(29) : error 3 : , at offset 23
near [Index: 250 (Start: 14650960-Stop: 14650960) ='-', type<22> Line: 29 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(29) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(31) : error 3 : , at offset 23
near [Index: 274 (Start: 14651036-Stop: 14651036) ='-', type<22> Line: 31 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(31) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(37) : error 3 : , at offset 23
near [Index: 318 (Start: 14651168-Stop: 14651168) ='-', type<22> Line: 37 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(37) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(40) : error 3 : , at offset 23
near [Index: 346 (Start: 14651258-Stop: 14651258) ='-', type<22> Line: 40 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(40) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(42) : error 3 : , at offset 23
near [Index: 370 (Start: 14651334-Stop: 14651334) ='-', type<22> Line: 42 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(42) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(48) : error 3 : , at offset 23
near [Index: 418 (Start: 14651472-Stop: 14651472) ='-', type<22> Line: 48 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(48) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(51) : error 3 : , at offset 23
near [Index: 450 (Start: 14651568-Stop: 14651568) ='-', type<22> Line: 51 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(51) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(53) : error 3 : , at offset 23
near [Index: 474 (Start: 14651644-Stop: 14651644) ='-', type<22> Line: 53 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(53) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(59) : error 3 : , at offset 23
near [Index: 518 (Start: 14651776-Stop: 14651776) ='-', type<22> Line: 59 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(59) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(62) : error 3 : , at offset 23
near [Index: 546 (Start: 14651866-Stop: 14651866) ='-', type<22> Line: 62 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(62) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(64) : error 3 : , at offset 23
near [Index: 570 (Start: 14651942-Stop: 14651942) ='-', type<22> Line: 64 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(64) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(70) : error 3 : , at offset 23
near [Index: 618 (Start: 14652080-Stop: 14652080) ='-', type<22> Line: 70 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(70) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(73) : error 3 : , at offset 23
near [Index: 650 (Start: 14652176-Stop: 14652176) ='-', type<22> Line: 73 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(73) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(75) : error 3 : , at offset 23
near [Index: 674 (Start: 14652252-Stop: 14652252) ='-', type<22> Line: 75 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(75) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(81) : error 3 : , at offset 23
near [Index: 718 (Start: 14652384-Stop: 14652384) ='-', type<22> Line: 81 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(81) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(84) : error 3 : , at offset 23
near [Index: 746 (Start: 14652474-Stop: 14652474) ='-', type<22> Line: 84 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(84) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(86) : error 3 : , at offset 23
near [Index: 770 (Start: 14652550-Stop: 14652550) ='-', type<22> Line: 86 LinePos:23]
: cannot match to any predicted input...
ITS-tools command line returned an error code 1
/tmp/StateSpace1833931605877129061.gal(86) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(92) : error 3 : , at offset 23
near [Index: 818 (Start: 14652690-Stop: 14652690) ='-', type<22> Line: 92 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(92) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(95) : error 3 : , at offset 23
near [Index: 850 (Start: 14652788-Stop: 14652788) ='-', type<22> Line: 95 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(95) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(97) : error 3 : , at offset 23
near [Index: 874 (Start: 14652865-Stop: 14652865) ='-', type<22> Line: 97 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(97) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(103) : error 3 : , at offset 23
near [Index: 918 (Start: 14653000-Stop: 14653000) ='-', type<22> Line: 103 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(103) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(106) : error 3 : , at offset 23
near [Index: 946 (Start: 14653091-Stop: 14653091) ='-', type<22> Line: 106 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(106) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(108) : error 3 : , at offset 23
near [Index: 970 (Start: 14653168-Stop: 14653168) ='-', type<22> Line: 108 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(108) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(114) : error 3 : , at offset 23
near [Index: 1018 (Start: 14653310-Stop: 14653310) ='-', type<22> Line: 114 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(114) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(117) : error 3 : , at offset 23
near [Index: 1050 (Start: 14653408-Stop: 14653408) ='-', type<22> Line: 117 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(117) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(119) : error 3 : , at offset 23
near [Index: 1074 (Start: 14653485-Stop: 14653485) ='-', type<22> Line: 119 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(119) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(125) : error 3 : , at offset 23
near [Index: 1118 (Start: 14653620-Stop: 14653620) ='-', type<22> Line: 125 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(125) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(128) : error 3 : , at offset 23
near [Index: 1146 (Start: 14653711-Stop: 14653711) ='-', type<22> Line: 128 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(128) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(130) : error 3 : , at offset 23
near [Index: 1170 (Start: 14653788-Stop: 14653788) ='-', type<22> Line: 130 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(130) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(136) : error 3 : , at offset 23
near [Index: 1218 (Start: 14653930-Stop: 14653930) ='-', type<22> Line: 136 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(136) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(139) : error 3 : , at offset 23
near [Index: 1250 (Start: 14654028-Stop: 14654028) ='-', type<22> Line: 139 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(141) : error 3 : , at offset 23
near [Index: 1274 (Start: 14654105-Stop: 14654105) ='-', type<22> Line: 141 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(141) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(147) : error 3 : , at offset 23
near [Index: 1318 (Start: 14654240-Stop: 14654240) ='-', type<22> Line: 147 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(147) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(150) : error 3 : , at offset 23
near [Index: 1346 (Start: 14654331-Stop: 14654331) ='-', type<22> Line: 150 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(150) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(152) : error 3 : , at offset 23
near [Index: 1370 (Start: 14654408-Stop: 14654408) ='-', type<22> Line: 152 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(152) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(158) : error 3 : , at offset 23
near [Index: 1418 (Start: 14654550-Stop: 14654550) ='-', type<22> Line: 158 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(158) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(161) : error 3 : , at offset 23
near [Index: 1450 (Start: 14654648-Stop: 14654648) ='-', type<22> Line: 161 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(161) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(163) : error 3 : , at offset 23
near [Index: 1474 (Start: 14654725-Stop: 14654725) ='-', type<22> Line: 163 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(169) : error 3 : , at offset 23
near [Index: 1518 (Start: 14654860-Stop: 14654860) ='-', type<22> Line: 169 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(172) : error 3 : , at offset 23
near [Index: 1546 (Start: 14654951-Stop: 14654951) ='-', type<22> Line: 172 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(172) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(174) : error 3 : , at offset 23
near [Index: 1570 (Start: 14655028-Stop: 14655028) ='-', type<22> Line: 174 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(174) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(211) : error 3 : , at offset 23
near [Index: 1899 (Start: 14655901-Stop: 14655901) ='-', type<22> Line: 211 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(211) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(237) : error 3 : , at offset 23
near [Index: 2159 (Start: 14656678-Stop: 14656678) ='-', type<22> Line: 237 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(237) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(267) : error 3 : , at offset 24
near [Index: 2453 (Start: 14657589-Stop: 14657589) ='-', type<22> Line: 267 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(267) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(302) : error 3 : , at offset 24
near [Index: 2805 (Start: 14658702-Stop: 14658702) ='-', type<22> Line: 302 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(302) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(323) : error 3 : , at offset 23
near [Index: 2987 (Start: 14659183-Stop: 14659183) ='-', type<22> Line: 323 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(323) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(349) : error 3 : , at offset 23
near [Index: 3247 (Start: 14659960-Stop: 14659960) ='-', type<22> Line: 349 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(349) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(379) : error 3 : , at offset 24
near [Index: 3541 (Start: 14660871-Stop: 14660871) ='-', type<22> Line: 379 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(379) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(414) : error 3 : , at offset 24
near [Index: 3893 (Start: 14661984-Stop: 14661984) ='-', type<22> Line: 414 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(414) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(435) : error 3 : , at offset 23
near [Index: 4075 (Start: 14662465-Stop: 14662465) ='-', type<22> Line: 435 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(435) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(461) : error 3 : , at offset 23
near [Index: 4335 (Start: 14663242-Stop: 14663242) ='-', type<22> Line: 461 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(461) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(491) : error 3 : , at offset 24
near [Index: 4629 (Start: 14664154-Stop: 14664154) ='-', type<22> Line: 491 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(491) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(526) : error 3 : , at offset 24
near [Index: 4981 (Start: 14665268-Stop: 14665268) ='-', type<22> Line: 526 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(526) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(547) : error 3 : , at offset 23
near [Index: 5163 (Start: 14665750-Stop: 14665750) ='-', type<22> Line: 547 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(547) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(573) : error 3 : , at offset 23
near [Index: 5423 (Start: 14666527-Stop: 14666527) ='-', type<22> Line: 573 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(573) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(603) : error 3 : , at offset 24
near [Index: 5717 (Start: 14667438-Stop: 14667438) ='-', type<22> Line: 603 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(603) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(638) : error 3 : , at offset 24
near [Index: 6069 (Start: 14668551-Stop: 14668551) ='-', type<22> Line: 638 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(638) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(659) : error 3 : , at offset 23
near [Index: 6251 (Start: 14669032-Stop: 14669032) ='-', type<22> Line: 659 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(659) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(685) : error 3 : , at offset 23
near [Index: 6511 (Start: 14669809-Stop: 14669809) ='-', type<22> Line: 685 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(685) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(715) : error 3 : , at offset 24
near [Index: 6805 (Start: 14670721-Stop: 14670721) ='-', type<22> Line: 715 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(715) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(750) : error 3 : , at offset 24
near [Index: 7157 (Start: 14671835-Stop: 14671835) ='-', type<22> Line: 750 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(750) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(771) : error 3 : , at offset 23
near [Index: 7339 (Start: 14672317-Stop: 14672317) ='-', type<22> Line: 771 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(771) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(797) : error 3 : , at offset 23
near [Index: 7599 (Start: 14673094-Stop: 14673094) ='-', type<22> Line: 797 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(797) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(827) : error 3 : , at offset 24
near [Index: 7893 (Start: 14674006-Stop: 14674006) ='-', type<22> Line: 827 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(827) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(862) : error 3 : , at offset 24
near [Index: 8245 (Start: 14675120-Stop: 14675120) ='-', type<22> Line: 862 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(862) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(883) : error 3 : , at offset 23
near [Index: 8427 (Start: 14675602-Stop: 14675602) ='-', type<22> Line: 883 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(883) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(909) : error 3 : , at offset 23
near [Index: 8687 (Start: 14676379-Stop: 14676379) ='-', type<22> Line: 909 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(909) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(939) : error 3 : , at offset 24
near [Index: 8981 (Start: 14677291-Stop: 14677291) ='-', type<22> Line: 939 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(939) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(974) : error 3 : , at offset 24
near [Index: 9333 (Start: 14678405-Stop: 14678405) ='-', type<22> Line: 974 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(974) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(995) : error 3 : , at offset 23
near [Index: 9515 (Start: 14678887-Stop: 14678887) ='-', type<22> Line: 995 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(995) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(1021) : error 3 : , at offset 23
near [Index: 9775 (Start: 14679664-Stop: 14679664) ='-', type<22> Line: 1021 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(1021) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(1051) : error 3 : , at offset 24
near [Index: 10069 (Start: 14680576-Stop: 14680576) ='-', type<22> Line: 1051 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(1051) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace1833931605877129061.gal(1086) : error 3 : , at offset 24
near [Index: 10421 (Start: 14681690-Stop: 14681690) ='-', type<22> Line: 1086 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace1833931605877129061.gal(1086) : error 3 : , at offset 24
near [Index: 10421 (Start: 14681690-Stop: 14681690) ='-', type<22> Line: 1086 LinePos:24]
: cannot match to any predicted input...
The parser returned 161 errors, parsing aborted
[2021-05-13 04:45:28] [INFO ] Flatten gal took : 28 ms
[2021-05-13 04:45:28] [INFO ] Input system was already deterministic with 584 transitions.
[2021-05-13 04:45:28] [INFO ] Transformed 266 places.
[2021-05-13 04:45:28] [INFO ] Transformed 584 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-13 04:45:29] [INFO ] Time to serialize gal into /tmp/StateSpace6635009028784877381.gal : 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/StateSpace6635009028784877381.gal, -t, CGAL, --stats, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/StateSpace6635009028784877381.gal -t CGAL --stats --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Detected timeout of ITS tools.
BK_STOP 1620882343857
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StateSpace = StateSpace ]]
+ [[ -f modelMain.xml ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution StateSpace -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 StateSpace -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="StateSpace"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is LamportFastMutEx-COL-8, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r121-tall-162075407200640"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;