About the Execution of ITS-Tools for LamportFastMutEx-COL-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16238.896 | 1209952.00 | 883707.00 | 162852.50 | [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-162075407200632.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is LamportFastMutEx-COL-7, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r121-tall-162075407200632
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 141K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 92K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 06:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 06:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 07:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 07:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 43K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1620879261091
Running Version 0
[2021-05-13 04:14:22] [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:14:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 04:14:22] [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:14:22] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-13 04:14:23] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 564 ms
[2021-05-13 04:14:23] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 264 PT places and 672.0 transition bindings in 18 ms.
[2021-05-13 04:14:23] [INFO ] Unfolded HLPN to a Petri net with 264 places and 536 transitions in 18 ms.
[2021-05-13 04:14:23] [INFO ] Unfolded HLPN properties in 0 ms.
Deduced a syphon composed of 45 places in 3 ms
Reduce places removed 45 places and 74 transitions.
Starting structural reductions, iteration 0 : 219/219 places, 462/462 transitions.
[2021-05-13 04:14:23] [INFO ] Redundant transitions in 23 ms returned []
[2021-05-13 04:14:23] [INFO ] Flow matrix only has 336 transitions (discarded 126 similar events)
// Phase 1: matrix 336 rows 219 cols
[2021-05-13 04:14:23] [INFO ] Computed 65 place invariants in 20 ms
[2021-05-13 04:14:23] [INFO ] Dead Transitions using invariants and state equation in 307 ms returned []
Finished structural reductions, in 1 iterations. Remains : 219/219 places, 462/462 transitions.
Final net has 219 places and 462 transitions.
[2021-05-13 04:14:23] [INFO ] Flatten gal took : 76 ms
[2021-05-13 04:14:23] [INFO ] Applying decomposition
[2021-05-13 04:14:23] [INFO ] Flatten gal took : 40 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/graph4153808891167216177.txt, -o, /tmp/graph4153808891167216177.bin, -w, /tmp/graph4153808891167216177.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/graph4153808891167216177.bin, -l, -1, -v, -w, /tmp/graph4153808891167216177.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-13 04:14:24] [INFO ] Decomposing Gal with order
[2021-05-13 04:14:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 04:14:24] [INFO ] Removed a total of 721 redundant transitions.
[2021-05-13 04:14:24] [INFO ] Flatten gal took : 74 ms
[2021-05-13 04:14:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 72 labels/synchronizations in 19 ms.
[2021-05-13 04:14:24] [INFO ] Time to serialize gal into /tmp/StateSpace12915799990180003300.gal : 10 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/StateSpace12915799990180003300.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/StateSpace12915799990180003300.gal -t CGAL --stats
/tmp/StateSpace12915799990180003300.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(7) : error 3 : , at offset 23
near [Index: 45 (Start: -1319149433-Stop: -1319149433) ='-', type<22> Line: 7 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(12) : error 3 : , at offset 23
near [Index: 101 (Start: -1319149271-Stop: -1319149271) ='-', type<22> Line: 12 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(12) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(15) : error 3 : , at offset 23
near [Index: 141 (Start: -1319149149-Stop: -1319149149) ='-', type<22> Line: 15 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(15) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(17) : error 3 : , at offset 23
near [Index: 165 (Start: -1319149073-Stop: -1319149073) ='-', type<22> Line: 17 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(17) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(24) : error 3 : , at offset 24
near [Index: 231 (Start: -1319148872-Stop: -1319148872) ='-', type<22> Line: 24 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(24) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(27) : error 3 : , at offset 24
near [Index: 263 (Start: -1319148767-Stop: -1319148767) ='-', type<22> Line: 27 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(27) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(35) : error 3 : , at offset 24
near [Index: 341 (Start: -1319148520-Stop: -1319148520) ='-', type<22> Line: 35 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(35) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(38) : error 3 : , at offset 24
near [Index: 373 (Start: -1319148416-Stop: -1319148416) ='-', type<22> Line: 38 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(38) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(49) : error 3 : , at offset 23
near [Index: 464 (Start: -1319148175-Stop: -1319148175) ='-', type<22> Line: 49 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(49) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(68) : error 3 : , at offset 23
near [Index: 648 (Start: -1319147617-Stop: -1319147617) ='-', type<22> Line: 68 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(68) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(183) : error 3 : , at offset 23
near [Index: 1653 (Start: -1319144531-Stop: -1319144531) ='-', type<22> Line: 183 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(183) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(210) : error 3 : , at offset 24
near [Index: 1894 (Start: -1319143755-Stop: -1319143755) ='-', type<22> Line: 210 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(210) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(240) : error 3 : , at offset 24
near [Index: 2173 (Start: -1319142923-Stop: -1319142923) ='-', type<22> Line: 240 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(240) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(252) : error 3 : , at offset 23
near [Index: 2278 (Start: -1319142615-Stop: -1319142615) ='-', type<22> Line: 252 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(252) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(257) : error 3 : , at offset 23
near [Index: 2334 (Start: -1319142450-Stop: -1319142450) ='-', type<22> Line: 257 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(257) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(260) : error 3 : , at offset 23
near [Index: 2374 (Start: -1319142327-Stop: -1319142327) ='-', type<22> Line: 260 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(260) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(262) : error 3 : , at offset 23
near [Index: 2398 (Start: -1319142250-Stop: -1319142250) ='-', type<22> Line: 262 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(262) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(269) : error 3 : , at offset 24
near [Index: 2464 (Start: -1319142046-Stop: -1319142046) ='-', type<22> Line: 269 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(272) : error 3 : , at offset 24
near [Index: 2496 (Start: -1319141940-Stop: -1319141940) ='-', type<22> Line: 272 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(272) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(280) : error 3 : , at offset 24
near [Index: 2574 (Start: -1319141690-Stop: -1319141690) ='-', type<22> Line: 280 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(283) : error 3 : , at offset 24
near [Index: 2606 (Start: -1319141585-Stop: -1319141585) ='-', type<22> Line: 283 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(283) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(294) : error 3 : , at offset 23
near [Index: 2697 (Start: -1319141340-Stop: -1319141340) ='-', type<22> Line: 294 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(294) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(313) : error 3 : , at offset 23
near [Index: 2881 (Start: -1319140782-Stop: -1319140782) ='-', type<22> Line: 313 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(313) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(348) : error 3 : , at offset 24
near [Index: 3212 (Start: -1319139791-Stop: -1319139791) ='-', type<22> Line: 348 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(348) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(372) : error 3 : , at offset 23
near [Index: 3418 (Start: -1319139155-Stop: -1319139155) ='-', type<22> Line: 372 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(372) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(399) : error 3 : , at offset 24
near [Index: 3659 (Start: -1319138379-Stop: -1319138379) ='-', type<22> Line: 399 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(399) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(497) : error 3 : , at offset 23
near [Index: 4511 (Start: -1319135780-Stop: -1319135780) ='-', type<22> Line: 497 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(497) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(502) : error 3 : , at offset 23
near [Index: 4567 (Start: -1319135615-Stop: -1319135615) ='-', type<22> Line: 502 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(502) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(505) : error 3 : , at offset 23
near [Index: 4607 (Start: -1319135492-Stop: -1319135492) ='-', type<22> Line: 505 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(505) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(507) : error 3 : , at offset 23
near [Index: 4631 (Start: -1319135415-Stop: -1319135415) ='-', type<22> Line: 507 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(507) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(514) : error 3 : , at offset 24
near [Index: 4697 (Start: -1319135211-Stop: -1319135211) ='-', type<22> Line: 514 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(514) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(517) : error 3 : , at offset 24
near [Index: 4729 (Start: -1319135105-Stop: -1319135105) ='-', type<22> Line: 517 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(517) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(525) : error 3 : , at offset 24
near [Index: 4807 (Start: -1319134855-Stop: -1319134855) ='-', type<22> Line: 525 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(525) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(528) : error 3 : , at offset 24
near [Index: 4839 (Start: -1319134750-Stop: -1319134750) ='-', type<22> Line: 528 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(528) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(539) : error 3 : , at offset 23
near [Index: 4930 (Start: -1319134505-Stop: -1319134505) ='-', type<22> Line: 539 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(539) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(558) : error 3 : , at offset 23
near [Index: 5114 (Start: -1319133947-Stop: -1319133947) ='-', type<22> Line: 558 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(558) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(593) : error 3 : , at offset 24
near [Index: 5445 (Start: -1319132956-Stop: -1319132956) ='-', type<22> Line: 593 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(593) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(603) : error 3 : , at offset 23
near [Index: 5532 (Start: -1319132685-Stop: -1319132685) ='-', type<22> Line: 603 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(603) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(630) : error 3 : , at offset 24
near [Index: 5773 (Start: -1319131909-Stop: -1319131909) ='-', type<22> Line: 630 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(630) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(763) : error 3 : , at offset 24
near [Index: 6948 (Start: -1319128323-Stop: -1319128323) ='-', type<22> Line: 763 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(763) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(775) : error 3 : , at offset 23
near [Index: 7053 (Start: -1319128017-Stop: -1319128017) ='-', type<22> Line: 775 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(775) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(780) : error 3 : , at offset 23
near [Index: 7109 (Start: -1319127855-Stop: -1319127855) ='-', type<22> Line: 780 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(780) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(783) : error 3 : , at offset 23
near [Index: 7149 (Start: -1319127733-Stop: -1319127733) ='-', type<22> Line: 783 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(783) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(785) : error 3 : , at offset 23
near [Index: 7173 (Start: -1319127657-Stop: -1319127657) ='-', type<22> Line: 785 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(785) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(792) : error 3 : , at offset 24
near [Index: 7239 (Start: -1319127456-Stop: -1319127456) ='-', type<22> Line: 792 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(792) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(795) : error 3 : , at offset 24
near [Index: 7271 (Start: -1319127351-Stop: -1319127351) ='-', type<22> Line: 795 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(795) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(803) : error 3 : , at offset 24
near [Index: 7349 (Start: -1319127104-Stop: -1319127104) ='-', type<22> Line: 803 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(803) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(806) : error 3 : , at offset 24
near [Index: 7381 (Start: -1319127000-Stop: -1319127000) ='-', type<22> Line: 806 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(806) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(817) : error 3 : , at offset 23
near [Index: 7472 (Start: -1319126759-Stop: -1319126759) ='-', type<22> Line: 817 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(817) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(836) : error 3 : , at offset 23
near [Index: 7656 (Start: -1319126201-Stop: -1319126201) ='-', type<22> Line: 836 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(836) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(871) : error 3 : , at offset 24
near [Index: 7987 (Start: -1319125210-Stop: -1319125210) ='-', type<22> Line: 871 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(871) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(895) : error 3 : , at offset 23
near [Index: 8193 (Start: -1319124574-Stop: -1319124574) ='-', type<22> Line: 895 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(895) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(922) : error 3 : , at offset 24
near [Index: 8434 (Start: -1319123798-Stop: -1319123798) ='-', type<22> Line: 922 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(922) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1020) : error 3 : , at offset 23
near [Index: 9286 (Start: -1319121201-Stop: -1319121201) ='-', type<22> Line: 1020 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1020) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1025) : error 3 : , at offset 23
near [Index: 9342 (Start: -1319121039-Stop: -1319121039) ='-', type<22> Line: 1025 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1025) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1028) : error 3 : , at offset 23
near [Index: 9382 (Start: -1319120917-Stop: -1319120917) ='-', type<22> Line: 1028 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1028) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1030) : error 3 : , at offset 23
near [Index: 9406 (Start: -1319120841-Stop: -1319120841) ='-', type<22> Line: 1030 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1030) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1037) : error 3 : , at offset 24
near [Index: 9472 (Start: -1319120640-Stop: -1319120640) ='-', type<22> Line: 1037 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1037) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1040) : error 3 : , at offset 24
near [Index: 9504 (Start: -1319120535-Stop: -1319120535) ='-', type<22> Line: 1040 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1040) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1048) : error 3 : , at offset 24
near [Index: 9582 (Start: -1319120288-Stop: -1319120288) ='-', type<22> Line: 1048 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1048) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1051) : error 3 : , at offset 24
near [Index: 9614 (Start: -1319120184-Stop: -1319120184) ='-', type<22> Line: 1051 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1051) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1062) : error 3 : , at offset 23
near [Index: 9705 (Start: -1319119942-Stop: -1319119942) ='-', type<22> Line: 1062 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1062) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1081) : error 3 : , at offset 23
near [Index: 9889 (Start: -1319119384-Stop: -1319119384) ='-', type<22> Line: 1081 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1081) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1107) : error 3 : , at offset 23
near [Index: 10117 (Start: -1319118687-Stop: -1319118687) ='-', type<22> Line: 1107 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1107) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1218) : error 3 : , at offset 23
near [Index: 11089 (Start: -1319115699-Stop: -1319115699) ='-', type<22> Line: 1218 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1218) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1223) : error 3 : , at offset 23
near [Index: 11145 (Start: -1319115537-Stop: -1319115537) ='-', type<22> Line: 1223 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1223) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1226) : error 3 : , at offset 23
near [Index: 11185 (Start: -1319115415-Stop: -1319115415) ='-', type<22> Line: 1226 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1226) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1228) : error 3 : , at offset 23
near [Index: 11209 (Start: -1319115339-Stop: -1319115339) ='-', type<22> Line: 1228 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1228) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1235) : error 3 : , at offset 24
near [Index: 11275 (Start: -1319115138-Stop: -1319115138) ='-', type<22> Line: 1235 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1235) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1238) : error 3 : , at offset 24
near [Index: 11307 (Start: -1319115033-Stop: -1319115033) ='-', type<22> Line: 1238 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1238) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1246) : error 3 : , at offset 24
near [Index: 11385 (Start: -1319114786-Stop: -1319114786) ='-', type<22> Line: 1246 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1249) : error 3 : , at offset 24
near [Index: 11417 (Start: -1319114682-Stop: -1319114682) ='-', type<22> Line: 1249 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1249) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1261) : error 3 : , at offset 23
near [Index: 11517 (Start: -1319114426-Stop: -1319114426) ='-', type<22> Line: 1261 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1261) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1289) : error 3 : , at offset 23
near [Index: 11789 (Start: -1319113634-Stop: -1319113634) ='-', type<22> Line: 1289 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1289) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1303) : error 3 : , at offset 23
near [Index: 11920 (Start: -1319113234-Stop: -1319113234) ='-', type<22> Line: 1303 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1303) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1427) : error 3 : , at offset 23
near [Index: 13002 (Start: -1319109910-Stop: -1319109910) ='-', type<22> Line: 1427 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1427) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1431) : error 3 : , at offset 23
near [Index: 13042 (Start: -1319109791-Stop: -1319109791) ='-', type<22> Line: 1431 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1431) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1433) : error 3 : , at offset 23
near [Index: 13066 (Start: -1319109714-Stop: -1319109714) ='-', type<22> Line: 1433 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1433) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1435) : error 3 : , at offset 23
near [Index: 13090 (Start: -1319109637-Stop: -1319109637) ='-', type<22> Line: 1435 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1435) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1439) : error 3 : , at offset 24
near [Index: 13130 (Start: -1319109517-Stop: -1319109517) ='-', type<22> Line: 1439 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1439) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1442) : error 3 : , at offset 24
near [Index: 13162 (Start: -1319109411-Stop: -1319109411) ='-', type<22> Line: 1442 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1442) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1456) : error 3 : , at offset 23
near [Index: 13283 (Start: -1319109063-Stop: -1319109063) ='-', type<22> Line: 1456 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1456) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1475) : error 3 : , at offset 23
near [Index: 13467 (Start: -1319108505-Stop: -1319108505) ='-', type<22> Line: 1475 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1475) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1590) : error 3 : , at offset 23
near [Index: 14472 (Start: -1319105419-Stop: -1319105419) ='-', type<22> Line: 1590 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1590) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1633) : error 3 : , at offset 24
near [Index: 14871 (Start: -1319104196-Stop: -1319104196) ='-', type<22> Line: 1633 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1633) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1666) : error 3 : , at offset 24
near [Index: 15180 (Start: -1319103266-Stop: -1319103266) ='-', type<22> Line: 1666 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1666) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1683) : error 3 : , at offset 24
near [Index: 15331 (Start: -1319102783-Stop: -1319102783) ='-', type<22> Line: 1683 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1683) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1697) : error 3 : , at offset 24
near [Index: 15452 (Start: -1319102398-Stop: -1319102398) ='-', type<22> Line: 1697 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1697) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1706) : error 3 : , at offset 23
near [Index: 15527 (Start: -1319102187-Stop: -1319102187) ='-', type<22> Line: 1706 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1706) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
Unknown event u82.T_sety0_23y0i6 when handling addSyncPart(T_sety0_23y7i6_l0,i0,u82.T_sety0_23y0i6)
Unknown event u20.T_sety_9y6i1 when handling addSyncPart(T_sety0_23y6i7_l2,i0,u20.T_sety_9y6i1)
Unknown event u75.T_ynei_15y0i6 when handling addSyncPart(T_ynei_15y7i6_l0,i0,u75.T_ynei_15y0i6)
Unknown event u20.T_yne0_4y6i1 when handling addSyncPart(T_ynei_15y6i7_l1,i0,u20.T_yne0_4y6i1)
Unknown event u75.T_forod_13i6 when handling addSyncPart(T_forod_13i6,i0,u75.T_forod_13i6)
Unknown event u38.T_forod_13i6 when handling addSyncPart(T_forod_13i6,i0,u38.T_forod_13i6)
Unknown event u5.T_setbi_5P-bi0i6 when handling addSyncPart(T_await_13j6i7_l2,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 u38.T_await_13j6i6 when handling addSyncPart(T_await_13j6i6,i0,u38.T_await_13j6i6)
Unknown event u5.T_fordo_12i6 when handling addSyncPart(T_fordo_12i6,i0,u5.T_fordo_12i6)
Unknown event u38.T_fordo_12i6 when handling addSyncPart(T_fordo_12i6,i0,u38.T_fordo_12i6)
Unknown event u11.T_xnei_10i1x6 when handling addSyncPart(T_xnei_10i7x6_l1,i0,u11.T_xnei_10i1x6)
Unknown event u20.T_xnei_10i6x0 when handling addSyncPart(T_xnei_10i6x7_l1,i0,u20.T_xnei_10i6x0)
Unknown event u20.T_sety_9y0i6 when handling addSyncPart(T_sety_9y7i6_l1,i0,u20.T_sety_9y0i6)
Unknown event u11.T_yeq0_4i6 when handling addSyncPart(T_yeq0_4i6_l1,i0,u11.T_yeq0_4i6)
Unknown event u20.T_yeq0_4i6 when handling addSyncPart(T_yeq0_4i6_l2,i0,u20.T_yeq0_4i6)
Unknown event u75.T_awaityi6 when handling addSyncPart(T_awaityi6_l0,i0,u75.T_awaityi6)
Unknown event u5.T_awaityi6 when handling addSyncPart(T_awaityi6_l2,i0,u5.T_awaityi6)
Unknown event u11.T_yne0_4y1i6 when handling addSyncPart(T_yne0_4y7i6_l1,i0,u11.T_yne0_4y1i6)
Unknown event u11.T_setx_3i1x6 when handling addSyncPart(T_setx_3i7x6_l1,i0,u11.T_setx_3i1x6)
Unknown event u11.T_setx_3i6x0 when handling addSyncPart(T_setx_3i6x7_l1,i0,u11.T_setx_3i6x0)
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
Unknown event u16.T_sety_9y7i1 when handling addSyncPart(T_sety0_23y7i7_l1,i0,u16.T_sety_9y7i1)
Unknown event u83.T_sety0_23y0i7 when handling addSyncPart(T_sety0_23y7i7_l2,i0,u83.T_sety0_23y0i7)
Unknown event u16.T_yne0_4y7i1 when handling addSyncPart(T_ynei_15y7i6_l1,i0,u16.T_yne0_4y7i1)
Unknown event u76.T_ynei_15y0i7 when handling addSyncPart(T_ynei_15y6i7_l0,i0,u76.T_ynei_15y0i7)
Unknown event u76.T_forod_13i7 when handling addSyncPart(T_forod_13i7,i0,u76.T_forod_13i7)
Unknown event u6.T_setbi_5P-bi0i7 when handling addSyncPart(T_await_13j7i7,i0,u6.T_setbi_5P-bi0i7)
Unknown event u6.T_setbi_5P-bi0i7 when handling addSyncPart(T_await_13j7i6_l2,i0,u6.T_setbi_5P-bi0i7)
Unknown event u6.T_fordo_12i7 when handling addSyncPart(T_fordo_12i7,i0,u6.T_fordo_12i7)
Unknown event u16.T_xnei_10i7x0 when handling addSyncPart(T_xnei_10i7x6_l0,i0,u16.T_xnei_10i7x0)
Unknown event u12.T_xnei_10i1x7 when handling addSyncPart(T_xnei_10i6x7_l0,i0,u12.T_xnei_10i1x7)
Unknown event u16.T_sety_9y0i7 when handling addSyncPart(T_sety_9y6i7_l0,i0,u16.T_sety_9y0i7)
Unknown event u12.T_yeq0_4i7 when handling addSyncPart(T_yeq0_4i7_l1,i0,u12.T_yeq0_4i7)
Unknown event u16.T_yeq0_4i7 when handling addSyncPart(T_yeq0_4i7_l2,i0,u16.T_yeq0_4i7)
Unknown event u6.T_awaityi7 when handling addSyncPart(T_awaityi7_l1,i0,u6.T_awaityi7)
Unknown event u76.T_awaityi7 when handling addSyncPart(T_awaityi7_l2,i0,u76.T_awaityi7)
Unknown event u12.T_yne0_4y1i7 when handling addSyncPart(T_yne0_4y6i7_l0,i0,u12.T_yne0_4y1i7)
Unknown event u12.T_setx_3i7x0 when handling addSyncPart(T_setx_3i7x6_l0,i0,u12.T_setx_3i7x0)
Unknown event u12.T_setx_3i1x7 when handling addSyncPart(T_setx_3i6x7_l0,i0,u12.T_setx_3i1x7)
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
Unknown event u80.T_sety0_23y0i2 when handling addSyncPart(T_sety0_23y7i2_l2,i0,u80.T_sety0_23y0i2)
Unknown event u14.T_sety_9y2i1 when handling addSyncPart(T_sety0_23y2i7_l1,i0,u14.T_sety_9y2i1)
Unknown event u72.T_ynei_15y0i2 when handling addSyncPart(T_ynei_15y7i2_l0,i0,u72.T_ynei_15y0i2)
Unknown event u14.T_yne0_4y2i1 when handling addSyncPart(T_ynei_15y2i7_l0,i0,u14.T_yne0_4y2i1)
Unknown event u50.T_forod_13i2 when handling addSyncPart(T_forod_13i2,i0,u50.T_forod_13i2)
Unknown event u72.T_forod_13i2 when handling addSyncPart(T_forod_13i2,i0,u72.T_forod_13i2)
Unknown event u1.T_setbi_5P-bi0i2 when handling addSyncPart(T_await_13j2i7_l1,i0,u1.T_setbi_5P-bi0i2)
Unknown event u1.T_setbi_5P-bi0i2 when handling addSyncPart(T_await_13j2i2,i0,u1.T_setbi_5P-bi0i2)
Unknown event u50.T_await_13j2i2 when handling addSyncPart(T_await_13j2i2,i0,u50.T_await_13j2i2)
Unknown event u1.T_fordo_12i2 when handling addSyncPart(T_fordo_12i2,i0,u1.T_fordo_12i2)
Unknown event u50.T_fordo_12i2 when handling addSyncPart(T_fordo_12i2,i0,u50.T_fordo_12i2)
Unknown event u8.T_xnei_10i1x2 when handling addSyncPart(T_xnei_10i7x2_l0,i0,u8.T_xnei_10i1x2)
Unknown event u14.T_xnei_10i2x0 when handling addSyncPart(T_xnei_10i2x7_l0,i0,u14.T_xnei_10i2x0)
Unknown event u14.T_sety_9y0i2 when handling addSyncPart(T_sety_9y7i2_l0,i0,u14.T_sety_9y0i2)
Unknown event u8.T_yeq0_4i2 when handling addSyncPart(T_yeq0_4i2_l1,i0,u8.T_yeq0_4i2)
Unknown event u14.T_yeq0_4i2 when handling addSyncPart(T_yeq0_4i2_l2,i0,u14.T_yeq0_4i2)
Unknown event u1.T_awaityi2 when handling addSyncPart(T_awaityi2_l1,i0,u1.T_awaityi2)
Unknown event u72.T_awaityi2 when handling addSyncPart(T_awaityi2_l2,i0,u72.T_awaityi2)
Unknown event u8.T_yne0_4y1i2 when handling addSyncPart(T_yne0_4y7i2_l0,i0,u8.T_yne0_4y1i2)
Unknown event u8.T_setx_3i1x2 when handling addSyncPart(T_setx_3i7x2_l0,i0,u8.T_setx_3i1x2)
Unknown event u8.T_setx_3i2x0 when handling addSyncPart(T_setx_3i2x7_l0,i0,u8.T_setx_3i2x0)
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace12915799990180003300.gal(1732) : error 3 : , at offset 24
near [Index: 15781 (Start: -1319101415-Stop: -1319101415) ='-', type<22> Line: 1732 LinePos:24]
: cannot match to any predicted input...
The parser returned 191 errors, parsing aborted
ITS-tools command line returned an error code 1
[2021-05-13 04:14:24] [INFO ] Applying decomposition
[2021-05-13 04:14:24] [INFO ] Flatten gal took : 27 ms
[2021-05-13 04:14:24] [INFO ] Decomposing Gal with order
[2021-05-13 04:14:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 04:14:24] [INFO ] Removed a total of 723 redundant transitions.
[2021-05-13 04:14:24] [INFO ] Flatten gal took : 60 ms
[2021-05-13 04:14:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 35 labels/synchronizations in 5 ms.
[2021-05-13 04:14:24] [INFO ] Time to serialize gal into /tmp/StateSpace17310299532080873205.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/StateSpace17310299532080873205.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/StateSpace17310299532080873205.gal -t CGAL --stats
/tmp/StateSpace17310299532080873205.gal(4) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(4) : error 3 : , at offset 23
near [Index: 18 (Start: 44497808-Stop: 44497808) ='-', type<22> Line: 4 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(4) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(7) : error 3 : , at offset 23
near [Index: 50 (Start: 44497904-Stop: 44497904) ='-', type<22> Line: 7 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(9) : error 3 : , at offset 23
near [Index: 74 (Start: 44497980-Stop: 44497980) ='-', type<22> Line: 9 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(9) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(15) : error 3 : , at offset 23
near [Index: 118 (Start: 44498112-Stop: 44498112) ='-', type<22> Line: 15 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(15) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(18) : error 3 : , at offset 23
near [Index: 146 (Start: 44498202-Stop: 44498202) ='-', type<22> Line: 18 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(18) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(20) : error 3 : , at offset 23
near [Index: 170 (Start: 44498278-Stop: 44498278) ='-', type<22> Line: 20 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(20) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(26) : error 3 : , at offset 23
near [Index: 218 (Start: 44498416-Stop: 44498416) ='-', type<22> Line: 26 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(26) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(29) : error 3 : , at offset 23
near [Index: 250 (Start: 44498512-Stop: 44498512) ='-', type<22> Line: 29 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(29) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(31) : error 3 : , at offset 23
near [Index: 274 (Start: 44498588-Stop: 44498588) ='-', type<22> Line: 31 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(31) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(37) : error 3 : , at offset 23
near [Index: 318 (Start: 44498720-Stop: 44498720) ='-', type<22> Line: 37 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(37) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(40) : error 3 : , at offset 23
near [Index: 346 (Start: 44498810-Stop: 44498810) ='-', type<22> Line: 40 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(40) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(42) : error 3 : , at offset 23
near [Index: 370 (Start: 44498886-Stop: 44498886) ='-', type<22> Line: 42 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(42) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(48) : error 3 : , at offset 23
near [Index: 418 (Start: 44499024-Stop: 44499024) ='-', type<22> Line: 48 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(48) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(51) : error 3 : , at offset 23
near [Index: 450 (Start: 44499120-Stop: 44499120) ='-', type<22> Line: 51 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(51) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(53) : error 3 : , at offset 23
near [Index: 474 (Start: 44499196-Stop: 44499196) ='-', type<22> Line: 53 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(53) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(59) : error 3 : , at offset 23
near [Index: 518 (Start: 44499328-Stop: 44499328) ='-', type<22> Line: 59 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(59) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(62) : error 3 : , at offset 23
near [Index: 546 (Start: 44499418-Stop: 44499418) ='-', type<22> Line: 62 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(62) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(64) : error 3 : , at offset 23
near [Index: 570 (Start: 44499494-Stop: 44499494) ='-', type<22> Line: 64 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(64) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(70) : error 3 : , at offset 23
near [Index: 618 (Start: 44499632-Stop: 44499632) ='-', type<22> Line: 70 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(70) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(73) : error 3 : , at offset 23
near [Index: 650 (Start: 44499728-Stop: 44499728) ='-', type<22> Line: 73 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(73) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(75) : error 3 : , at offset 23
near [Index: 674 (Start: 44499804-Stop: 44499804) ='-', type<22> Line: 75 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(75) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(81) : error 3 : , at offset 23
near [Index: 718 (Start: 44499936-Stop: 44499936) ='-', type<22> Line: 81 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(81) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(84) : error 3 : , at offset 23
near [Index: 746 (Start: 44500026-Stop: 44500026) ='-', type<22> Line: 84 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(84) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(86) : error 3 : , at offset 23
near [Index: 770 (Start: 44500102-Stop: 44500102) ='-', type<22> Line: 86 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(86) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(92) : error 3 : , at offset 23
near [Index: 818 (Start: 44500242-Stop: 44500242) ='-', type<22> Line: 92 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(92) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(95) : error 3 : , at offset 23
near [Index: 850 (Start: 44500340-Stop: 44500340) ='-', type<22> Line: 95 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(95) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(97) : error 3 : , at offset 23
near [Index: 874 (Start: 44500417-Stop: 44500417) ='-', type<22> Line: 97 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(97) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(103) : error 3 : , at offset 23
near [Index: 918 (Start: 44500552-Stop: 44500552) ='-', type<22> Line: 103 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(103) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(106) : error 3 : , at offset 23
near [Index: 946 (Start: 44500643-Stop: 44500643) ='-', type<22> Line: 106 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(106) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(108) : error 3 : , at offset 23
near [Index: 970 (Start: 44500720-Stop: 44500720) ='-', type<22> Line: 108 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(108) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(114) : error 3 : , at offset 23
near [Index: 1018 (Start: 44500862-Stop: 44500862) ='-', type<22> Line: 114 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(114) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(117) : error 3 : , at offset 23
near [Index: 1050 (Start: 44500960-Stop: 44500960) ='-', type<22> Line: 117 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(117) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(119) : error 3 : , at offset 23
near [Index: 1074 (Start: 44501037-Stop: 44501037) ='-', type<22> Line: 119 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(119) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(125) : error 3 : , at offset 23
near [Index: 1118 (Start: 44501172-Stop: 44501172) ='-', type<22> Line: 125 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(125) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(128) : error 3 : , at offset 23
near [Index: 1146 (Start: 44501263-Stop: 44501263) ='-', type<22> Line: 128 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(128) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(130) : error 3 : , at offset 23
near [Index: 1170 (Start: 44501340-Stop: 44501340) ='-', type<22> Line: 130 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(130) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(136) : error 3 : , at offset 23
near [Index: 1218 (Start: 44501482-Stop: 44501482) ='-', type<22> Line: 136 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(136) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(139) : error 3 : , at offset 23
near [Index: 1250 (Start: 44501580-Stop: 44501580) ='-', type<22> Line: 139 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(141) : error 3 : , at offset 23
near [Index: 1274 (Start: 44501657-Stop: 44501657) ='-', type<22> Line: 141 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(141) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(147) : error 3 : , at offset 23
near [Index: 1318 (Start: 44501792-Stop: 44501792) ='-', type<22> Line: 147 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(147) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(150) : error 3 : , at offset 23
near [Index: 1346 (Start: 44501883-Stop: 44501883) ='-', type<22> Line: 150 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(150) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(152) : error 3 : , at offset 23
near [Index: 1370 (Start: 44501960-Stop: 44501960) ='-', type<22> Line: 152 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(152) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(189) : error 3 : , at offset 23
near [Index: 1699 (Start: 44502833-Stop: 44502833) ='-', type<22> Line: 189 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(189) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(215) : error 3 : , at offset 23
near [Index: 1959 (Start: 44503610-Stop: 44503610) ='-', type<22> Line: 215 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(215) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(245) : error 3 : , at offset 24
near [Index: 2253 (Start: 44504521-Stop: 44504521) ='-', type<22> Line: 245 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(245) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(280) : error 3 : , at offset 24
near [Index: 2605 (Start: 44505634-Stop: 44505634) ='-', type<22> Line: 280 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(301) : error 3 : , at offset 23
near [Index: 2787 (Start: 44506115-Stop: 44506115) ='-', type<22> Line: 301 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(301) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(327) : error 3 : , at offset 23
near [Index: 3047 (Start: 44506892-Stop: 44506892) ='-', type<22> Line: 327 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(327) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(357) : error 3 : , at offset 24
near [Index: 3341 (Start: 44507803-Stop: 44507803) ='-', type<22> Line: 357 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(357) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(392) : error 3 : , at offset 24
near [Index: 3693 (Start: 44508916-Stop: 44508916) ='-', type<22> Line: 392 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(392) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(413) : error 3 : , at offset 23
near [Index: 3875 (Start: 44509397-Stop: 44509397) ='-', type<22> Line: 413 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(413) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(439) : error 3 : , at offset 23
near [Index: 4135 (Start: 44510174-Stop: 44510174) ='-', type<22> Line: 439 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(439) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(469) : error 3 : , at offset 24
near [Index: 4429 (Start: 44511086-Stop: 44511086) ='-', type<22> Line: 469 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(469) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(504) : error 3 : , at offset 24
near [Index: 4781 (Start: 44512200-Stop: 44512200) ='-', type<22> Line: 504 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(504) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(525) : error 3 : , at offset 23
near [Index: 4963 (Start: 44512682-Stop: 44512682) ='-', type<22> Line: 525 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(525) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(551) : error 3 : , at offset 23
near [Index: 5223 (Start: 44513459-Stop: 44513459) ='-', type<22> Line: 551 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(551) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(581) : error 3 : , at offset 24
near [Index: 5517 (Start: 44514370-Stop: 44514370) ='-', type<22> Line: 581 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(581) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(616) : error 3 : , at offset 24
near [Index: 5869 (Start: 44515483-Stop: 44515483) ='-', type<22> Line: 616 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(616) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(637) : error 3 : , at offset 23
near [Index: 6051 (Start: 44515964-Stop: 44515964) ='-', type<22> Line: 637 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(637) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(663) : error 3 : , at offset 23
near [Index: 6311 (Start: 44516741-Stop: 44516741) ='-', type<22> Line: 663 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(663) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(693) : error 3 : , at offset 24
near [Index: 6605 (Start: 44517653-Stop: 44517653) ='-', type<22> Line: 693 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(693) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(728) : error 3 : , at offset 24
near [Index: 6957 (Start: 44518767-Stop: 44518767) ='-', type<22> Line: 728 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(728) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(749) : error 3 : , at offset 23
near [Index: 7139 (Start: 44519249-Stop: 44519249) ='-', type<22> Line: 749 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(749) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(775) : error 3 : , at offset 23
near [Index: 7399 (Start: 44520026-Stop: 44520026) ='-', type<22> Line: 775 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(775) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(805) : error 3 : , at offset 24
near [Index: 7693 (Start: 44520938-Stop: 44520938) ='-', type<22> Line: 805 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(805) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(840) : error 3 : , at offset 24
near [Index: 8045 (Start: 44522052-Stop: 44522052) ='-', type<22> Line: 840 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(840) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(861) : error 3 : , at offset 23
near [Index: 8227 (Start: 44522534-Stop: 44522534) ='-', type<22> Line: 861 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(861) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(887) : error 3 : , at offset 23
near [Index: 8487 (Start: 44523311-Stop: 44523311) ='-', type<22> Line: 887 LinePos:23]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(917) : error 3 : , at offset 24
near [Index: 8781 (Start: 44524223-Stop: 44524223) ='-', type<22> Line: 917 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(917) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/StateSpace17310299532080873205.gal(952) : error 3 : , at offset 24
near [Index: 9133 (Start: 44525337-Stop: 44525337) ='-', type<22> Line: 952 LinePos:24]
: cannot match to any predicted input...
/tmp/StateSpace17310299532080873205.gal(952) : error 3 : , at offset 24
near [Index: 9133 (Start: 44525337-Stop: 44525337) ='-', type<22> Line: 952 LinePos:24]
: cannot match to any predicted input...
The parser returned 141 errors, parsing aborted
ITS-tools command line returned an error code 1
[2021-05-13 04:14:24] [INFO ] Flatten gal took : 27 ms
[2021-05-13 04:14:24] [INFO ] Input system was already deterministic with 462 transitions.
[2021-05-13 04:14:24] [INFO ] Transformed 219 places.
[2021-05-13 04:14:24] [INFO ] Transformed 462 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:14:24] [INFO ] Time to serialize gal into /tmp/StateSpace8045520399781665185.gal : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/StateSpace8045520399781665185.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/StateSpace8045520399781665185.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 1620880471043
--------------------
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-7"
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-7, 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-162075407200632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-7.tgz
mv LamportFastMutEx-COL-7 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 ;