About the Execution of 2021-gold for LamportFastMutEx-COL-6
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5938.779 | 3600000.00 | 13383151.00 | 3562.90 | TTTFFTTTF?TTTFTT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r143-tall-165271830300141.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is LamportFastMutEx-COL-6, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r143-tall-165271830300141
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 7.1K Apr 29 19:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Apr 29 19:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Apr 29 19:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Apr 29 19:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 10 09:34 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.3K May 9 08:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 9 08:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 9 08:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 9 08:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Apr 29 19:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 78K Apr 29 19:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Apr 29 19:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Apr 29 19:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 9 08:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 9 08:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 10 09:34 equiv_pt
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 5 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 42K May 10 09:34 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-00
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-01
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-02
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-03
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-04
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-05
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-06
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-07
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-08
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-09
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-10
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-11
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-12
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-13
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-14
FORMULA_NAME LamportFastMutEx-COL-6-ReachabilityFireability-15
=== Now, execution of the tool begins
BK_START 1655069031076
Running Version 0
[2022-06-12 21:23:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-12 21:23:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-12 21:23:52] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2022-06-12 21:23:52] [WARNING] Using fallBack plugin, rng conformance not checked
[2022-06-12 21:23:53] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 534 ms
[2022-06-12 21:23:53] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 217 PT places and 525.0 transition bindings in 18 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 10 ms.
Working with output stream class java.io.PrintStream
[2022-06-12 21:23:53] [INFO ] Built PT skeleton of HLPN with 18 places and 17 transitions in 4 ms.
[2022-06-12 21:23:53] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_15430990791052909193.dot
Reduce places removed 3 places and 0 transitions.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 1 ms. (steps per millisecond=0 )
[2022-06-12 21:23:53] [INFO ] Flatten gal took : 15 ms
[2022-06-12 21:23:53] [INFO ] Flatten gal took : 3 ms
[2022-06-12 21:23:53] [INFO ] Unfolded HLPN to a Petri net with 217 places and 420 transitions in 12 ms.
[2022-06-12 21:23:53] [INFO ] Unfolded HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1001_1280627780558404227.dot
[2022-06-12 21:23:53] [INFO ] Initial state test concluded for 2 properties.
Deduced a syphon composed of 41 places in 1 ms
Reduce places removed 41 places and 66 transitions.
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 2 resets, run finished after 54 ms. (steps per millisecond=185 ) properties (out of 14) seen :13
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-14 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-12 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-06 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-01 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-6-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=84 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2022-06-12 21:23:53] [INFO ] Flow matrix only has 264 transitions (discarded 90 similar events)
// Phase 1: matrix 264 rows 176 cols
[2022-06-12 21:23:53] [INFO ] Computed 50 place invariants in 18 ms
[2022-06-12 21:23:53] [INFO ] [Real]Absence check using 50 positive place invariants in 19 ms returned sat
[2022-06-12 21:23:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:23:53] [INFO ] [Real]Absence check using state equation in 81 ms returned sat
[2022-06-12 21:23:53] [INFO ] State equation strengthened by 84 read => feed constraints.
[2022-06-12 21:23:53] [INFO ] [Real]Added 84 Read/Feed constraints in 13 ms returned sat
[2022-06-12 21:23:53] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:23:53] [INFO ] [Nat]Absence check using 50 positive place invariants in 18 ms returned sat
[2022-06-12 21:23:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:23:54] [INFO ] [Nat]Absence check using state equation in 82 ms returned sat
[2022-06-12 21:23:54] [INFO ] [Nat]Added 84 Read/Feed constraints in 19 ms returned sat
[2022-06-12 21:23:54] [INFO ] Deduced a trap composed of 9 places in 51 ms of which 2 ms to minimize.
[2022-06-12 21:23:54] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 90 ms
[2022-06-12 21:23:54] [INFO ] Computed and/alt/rep : 234/1218/234 causal constraints (skipped 24 transitions) in 37 ms.
[2022-06-12 21:23:55] [INFO ] Deduced a trap composed of 34 places in 65 ms of which 1 ms to minimize.
[2022-06-12 21:23:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 116 ms
[2022-06-12 21:23:55] [INFO ] Added : 221 causal constraints over 45 iterations in 1380 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 10 ms.
Incomplete Parikh walk after 57300 steps, including 970 resets, run finished after 158 ms. (steps per millisecond=362 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 79 out of 176 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 176/176 places, 354/354 transitions.
Applied a total of 0 rules in 23 ms. Remains 176 /176 variables (removed 0) and now considering 354/354 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 176/176 places, 354/354 transitions.
[2022-06-12 21:23:55] [INFO ] Flatten gal took : 38 ms
[2022-06-12 21:23:55] [INFO ] Flatten gal took : 27 ms
[2022-06-12 21:23:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6357228487977886627.gal : 12 ms
[2022-06-12 21:23:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1485556000784811997.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality6357228487977886627.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1485556000784811997.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality6357228487977886627.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1485556000784811997.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality6357228487977886627.gal(179) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(179) : error 3 : , at offset 23
near [Index: 1593 (Start: 36436633-Stop: 36436633) ='-', type<22> Line: 179 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(179) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(185) : error 3 : , at offset 23
near [Index: 1653 (Start: 36436795-Stop: 36436795) ='-', type<22> Line: 185 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(185) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(191) : error 3 : , at offset 23
near [Index: 1713 (Start: 36436957-Stop: 36436957) ='-', type<22> Line: 191 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(191) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(197) : error 3 : , at offset 23
near [Index: 1773 (Start: 36437119-Stop: 36437119) ='-', type<22> Line: 197 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(197) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(203) : error 3 : , at offset 23
near [Index: 1833 (Start: 36437281-Stop: 36437281) ='-', type<22> Line: 203 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(203) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(209) : error 3 : , at offset 23
near [Index: 1893 (Start: 36437446-Stop: 36437446) ='-', type<22> Line: 209 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(209) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(215) : error 3 : , at offset 23
near [Index: 1953 (Start: 36437611-Stop: 36437611) ='-', type<22> Line: 215 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(215) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(219) : error 3 : , at offset 23
near [Index: 1997 (Start: 36437733-Stop: 36437733) ='-', type<22> Line: 219 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(219) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(223) : error 3 : , at offset 23
near [Index: 2041 (Start: 36437855-Stop: 36437855) ='-', type<22> Line: 223 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(223) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(227) : error 3 : , at offset 23
near [Index: 2085 (Start: 36437977-Stop: 36437977) ='-', type<22> Line: 227 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(227) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(231) : error 3 : , at offset 23
near [Index: 2129 (Start: 36438099-Stop: 36438099) ='-', type<22> Line: 231 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(231) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(235) : error 3 : , at offset 23
near [Index: 2173 (Start: 36438222-Stop: 36438222) ='-', type<22> Line: 235 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(235) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(623) : error 3 : , at offset 23
near [Index: 6069 (Start: 36448569-Stop: 36448569) ='-', type<22> Line: 623 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(623) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(627) : error 3 : , at offset 23
near [Index: 6113 (Start: 36448691-Stop: 36448691) ='-', type<22> Line: 627 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(627) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(631) : error 3 : , at offset 23
ITS-tools command line returned an error code 1
near [Index: 6157 (Start: 36448813-Stop: 36448813) ='-', type<22> Line: 631 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(631) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(635) : error 3 : , at offset 23
near [Index: 6201 (Start: 36448935-Stop: 36448935) ='-', type<22> Line: 635 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(635) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(639) : error 3 : , at offset 23
near [Index: 6245 (Start: 36449057-Stop: 36449057) ='-', type<22> Line: 639 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(639) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(643) : error 3 : , at offset 23
near [Index: 6289 (Start: 36449180-Stop: 36449180) ='-', type<22> Line: 643 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(643) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(647) : error 3 : , at offset 23
near [Index: 6333 (Start: 36449303-Stop: 36449303) ='-', type<22> Line: 647 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(647) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(653) : error 3 : , at offset 23
near [Index: 6393 (Start: 36449465-Stop: 36449465) ='-', type<22> Line: 653 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(653) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(659) : error 3 : , at offset 23
near [Index: 6453 (Start: 36449627-Stop: 36449627) ='-', type<22> Line: 659 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(659) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(665) : error 3 : , at offset 23
near [Index: 6513 (Start: 36449789-Stop: 36449789) ='-', type<22> Line: 665 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(665) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(671) : error 3 : , at offset 23
near [Index: 6573 (Start: 36449951-Stop: 36449951) ='-', type<22> Line: 671 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(671) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(677) : error 3 : , at offset 23
near [Index: 6633 (Start: 36450116-Stop: 36450116) ='-', type<22> Line: 677 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(677) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1115) : error 3 : , at offset 24
near [Index: 11049 (Start: 36462042-Stop: 36462042) ='-', type<22> Line: 1115 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1115) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1119) : error 3 : , at offset 24
near [Index: 11093 (Start: 36462169-Stop: 36462169) ='-', type<22> Line: 1119 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1119) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1123) : error 3 : , at offset 24
near [Index: 11137 (Start: 36462296-Stop: 36462296) ='-', type<22> Line: 1123 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1123) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1127) : error 3 : , at offset 24
near [Index: 11181 (Start: 36462423-Stop: 36462423) ='-', type<22> Line: 1127 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1127) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1131) : error 3 : , at offset 24
near [Index: 11225 (Start: 36462550-Stop: 36462550) ='-', type<22> Line: 1131 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1131) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1135) : error 3 : , at offset 24
near [Index: 11269 (Start: 36462678-Stop: 36462678) ='-', type<22> Line: 1135 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1135) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1139) : error 3 : , at offset 24
near [Index: 11313 (Start: 36462806-Stop: 36462806) ='-', type<22> Line: 1139 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1145) : error 3 : , at offset 24
near [Index: 11373 (Start: 36462973-Stop: 36462973) ='-', type<22> Line: 1145 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1145) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1151) : error 3 : , at offset 24
near [Index: 11433 (Start: 36463140-Stop: 36463140) ='-', type<22> Line: 1151 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1151) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1157) : error 3 : , at offset 24
near [Index: 11493 (Start: 36463307-Stop: 36463307) ='-', type<22> Line: 1157 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1157) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1163) : error 3 : , at offset 24
near [Index: 11553 (Start: 36463474-Stop: 36463474) ='-', type<22> Line: 1163 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1169) : error 3 : , at offset 24
near [Index: 11613 (Start: 36463644-Stop: 36463644) ='-', type<22> Line: 1169 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1871) : error 3 : , at offset 24
near [Index: 19101 (Start: 36484124-Stop: 36484124) ='-', type<22> Line: 1871 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1871) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1875) : error 3 : , at offset 24
near [Index: 19145 (Start: 36484250-Stop: 36484250) ='-', type<22> Line: 1875 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1875) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1879) : error 3 : , at offset 24
near [Index: 19189 (Start: 36484376-Stop: 36484376) ='-', type<22> Line: 1879 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1879) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1883) : error 3 : , at offset 24
near [Index: 19233 (Start: 36484502-Stop: 36484502) ='-', type<22> Line: 1883 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1883) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1887) : error 3 : , at offset 24
near [Index: 19277 (Start: 36484628-Stop: 36484628) ='-', type<22> Line: 1887 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1891) : error 3 : , at offset 24
near [Index: 19321 (Start: 36484755-Stop: 36484755) ='-', type<22> Line: 1891 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1891) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1895) : error 3 : , at offset 24
near [Index: 19365 (Start: 36484882-Stop: 36484882) ='-', type<22> Line: 1895 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1895) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1901) : error 3 : , at offset 24
near [Index: 19425 (Start: 36485048-Stop: 36485048) ='-', type<22> Line: 1901 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1901) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1907) : error 3 : , at offset 24
near [Index: 19485 (Start: 36485214-Stop: 36485214) ='-', type<22> Line: 1907 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1907) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1913) : error 3 : , at offset 24
near [Index: 19545 (Start: 36485380-Stop: 36485380) ='-', type<22> Line: 1913 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1913) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1919) : error 3 : , at offset 24
near [Index: 19605 (Start: 36485546-Stop: 36485546) ='-', type<22> Line: 1919 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6357228487977886627.gal(1919) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6357228487977886627.gal(1925) : error 3 : , at offset 24
near [Index: 19665 (Start: 36485715-Stop: 36485715) ='-', type<22> Line: 1925 LinePos:24]
: cannot match to any predicted input...
The parser returned 96 errors, parsing aborted
[2022-06-12 21:23:55] [INFO ] Flatten gal took : 28 ms
[2022-06-12 21:23:55] [INFO ] Applying decomposition
[2022-06-12 21:23:55] [INFO ] Flatten gal took : 25 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/graph3925957633875933097.txt, -o, /tmp/graph3925957633875933097.bin, -w, /tmp/graph3925957633875933097.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/graph3925957633875933097.bin, -l, -1, -v, -w, /tmp/graph3925957633875933097.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 21:23:56] [INFO ] Decomposing Gal with order
[2022-06-12 21:23:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 21:23:56] [INFO ] Removed a total of 527 redundant transitions.
[2022-06-12 21:23:56] [INFO ] Flatten gal took : 60 ms
[2022-06-12 21:23:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 64 labels/synchronizations in 15 ms.
[2022-06-12 21:23:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17067245207522610706.gal : 8 ms
[2022-06-12 21:23:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9099765712489721034.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17067245207522610706.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9099765712489721034.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality17067245207522610706.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9099765712489721034.prop --nowitness
/tmp/ReachabilityCardinality17067245207522610706.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(7) : error 3 : , at offset 23
near [Index: 45 (Start: 22424679-Stop: 22424679) ='-', type<22> Line: 7 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(12) : error 3 : , at offset 23
near [Index: 101 (Start: 22424841-Stop: 22424841) ='-', type<22> Line: 12 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(12) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(15) : error 3 : , at offset 23
near [Index: 141 (Start: 22424963-Stop: 22424963) ='-', type<22> Line: 15 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(15) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(17) : error 3 : , at offset 23
near [Index: 165 (Start: 22425039-Stop: 22425039) ='-', type<22> Line: 17 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(17) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(24) : error 3 : , at offset 24
near [Index: 231 (Start: 22425240-Stop: 22425240) ='-', type<22> Line: 24 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(24) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(27) : error 3 : , at offset 24
near [Index: 263 (Start: 22425345-Stop: 22425345) ='-', type<22> Line: 27 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(27) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(35) : error 3 : , at offset 24
near [Index: 341 (Start: 22425592-Stop: 22425592) ='-', type<22> Line: 35 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(35) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(38) : error 3 : , at offset 24
near [Index: 373 (Start: 22425696-Stop: 22425696) ='-', type<22> Line: 38 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(38) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(49) : error 3 : , at offset 23
near [Index: 464 (Start: 22425937-Stop: 22425937) ='-', type<22> Line: 49 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(49) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(68) : error 3 : , at offset 23
near [Index: 648 (Start: 22426495-Stop: 22426495) ='-', type<22> Line: 68 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(68) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(103) : error 3 : , at offset 24
near [Index: 979 (Start: 22427486-Stop: 22427486) ='-', type<22> Line: 103 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(103) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(127) : error 3 : , at offset 23
near [Index: 1185 (Start: 22428122-Stop: 22428122) ='-', type<22> Line: 127 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(127) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(154) : error 3 : , at offset 24
near [Index: 1426 (Start: 22428898-Stop: 22428898) ='-', type<22> Line: 154 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(154) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(238) : error 3 : , at offset 23
near [Index: 2159 (Start: 22431130-Stop: 22431130) ='-', type<22> Line: 238 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(238) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(243) : error 3 : , at offset 23
near [Index: 2215 (Start: 22431292-Stop: 22431292) ='-', type<22> Line: 243 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(243) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(246) : error 3 : , at offset 23
near [Index: 2255 (Start: 22431414-Stop: 22431414) ='-', type<22> Line: 246 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
ITS-tools command line returned an error code 1
/tmp/ReachabilityCardinality17067245207522610706.gal(248) : error 3 : , at offset 23
near [Index: 2279 (Start: 22431490-Stop: 22431490) ='-', type<22> Line: 248 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(248) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(255) : error 3 : , at offset 24
near [Index: 2345 (Start: 22431691-Stop: 22431691) ='-', type<22> Line: 255 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(255) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(258) : error 3 : , at offset 24
near [Index: 2377 (Start: 22431796-Stop: 22431796) ='-', type<22> Line: 258 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(266) : error 3 : , at offset 24
near [Index: 2455 (Start: 22432043-Stop: 22432043) ='-', type<22> Line: 266 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(266) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(269) : error 3 : , at offset 24
near [Index: 2487 (Start: 22432147-Stop: 22432147) ='-', type<22> Line: 269 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(280) : error 3 : , at offset 23
near [Index: 2578 (Start: 22432388-Stop: 22432388) ='-', type<22> Line: 280 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(299) : error 3 : , at offset 23
near [Index: 2762 (Start: 22432946-Stop: 22432946) ='-', type<22> Line: 299 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(299) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(334) : error 3 : , at offset 24
near [Index: 3093 (Start: 22433937-Stop: 22433937) ='-', type<22> Line: 334 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(334) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(358) : error 3 : , at offset 23
near [Index: 3299 (Start: 22434573-Stop: 22434573) ='-', type<22> Line: 358 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(358) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(385) : error 3 : , at offset 24
near [Index: 3540 (Start: 22435349-Stop: 22435349) ='-', type<22> Line: 385 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(385) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(469) : error 3 : , at offset 23
near [Index: 4273 (Start: 22437581-Stop: 22437581) ='-', type<22> Line: 469 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(469) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(474) : error 3 : , at offset 23
near [Index: 4329 (Start: 22437743-Stop: 22437743) ='-', type<22> Line: 474 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(474) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(477) : error 3 : , at offset 23
near [Index: 4369 (Start: 22437865-Stop: 22437865) ='-', type<22> Line: 477 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(477) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(479) : error 3 : , at offset 23
near [Index: 4393 (Start: 22437941-Stop: 22437941) ='-', type<22> Line: 479 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(479) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(486) : error 3 : , at offset 24
near [Index: 4459 (Start: 22438142-Stop: 22438142) ='-', type<22> Line: 486 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(486) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(489) : error 3 : , at offset 24
near [Index: 4491 (Start: 22438247-Stop: 22438247) ='-', type<22> Line: 489 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(489) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(497) : error 3 : , at offset 24
near [Index: 4569 (Start: 22438494-Stop: 22438494) ='-', type<22> Line: 497 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(497) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(500) : error 3 : , at offset 24
near [Index: 4601 (Start: 22438598-Stop: 22438598) ='-', type<22> Line: 500 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(500) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(511) : error 3 : , at offset 23
near [Index: 4692 (Start: 22438839-Stop: 22438839) ='-', type<22> Line: 511 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(511) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(530) : error 3 : , at offset 23
near [Index: 4876 (Start: 22439397-Stop: 22439397) ='-', type<22> Line: 530 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(530) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(565) : error 3 : , at offset 24
near [Index: 5207 (Start: 22440388-Stop: 22440388) ='-', type<22> Line: 565 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(565) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(589) : error 3 : , at offset 23
near [Index: 5413 (Start: 22441024-Stop: 22441024) ='-', type<22> Line: 589 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(589) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(616) : error 3 : , at offset 24
near [Index: 5654 (Start: 22441800-Stop: 22441800) ='-', type<22> Line: 616 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(616) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(699) : error 3 : , at offset 23
near [Index: 6378 (Start: 22444011-Stop: 22444011) ='-', type<22> Line: 699 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(699) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(703) : error 3 : , at offset 23
near [Index: 6418 (Start: 22444130-Stop: 22444130) ='-', type<22> Line: 703 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(703) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(705) : error 3 : , at offset 23
near [Index: 6442 (Start: 22444207-Stop: 22444207) ='-', type<22> Line: 705 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(705) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(707) : error 3 : , at offset 23
near [Index: 6466 (Start: 22444284-Stop: 22444284) ='-', type<22> Line: 707 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(707) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(711) : error 3 : , at offset 24
near [Index: 6506 (Start: 22444404-Stop: 22444404) ='-', type<22> Line: 711 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(711) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(714) : error 3 : , at offset 24
near [Index: 6538 (Start: 22444510-Stop: 22444510) ='-', type<22> Line: 714 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(714) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(728) : error 3 : , at offset 23
near [Index: 6659 (Start: 22444858-Stop: 22444858) ='-', type<22> Line: 728 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(728) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(747) : error 3 : , at offset 23
near [Index: 6843 (Start: 22445416-Stop: 22445416) ='-', type<22> Line: 747 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(747) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(773) : error 3 : , at offset 23
near [Index: 7071 (Start: 22446113-Stop: 22446113) ='-', type<22> Line: 773 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(773) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(870) : error 3 : , at offset 23
near [Index: 7924 (Start: 22448736-Stop: 22448736) ='-', type<22> Line: 870 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(870) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(875) : error 3 : , at offset 23
near [Index: 7980 (Start: 22448898-Stop: 22448898) ='-', type<22> Line: 875 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(875) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(878) : error 3 : , at offset 23
near [Index: 8020 (Start: 22449020-Stop: 22449020) ='-', type<22> Line: 878 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(878) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(880) : error 3 : , at offset 23
near [Index: 8044 (Start: 22449096-Stop: 22449096) ='-', type<22> Line: 880 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(880) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(887) : error 3 : , at offset 24
near [Index: 8110 (Start: 22449297-Stop: 22449297) ='-', type<22> Line: 887 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(890) : error 3 : , at offset 24
near [Index: 8142 (Start: 22449402-Stop: 22449402) ='-', type<22> Line: 890 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(890) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(898) : error 3 : , at offset 24
near [Index: 8220 (Start: 22449649-Stop: 22449649) ='-', type<22> Line: 898 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(898) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(901) : error 3 : , at offset 24
near [Index: 8252 (Start: 22449753-Stop: 22449753) ='-', type<22> Line: 901 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(901) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(913) : error 3 : , at offset 23
near [Index: 8352 (Start: 22450009-Stop: 22450009) ='-', type<22> Line: 913 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(913) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(941) : error 3 : , at offset 23
near [Index: 8624 (Start: 22450801-Stop: 22450801) ='-', type<22> Line: 941 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(941) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(978) : error 3 : , at offset 24
near [Index: 8977 (Start: 22451860-Stop: 22451860) ='-', type<22> Line: 978 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(978) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(988) : error 3 : , at offset 23
near [Index: 9064 (Start: 22452131-Stop: 22452131) ='-', type<22> Line: 988 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(988) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1015) : error 3 : , at offset 24
near [Index: 9305 (Start: 22452907-Stop: 22452907) ='-', type<22> Line: 1015 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1015) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1113) : error 3 : , at offset 23
near [Index: 10157 (Start: 22455490-Stop: 22455490) ='-', type<22> Line: 1113 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1113) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1118) : error 3 : , at offset 23
near [Index: 10213 (Start: 22455655-Stop: 22455655) ='-', type<22> Line: 1118 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1118) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1121) : error 3 : , at offset 23
near [Index: 10253 (Start: 22455778-Stop: 22455778) ='-', type<22> Line: 1121 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1121) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1123) : error 3 : , at offset 23
near [Index: 10277 (Start: 22455855-Stop: 22455855) ='-', type<22> Line: 1123 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1123) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1130) : error 3 : , at offset 24
near [Index: 10343 (Start: 22456059-Stop: 22456059) ='-', type<22> Line: 1130 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1130) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1133) : error 3 : , at offset 24
near [Index: 10375 (Start: 22456165-Stop: 22456165) ='-', type<22> Line: 1133 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1133) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1141) : error 3 : , at offset 24
near [Index: 10453 (Start: 22456415-Stop: 22456415) ='-', type<22> Line: 1141 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1141) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1144) : error 3 : , at offset 24
near [Index: 10485 (Start: 22456520-Stop: 22456520) ='-', type<22> Line: 1144 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1144) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1155) : error 3 : , at offset 23
near [Index: 10576 (Start: 22456765-Stop: 22456765) ='-', type<22> Line: 1155 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1155) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1174) : error 3 : , at offset 23
near [Index: 10760 (Start: 22457323-Stop: 22457323) ='-', type<22> Line: 1174 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1174) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1200) : error 3 : , at offset 23
near [Index: 10988 (Start: 22458020-Stop: 22458020) ='-', type<22> Line: 1200 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1200) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1318) : error 3 : , at offset 24
near [Index: 12045 (Start: 22461267-Stop: 22461267) ='-', type<22> Line: 1318 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1318) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1351) : error 3 : , at offset 24
near [Index: 12354 (Start: 22462197-Stop: 22462197) ='-', type<22> Line: 1351 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1351) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1363) : error 3 : , at offset 23
near [Index: 12459 (Start: 22462506-Stop: 22462506) ='-', type<22> Line: 1363 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1363) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1389) : error 3 : , at offset 24
near [Index: 12713 (Start: 22463278-Stop: 22463278) ='-', type<22> Line: 1389 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1389) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
Unknown event u13.T_sety_9i1y2 when handling addSyncPart(T_sety0_23i6y2_l1,i0,u13.T_sety_9i1y2)
Unknown event u63.T_sety0_23i2y0 when handling addSyncPart(T_sety0_23i2y6_l1,i0,u63.T_sety0_23i2y0)
Unknown event u13.T_yne0_4i1y2 when handling addSyncPart(T_ynei_15i6y2_l0,i0,u13.T_yne0_4i1y2)
Unknown event u55.T_ynei_15i2y0 when handling addSyncPart(T_ynei_15i2y6_l0,i0,u55.T_ynei_15i2y0)
Unknown event u22.T_forod_13i2 when handling addSyncPart(T_forod_13i2,i0,u22.T_forod_13i2)
Unknown event u55.T_forod_13i2 when handling addSyncPart(T_forod_13i2,i0,u55.T_forod_13i2)
Unknown event u1.T_setbi_5P-bi0i2 when handling addSyncPart(T_await_13i6j2_l0,i0,u1.T_setbi_5P-bi0i2)
Unknown event u1.T_setbi_5P-bi0i2 when handling addSyncPart(T_await_13i2j2,i0,u1.T_setbi_5P-bi0i2)
Unknown event u22.T_await_13i2j2 when handling addSyncPart(T_await_13i2j2,i0,u22.T_await_13i2j2)
Unknown event u1.T_fordo_12i2 when handling addSyncPart(T_fordo_12i2,i0,u1.T_fordo_12i2)
Unknown event u22.T_fordo_12i2 when handling addSyncPart(T_fordo_12i2,i0,u22.T_fordo_12i2)
Unknown event u7.T_xnei_10i1x2 when handling addSyncPart(T_xnei_10i6x2_l0,i0,u7.T_xnei_10i1x2)
Unknown event u13.T_xnei_10i2x0 when handling addSyncPart(T_xnei_10i2x6_l0,i0,u13.T_xnei_10i2x0)
Unknown event u13.T_sety_9i2y0 when handling addSyncPart(T_sety_9i2y6_l0,i0,u13.T_sety_9i2y0)
Unknown event u7.T_yeq0_4i2 when handling addSyncPart(T_yeq0_4i2_l1,i0,u7.T_yeq0_4i2)
Unknown event u13.T_yeq0_4i2 when handling addSyncPart(T_yeq0_4i2_l2,i0,u13.T_yeq0_4i2)
Unknown event u1.T_awaityi2 when handling addSyncPart(T_awaityi2_l0,i0,u1.T_awaityi2)
Unknown event u55.T_awaityi2 when handling addSyncPart(T_awaityi2_l2,i0,u55.T_awaityi2)
Unknown event u7.T_yne0_4i2y1 when handling addSyncPart(T_yne0_4i2y6_l0,i0,u7.T_yne0_4i2y1)
Unknown event u7.T_setx_3i1x2 when handling addSyncPart(T_setx_3i6x2_l0,i0,u7.T_setx_3i1x2)
Unknown event u7.T_setx_3i2x0 when handling addSyncPart(T_setx_3i2x6_l0,i0,u7.T_setx_3i2x0)
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
Unknown event u16.T_sety_9i1y3 when handling addSyncPart(T_sety0_23i6y3_l1,i0,u16.T_sety_9i1y3)
Unknown event u60.T_sety0_23i3y0 when handling addSyncPart(T_sety0_23i3y6_l0,i0,u60.T_sety0_23i3y0)
Unknown event u16.T_yne0_4i1y3 when handling addSyncPart(T_ynei_15i6y3_l1,i0,u16.T_yne0_4i1y3)
Unknown event u57.T_ynei_15i3y0 when handling addSyncPart(T_ynei_15i3y6_l1,i0,u57.T_ynei_15i3y0)
Unknown event u42.T_forod_13i3 when handling addSyncPart(T_forod_13i3,i0,u42.T_forod_13i3)
Unknown event u57.T_forod_13i3 when handling addSyncPart(T_forod_13i3,i0,u57.T_forod_13i3)
Unknown event u2.T_setbi_5P-bi0i3 when handling addSyncPart(T_await_13i6j3_l2,i0,u2.T_setbi_5P-bi0i3)
Unknown event u2.T_setbi_5P-bi0i3 when handling addSyncPart(T_await_13i3j3,i0,u2.T_setbi_5P-bi0i3)
Unknown event u42.T_await_13i3j3 when handling addSyncPart(T_await_13i3j3,i0,u42.T_await_13i3j3)
Unknown event u2.T_fordo_12i3 when handling addSyncPart(T_fordo_12i3,i0,u2.T_fordo_12i3)
Unknown event u42.T_fordo_12i3 when handling addSyncPart(T_fordo_12i3,i0,u42.T_fordo_12i3)
Unknown event u8.T_xnei_10i1x3 when handling addSyncPart(T_xnei_10i6x3_l0,i0,u8.T_xnei_10i1x3)
Unknown event u16.T_xnei_10i3x0 when handling addSyncPart(T_xnei_10i3x6_l1,i0,u16.T_xnei_10i3x0)
Unknown event u16.T_sety_9i3y0 when handling addSyncPart(T_sety_9i3y6_l0,i0,u16.T_sety_9i3y0)
Unknown event u8.T_yeq0_4i3 when handling addSyncPart(T_yeq0_4i3_l1,i0,u8.T_yeq0_4i3)
Unknown event u16.T_yeq0_4i3 when handling addSyncPart(T_yeq0_4i3_l2,i0,u16.T_yeq0_4i3)
Unknown event u2.T_awaityi3 when handling addSyncPart(T_awaityi3_l1,i0,u2.T_awaityi3)
Unknown event u57.T_awaityi3 when handling addSyncPart(T_awaityi3_l2,i0,u57.T_awaityi3)
Unknown event u8.T_yne0_4i3y1 when handling addSyncPart(T_yne0_4i3y6_l0,i0,u8.T_yne0_4i3y1)
Unknown event u8.T_setx_3i1x3 when handling addSyncPart(T_setx_3i6x3_l1,i0,u8.T_setx_3i1x3)
Unknown event u8.T_setx_3i3x0 when handling addSyncPart(T_setx_3i3x6_l1,i0,u8.T_setx_3i3x0)
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
Unknown event u14.T_sety_9i1y4 when handling addSyncPart(T_sety0_23i6y4_l1,i0,u14.T_sety_9i1y4)
Unknown event u64.T_sety0_23i4y0 when handling addSyncPart(T_sety0_23i4y6_l1,i0,u64.T_sety0_23i4y0)
Unknown event u14.T_yne0_4i1y4 when handling addSyncPart(T_ynei_15i6y4_l1,i0,u14.T_yne0_4i1y4)
Unknown event u58.T_ynei_15i4y0 when handling addSyncPart(T_ynei_15i4y6_l0,i0,u58.T_ynei_15i4y0)
Unknown event u47.T_forod_13i4 when handling addSyncPart(T_forod_13i4,i0,u47.T_forod_13i4)
Unknown event u58.T_forod_13i4 when handling addSyncPart(T_forod_13i4,i0,u58.T_forod_13i4)
Unknown event u3.T_setbi_5P-bi0i4 when handling addSyncPart(T_await_13i6j4_l1,i0,u3.T_setbi_5P-bi0i4)
Unknown event u3.T_setbi_5P-bi0i4 when handling addSyncPart(T_await_13i4j4,i0,u3.T_setbi_5P-bi0i4)
Unknown event u47.T_await_13i4j4 when handling addSyncPart(T_await_13i4j4,i0,u47.T_await_13i4j4)
Unknown event u3.T_fordo_12i4 when handling addSyncPart(T_fordo_12i4,i0,u3.T_fordo_12i4)
Unknown event u47.T_fordo_12i4 when handling addSyncPart(T_fordo_12i4,i0,u47.T_fordo_12i4)
Unknown event u9.T_xnei_10i1x4 when handling addSyncPart(T_xnei_10i6x4_l0,i0,u9.T_xnei_10i1x4)
Unknown event u14.T_xnei_10i4x0 when handling addSyncPart(T_xnei_10i4x6_l1,i0,u14.T_xnei_10i4x0)
Unknown event u14.T_sety_9i4y0 when handling addSyncPart(T_sety_9i4y6_l0,i0,u14.T_sety_9i4y0)
Unknown event u9.T_yeq0_4i4 when handling addSyncPart(T_yeq0_4i4_l1,i0,u9.T_yeq0_4i4)
Unknown event u14.T_yeq0_4i4 when handling addSyncPart(T_yeq0_4i4_l2,i0,u14.T_yeq0_4i4)
Unknown event u3.T_awaityi4 when handling addSyncPart(T_awaityi4_l1,i0,u3.T_awaityi4)
Unknown event u58.T_awaityi4 when handling addSyncPart(T_awaityi4_l2,i0,u58.T_awaityi4)
Unknown event u9.T_yne0_4i4y1 when handling addSyncPart(T_yne0_4i4y6_l0,i0,u9.T_yne0_4i4y1)
Unknown event u9.T_setx_3i1x4 when handling addSyncPart(T_setx_3i6x4_l1,i0,u9.T_setx_3i1x4)
Unknown event u9.T_setx_3i4x0 when handling addSyncPart(T_setx_3i4x6_l1,i0,u9.T_setx_3i4x0)
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
Unknown event u12.T_sety_9i2y1 when handling addSyncPart(T_sety0_23i6y1_l1,i0,u12.T_sety_9i2y1)
Unknown event u62.T_sety0_23i1y0 when handling addSyncPart(T_sety0_23i1y6_l1,i0,u62.T_sety0_23i1y0)
Unknown event u12.T_yne0_4i1y1 when handling addSyncPart(T_ynei_15i6y1_l1,i0,u12.T_yne0_4i1y1)
Unknown event u54.T_ynei_15i1y0 when handling addSyncPart(T_ynei_15i1y6_l0,i0,u54.T_ynei_15i1y0)
Unknown event u54.T_forod_13i1 when handling addSyncPart(T_forod_13i1,i0,u54.T_forod_13i1)
Unknown event u0.T_setbi_5P-bi0i1 when handling addSyncPart(T_await_13i6j1_l1,i0,u0.T_setbi_5P-bi0i1)
Unknown event u0.T_setbi_5P-bi0i1 when handling addSyncPart(T_await_13i1j1,i0,u0.T_setbi_5P-bi0i1)
Unknown event u0.T_fordo_12i1 when handling addSyncPart(T_fordo_12i1,i0,u0.T_fordo_12i1)
Unknown event u6.T_xnei_10i1x0 when handling addSyncPart(T_xnei_10i6x0_l0,i0,u6.T_xnei_10i1x0)
Unknown event u12.T_xnei_10i1x0 when handling addSyncPart(T_xnei_10i1x6_l1,i0,u12.T_xnei_10i1x0)
Unknown event u12.T_sety_9i1y0 when handling addSyncPart(T_sety_9i1y6_l0,i0,u12.T_sety_9i1y0)
Unknown event u6.T_yeq0_4i1 when handling addSyncPart(T_yeq0_4i1_l1,i0,u6.T_yeq0_4i1)
Unknown event u12.T_yeq0_4i1 when handling addSyncPart(T_yeq0_4i1_l2,i0,u12.T_yeq0_4i1)
Unknown event u0.T_awaityi1 when handling addSyncPart(T_awaityi1_l1,i0,u0.T_awaityi1)
Unknown event u54.T_awaityi1 when handling addSyncPart(T_awaityi1_l2,i0,u54.T_awaityi1)
Unknown event u6.T_yne0_4i1y1 when handling addSyncPart(T_yne0_4i1y6_l0,i0,u6.T_yne0_4i1y1)
Unknown event u6.T_setx_3i2x0 when handling addSyncPart(T_setx_3i6x0_l1,i0,u6.T_setx_3i2x0)
Unknown event u6.T_setx_3i1x2 when handling addSyncPart(T_setx_3i1x6_l1,i0,u6.T_setx_3i1x2)
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality17067245207522610706.gal(1404) : error 3 : , at offset 24
near [Index: 12842 (Start: 22463689-Stop: 22463689) ='-', type<22> Line: 1404 LinePos:24]
: cannot match to any predicted input...
The parser returned 164 errors, parsing aborted
Built C files in :
/tmp/ltsmin18265090554830436523
[2022-06-12 21:23:56] [INFO ] Built C files in 18ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin18265090554830436523
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18265090554830436523]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18265090554830436523] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin18265090554830436523] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 2097 ms. (steps per millisecond=476 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 4460 ms. (steps per millisecond=224 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 14024934 steps, run timeout after 30001 ms. (steps per millisecond=467 ) properties seen :{}
Probabilistic random walk after 14024934 steps, saw 3073576 distinct states, run finished after 30014 ms. (steps per millisecond=467 ) properties seen :{}
Running SMT prover for 1 properties.
[2022-06-12 21:24:33] [INFO ] Flow matrix only has 264 transitions (discarded 90 similar events)
// Phase 1: matrix 264 rows 176 cols
[2022-06-12 21:24:33] [INFO ] Computed 50 place invariants in 4 ms
[2022-06-12 21:24:33] [INFO ] [Real]Absence check using 50 positive place invariants in 16 ms returned sat
[2022-06-12 21:24:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:34] [INFO ] [Real]Absence check using state equation in 84 ms returned sat
[2022-06-12 21:24:34] [INFO ] State equation strengthened by 84 read => feed constraints.
[2022-06-12 21:24:34] [INFO ] [Real]Added 84 Read/Feed constraints in 37 ms returned sat
[2022-06-12 21:24:34] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:24:34] [INFO ] [Nat]Absence check using 50 positive place invariants in 15 ms returned sat
[2022-06-12 21:24:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:34] [INFO ] [Nat]Absence check using state equation in 105 ms returned sat
[2022-06-12 21:24:34] [INFO ] [Nat]Added 84 Read/Feed constraints in 20 ms returned sat
[2022-06-12 21:24:34] [INFO ] Deduced a trap composed of 9 places in 40 ms of which 1 ms to minimize.
[2022-06-12 21:24:34] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 89 ms
[2022-06-12 21:24:34] [INFO ] Computed and/alt/rep : 234/1218/234 causal constraints (skipped 24 transitions) in 43 ms.
[2022-06-12 21:24:35] [INFO ] Deduced a trap composed of 34 places in 47 ms of which 1 ms to minimize.
[2022-06-12 21:24:35] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 89 ms
[2022-06-12 21:24:35] [INFO ] Added : 221 causal constraints over 45 iterations in 1224 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 10 ms.
Incomplete Parikh walk after 57300 steps, including 960 resets, run finished after 165 ms. (steps per millisecond=347 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 79 out of 176 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 176/176 places, 354/354 transitions.
Applied a total of 0 rules in 12 ms. Remains 176 /176 variables (removed 0) and now considering 354/354 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 176/176 places, 354/354 transitions.
Starting structural reductions, iteration 0 : 176/176 places, 354/354 transitions.
Applied a total of 0 rules in 11 ms. Remains 176 /176 variables (removed 0) and now considering 354/354 (removed 0) transitions.
[2022-06-12 21:24:35] [INFO ] Flow matrix only has 264 transitions (discarded 90 similar events)
// Phase 1: matrix 264 rows 176 cols
[2022-06-12 21:24:35] [INFO ] Computed 50 place invariants in 3 ms
[2022-06-12 21:24:35] [INFO ] Implicit Places using invariants in 121 ms returned []
[2022-06-12 21:24:35] [INFO ] Flow matrix only has 264 transitions (discarded 90 similar events)
// Phase 1: matrix 264 rows 176 cols
[2022-06-12 21:24:35] [INFO ] Computed 50 place invariants in 2 ms
[2022-06-12 21:24:36] [INFO ] State equation strengthened by 84 read => feed constraints.
[2022-06-12 21:24:36] [INFO ] Implicit Places using invariants and state equation in 232 ms returned []
Implicit Place search using SMT with State Equation took 355 ms to find 0 implicit places.
[2022-06-12 21:24:36] [INFO ] Redundant transitions in 19 ms returned []
[2022-06-12 21:24:36] [INFO ] Flow matrix only has 264 transitions (discarded 90 similar events)
// Phase 1: matrix 264 rows 176 cols
[2022-06-12 21:24:36] [INFO ] Computed 50 place invariants in 1 ms
[2022-06-12 21:24:36] [INFO ] Dead Transitions using invariants and state equation in 144 ms returned []
Finished structural reductions, in 1 iterations. Remains : 176/176 places, 354/354 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 293 ms. (steps per millisecond=341 ) properties (out of 1) seen :0
Running SMT prover for 1 properties.
[2022-06-12 21:24:36] [INFO ] Flow matrix only has 264 transitions (discarded 90 similar events)
// Phase 1: matrix 264 rows 176 cols
[2022-06-12 21:24:36] [INFO ] Computed 50 place invariants in 2 ms
[2022-06-12 21:24:36] [INFO ] [Real]Absence check using 50 positive place invariants in 11 ms returned sat
[2022-06-12 21:24:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:36] [INFO ] [Real]Absence check using state equation in 64 ms returned sat
[2022-06-12 21:24:36] [INFO ] State equation strengthened by 84 read => feed constraints.
[2022-06-12 21:24:36] [INFO ] [Real]Added 84 Read/Feed constraints in 9 ms returned sat
[2022-06-12 21:24:36] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:24:36] [INFO ] [Nat]Absence check using 50 positive place invariants in 11 ms returned sat
[2022-06-12 21:24:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:36] [INFO ] [Nat]Absence check using state equation in 66 ms returned sat
[2022-06-12 21:24:36] [INFO ] [Nat]Added 84 Read/Feed constraints in 10 ms returned sat
[2022-06-12 21:24:36] [INFO ] Deduced a trap composed of 9 places in 19 ms of which 0 ms to minimize.
[2022-06-12 21:24:36] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 40 ms
[2022-06-12 21:24:36] [INFO ] Computed and/alt/rep : 234/1218/234 causal constraints (skipped 24 transitions) in 19 ms.
[2022-06-12 21:24:38] [INFO ] Deduced a trap composed of 34 places in 63 ms of which 0 ms to minimize.
[2022-06-12 21:24:38] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 98 ms
[2022-06-12 21:24:38] [INFO ] Added : 221 causal constraints over 45 iterations in 1183 ms. Result :sat
[2022-06-12 21:24:38] [INFO ] Flatten gal took : 28 ms
[2022-06-12 21:24:38] [INFO ] Flatten gal took : 20 ms
[2022-06-12 21:24:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6489515324118933099.gal : 3 ms
[2022-06-12 21:24:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15189502109347832323.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality6489515324118933099.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15189502109347832323.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
ITS-tools command line returned an error code 1
/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/ReachabilityCardinality6489515324118933099.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15189502109347832323.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality6489515324118933099.gal(179) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(179) : error 3 : , at offset 23
near [Index: 1593 (Start: 24808089-Stop: 24808089) ='-', type<22> Line: 179 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(179) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(185) : error 3 : , at offset 23
near [Index: 1653 (Start: 24808251-Stop: 24808251) ='-', type<22> Line: 185 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(185) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(191) : error 3 : , at offset 23
near [Index: 1713 (Start: 24808413-Stop: 24808413) ='-', type<22> Line: 191 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(191) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(197) : error 3 : , at offset 23
near [Index: 1773 (Start: 24808575-Stop: 24808575) ='-', type<22> Line: 197 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(197) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(203) : error 3 : , at offset 23
near [Index: 1833 (Start: 24808737-Stop: 24808737) ='-', type<22> Line: 203 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(203) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(209) : error 3 : , at offset 23
near [Index: 1893 (Start: 24808902-Stop: 24808902) ='-', type<22> Line: 209 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(209) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(215) : error 3 : , at offset 23
near [Index: 1953 (Start: 24809067-Stop: 24809067) ='-', type<22> Line: 215 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(215) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(219) : error 3 : , at offset 23
near [Index: 1997 (Start: 24809189-Stop: 24809189) ='-', type<22> Line: 219 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(219) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(223) : error 3 : , at offset 23
near [Index: 2041 (Start: 24809311-Stop: 24809311) ='-', type<22> Line: 223 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(223) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(227) : error 3 : , at offset 23
near [Index: 2085 (Start: 24809433-Stop: 24809433) ='-', type<22> Line: 227 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(227) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(231) : error 3 : , at offset 23
near [Index: 2129 (Start: 24809555-Stop: 24809555) ='-', type<22> Line: 231 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(231) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(235) : error 3 : , at offset 23
near [Index: 2173 (Start: 24809678-Stop: 24809678) ='-', type<22> Line: 235 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(235) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(623) : error 3 : , at offset 23
near [Index: 6069 (Start: 24820025-Stop: 24820025) ='-', type<22> Line: 623 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(623) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(627) : error 3 : , at offset 23
near [Index: 6113 (Start: 24820147-Stop: 24820147) ='-', type<22> Line: 627 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(627) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(631) : error 3 : , at offset 23
near [Index: 6157 (Start: 24820269-Stop: 24820269) ='-', type<22> Line: 631 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(631) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(635) : error 3 : , at offset 23
near [Index: 6201 (Start: 24820391-Stop: 24820391) ='-', type<22> Line: 635 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(635) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(639) : error 3 : , at offset 23
near [Index: 6245 (Start: 24820513-Stop: 24820513) ='-', type<22> Line: 639 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(639) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(643) : error 3 : , at offset 23
near [Index: 6289 (Start: 24820636-Stop: 24820636) ='-', type<22> Line: 643 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(643) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(647) : error 3 : , at offset 23
near [Index: 6333 (Start: 24820759-Stop: 24820759) ='-', type<22> Line: 647 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(647) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(653) : error 3 : , at offset 23
near [Index: 6393 (Start: 24820921-Stop: 24820921) ='-', type<22> Line: 653 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(653) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(659) : error 3 : , at offset 23
near [Index: 6453 (Start: 24821083-Stop: 24821083) ='-', type<22> Line: 659 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(659) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(665) : error 3 : , at offset 23
near [Index: 6513 (Start: 24821245-Stop: 24821245) ='-', type<22> Line: 665 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(665) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(671) : error 3 : , at offset 23
near [Index: 6573 (Start: 24821407-Stop: 24821407) ='-', type<22> Line: 671 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(671) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(677) : error 3 : , at offset 23
near [Index: 6633 (Start: 24821572-Stop: 24821572) ='-', type<22> Line: 677 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(677) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1115) : error 3 : , at offset 24
near [Index: 11049 (Start: 24833498-Stop: 24833498) ='-', type<22> Line: 1115 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1115) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1119) : error 3 : , at offset 24
near [Index: 11093 (Start: 24833625-Stop: 24833625) ='-', type<22> Line: 1119 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1119) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1123) : error 3 : , at offset 24
near [Index: 11137 (Start: 24833752-Stop: 24833752) ='-', type<22> Line: 1123 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1123) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1127) : error 3 : , at offset 24
near [Index: 11181 (Start: 24833879-Stop: 24833879) ='-', type<22> Line: 1127 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1127) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1131) : error 3 : , at offset 24
near [Index: 11225 (Start: 24834006-Stop: 24834006) ='-', type<22> Line: 1131 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1131) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1135) : error 3 : , at offset 24
near [Index: 11269 (Start: 24834134-Stop: 24834134) ='-', type<22> Line: 1135 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1135) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1139) : error 3 : , at offset 24
near [Index: 11313 (Start: 24834262-Stop: 24834262) ='-', type<22> Line: 1139 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1145) : error 3 : , at offset 24
near [Index: 11373 (Start: 24834429-Stop: 24834429) ='-', type<22> Line: 1145 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1145) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1151) : error 3 : , at offset 24
near [Index: 11433 (Start: 24834596-Stop: 24834596) ='-', type<22> Line: 1151 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1151) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1157) : error 3 : , at offset 24
near [Index: 11493 (Start: 24834763-Stop: 24834763) ='-', type<22> Line: 1157 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1157) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1163) : error 3 : , at offset 24
near [Index: 11553 (Start: 24834930-Stop: 24834930) ='-', type<22> Line: 1163 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1169) : error 3 : , at offset 24
near [Index: 11613 (Start: 24835100-Stop: 24835100) ='-', type<22> Line: 1169 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1871) : error 3 : , at offset 24
near [Index: 19101 (Start: 24855580-Stop: 24855580) ='-', type<22> Line: 1871 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1871) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1875) : error 3 : , at offset 24
near [Index: 19145 (Start: 24855706-Stop: 24855706) ='-', type<22> Line: 1875 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1875) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1879) : error 3 : , at offset 24
near [Index: 19189 (Start: 24855832-Stop: 24855832) ='-', type<22> Line: 1879 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1879) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1883) : error 3 : , at offset 24
near [Index: 19233 (Start: 24855958-Stop: 24855958) ='-', type<22> Line: 1883 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1883) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1887) : error 3 : , at offset 24
near [Index: 19277 (Start: 24856084-Stop: 24856084) ='-', type<22> Line: 1887 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1891) : error 3 : , at offset 24
near [Index: 19321 (Start: 24856211-Stop: 24856211) ='-', type<22> Line: 1891 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1891) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1895) : error 3 : , at offset 24
near [Index: 19365 (Start: 24856338-Stop: 24856338) ='-', type<22> Line: 1895 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1895) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1901) : error 3 : , at offset 24
near [Index: 19425 (Start: 24856504-Stop: 24856504) ='-', type<22> Line: 1901 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1901) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1907) : error 3 : , at offset 24
near [Index: 19485 (Start: 24856670-Stop: 24856670) ='-', type<22> Line: 1907 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1907) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1913) : error 3 : , at offset 24
near [Index: 19545 (Start: 24856836-Stop: 24856836) ='-', type<22> Line: 1913 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1913) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1919) : error 3 : , at offset 24
near [Index: 19605 (Start: 24857002-Stop: 24857002) ='-', type<22> Line: 1919 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6489515324118933099.gal(1919) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6489515324118933099.gal(1925) : error 3 : , at offset 24
near [Index: 19665 (Start: 24857171-Stop: 24857171) ='-', type<22> Line: 1925 LinePos:24]
: cannot match to any predicted input...
The parser returned 96 errors, parsing aborted
[2022-06-12 21:24:38] [INFO ] Flatten gal took : 20 ms
[2022-06-12 21:24:38] [INFO ] Applying decomposition
[2022-06-12 21:24:38] [INFO ] Flatten gal took : 18 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/graph11447699800058941984.txt, -o, /tmp/graph11447699800058941984.bin, -w, /tmp/graph11447699800058941984.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/graph11447699800058941984.bin, -l, -1, -v, -w, /tmp/graph11447699800058941984.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 21:24:38] [INFO ] Decomposing Gal with order
[2022-06-12 21:24:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 21:24:38] [INFO ] Removed a total of 522 redundant transitions.
[2022-06-12 21:24:38] [INFO ] Flatten gal took : 40 ms
[2022-06-12 21:24:38] [INFO ] Fuse similar labels procedure discarded/fused a total of 63 labels/synchronizations in 10 ms.
[2022-06-12 21:24:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8627022588982626610.gal : 3 ms
[2022-06-12 21:24:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1866914347216737081.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8627022588982626610.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality1866914347216737081.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality8627022588982626610.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality1866914347216737081.prop --nowitness
/tmp/ReachabilityCardinality8627022588982626610.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(7) : error 3 : , at offset 23
near [Index: 45 (Start: 40324201-Stop: 40324201) ='-', type<22> Line: 7 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(7) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(12) : error 3 : , at offset 23
near [Index: 101 (Start: 40324366-Stop: 40324366) ='-', type<22> Line: 12 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(12) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(15) : error 3 : , at offset 23
near [Index: 141 (Start: 40324489-Stop: 40324489) ='-', type<22> Line: 15 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(15) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(17) : error 3 : , at offset 23
near [Index: 165 (Start: 40324566-Stop: 40324566) ='-', type<22> Line: 17 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(17) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(24) : error 3 : , at offset 24
near [Index: 231 (Start: 40324770-Stop: 40324770) ='-', type<22> Line: 24 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(24) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(27) : error 3 : , at offset 24
near [Index: 263 (Start: 40324876-Stop: 40324876) ='-', type<22> Line: 27 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(27) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(35) : error 3 : , at offset 24
near [Index: 341 (Start: 40325126-Stop: 40325126) ='-', type<22> Line: 35 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(35) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(38) : error 3 : , at offset 24
near [Index: 373 (Start: 40325231-Stop: 40325231) ='-', type<22> Line: 38 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(38) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(49) : error 3 : , at offset 23
near [Index: 464 (Start: 40325476-Stop: 40325476) ='-', type<22> Line: 49 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(49) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(68) : error 3 : , at offset 23
near [Index: 648 (Start: 40326034-Stop: 40326034) ='-', type<22> Line: 68 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(68) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(103) : error 3 : , at offset 24
near [Index: 979 (Start: 40327025-Stop: 40327025) ='-', type<22> Line: 103 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(103) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(127) : error 3 : , at offset 23
near [Index: 1185 (Start: 40327661-Stop: 40327661) ='-', type<22> Line: 127 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(127) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(154) : error 3 : , at offset 24
near [Index: 1426 (Start: 40328437-Stop: 40328437) ='-', type<22> Line: 154 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(154) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(238) : error 3 : , at offset 23
near [Index: 2159 (Start: 40330669-Stop: 40330669) ='-', type<22> Line: 238 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(238) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(243) : error 3 : , at offset 23
near [Index: 2215 (Start: 40330831-Stop: 40330831) ='-', type<22> Line: 243 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(243) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(246) : error 3 : , at offset 23
near [Index: 2255 (Start: 40330953-Stop: 40330953) ='-', type<22> Line: 246 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(248) : error 3 : , at offset 23
near [Index: 2279 (Start: 40331029-Stop: 40331029) ='-', type<22> Line: 248 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(248) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(255) : error 3 : , at offset 24
near [Index: 2345 (Start: 40331230-Stop: 40331230) ='-', type<22> Line: 255 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(255) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(258) : error 3 : , at offset 24
near [Index: 2377 (Start: 40331335-Stop: 40331335) ='-', type<22> Line: 258 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(266) : error 3 : , at offset 24
near [Index: 2455 (Start: 40331582-Stop: 40331582) ='-', type<22> Line: 266 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(266) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(269) : error 3 : , at offset 24
near [Index: 2487 (Start: 40331686-Stop: 40331686) ='-', type<22> Line: 269 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(280) : error 3 : , at offset 23
near [Index: 2578 (Start: 40331927-Stop: 40331927) ='-', type<22> Line: 280 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(299) : error 3 : , at offset 23
near [Index: 2762 (Start: 40332485-Stop: 40332485) ='-', type<22> Line: 299 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(299) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(400) : error 3 : , at offset 23
near [Index: 3648 (Start: 40335206-Stop: 40335206) ='-', type<22> Line: 400 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(400) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(427) : error 3 : , at offset 24
near [Index: 3889 (Start: 40335982-Stop: 40335982) ='-', type<22> Line: 427 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(427) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(456) : error 3 : , at offset 24
near [Index: 4160 (Start: 40336802-Stop: 40336802) ='-', type<22> Line: 456 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(456) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(467) : error 3 : , at offset 23
near [Index: 4256 (Start: 40337085-Stop: 40337085) ='-', type<22> Line: 467 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(467) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(471) : error 3 : , at offset 23
near [Index: 4296 (Start: 40337201-Stop: 40337201) ='-', type<22> Line: 471 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(471) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(473) : error 3 : , at offset 23
near [Index: 4320 (Start: 40337277-Stop: 40337277) ='-', type<22> Line: 473 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(473) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(475) : error 3 : , at offset 23
near [Index: 4344 (Start: 40337353-Stop: 40337353) ='-', type<22> Line: 475 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(475) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(479) : error 3 : , at offset 24
near [Index: 4384 (Start: 40337470-Stop: 40337470) ='-', type<22> Line: 479 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(479) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(482) : error 3 : , at offset 24
near [Index: 4416 (Start: 40337575-Stop: 40337575) ='-', type<22> Line: 482 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(496) : error 3 : , at offset 23
near [Index: 4537 (Start: 40337919-Stop: 40337919) ='-', type<22> Line: 496 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(496) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(515) : error 3 : , at offset 23
near [Index: 4721 (Start: 40338477-Stop: 40338477) ='-', type<22> Line: 515 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(515) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(616) : error 3 : , at offset 23
near [Index: 5607 (Start: 40341182-Stop: 40341182) ='-', type<22> Line: 616 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(616) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(638) : error 3 : , at offset 23
near [Index: 5802 (Start: 40341781-Stop: 40341781) ='-', type<22> Line: 638 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(638) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(643) : error 3 : , at offset 23
near [Index: 5858 (Start: 40341943-Stop: 40341943) ='-', type<22> Line: 643 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(643) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(646) : error 3 : , at offset 23
near [Index: 5898 (Start: 40342065-Stop: 40342065) ='-', type<22> Line: 646 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(646) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(648) : error 3 : , at offset 23
near [Index: 5922 (Start: 40342141-Stop: 40342141) ='-', type<22> Line: 648 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(648) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(655) : error 3 : , at offset 24
near [Index: 5988 (Start: 40342342-Stop: 40342342) ='-', type<22> Line: 655 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(655) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(658) : error 3 : , at offset 24
near [Index: 6020 (Start: 40342447-Stop: 40342447) ='-', type<22> Line: 658 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(658) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(666) : error 3 : , at offset 24
near [Index: 6098 (Start: 40342694-Stop: 40342694) ='-', type<22> Line: 666 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(666) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(669) : error 3 : , at offset 24
near [Index: 6130 (Start: 40342798-Stop: 40342798) ='-', type<22> Line: 669 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(669) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(680) : error 3 : , at offset 23
near [Index: 6221 (Start: 40343039-Stop: 40343039) ='-', type<22> Line: 680 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(680) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(699) : error 3 : , at offset 23
near [Index: 6405 (Start: 40343597-Stop: 40343597) ='-', type<22> Line: 699 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(699) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(725) : error 3 : , at offset 23
near [Index: 6633 (Start: 40344294-Stop: 40344294) ='-', type<22> Line: 725 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(725) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(822) : error 3 : , at offset 23
near [Index: 7486 (Start: 40346919-Stop: 40346919) ='-', type<22> Line: 822 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(822) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(827) : error 3 : , at offset 23
near [Index: 7542 (Start: 40347084-Stop: 40347084) ='-', type<22> Line: 827 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(827) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(830) : error 3 : , at offset 23
near [Index: 7582 (Start: 40347207-Stop: 40347207) ='-', type<22> Line: 830 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(830) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(832) : error 3 : , at offset 23
near [Index: 7606 (Start: 40347284-Stop: 40347284) ='-', type<22> Line: 832 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(832) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(839) : error 3 : , at offset 24
near [Index: 7672 (Start: 40347488-Stop: 40347488) ='-', type<22> Line: 839 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(839) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(842) : error 3 : , at offset 24
near [Index: 7704 (Start: 40347594-Stop: 40347594) ='-', type<22> Line: 842 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(842) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(850) : error 3 : , at offset 24
near [Index: 7782 (Start: 40347844-Stop: 40347844) ='-', type<22> Line: 850 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(850) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(853) : error 3 : , at offset 24
near [Index: 7814 (Start: 40347949-Stop: 40347949) ='-', type<22> Line: 853 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(853) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(864) : error 3 : , at offset 23
near [Index: 7905 (Start: 40348194-Stop: 40348194) ='-', type<22> Line: 864 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(864) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(883) : error 3 : , at offset 23
near [Index: 8089 (Start: 40348752-Stop: 40348752) ='-', type<22> Line: 883 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(883) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(918) : error 3 : , at offset 24
near [Index: 8420 (Start: 40349743-Stop: 40349743) ='-', type<22> Line: 918 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(918) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(942) : error 3 : , at offset 23
near [Index: 8626 (Start: 40350379-Stop: 40350379) ='-', type<22> Line: 942 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(942) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(969) : error 3 : , at offset 24
near [Index: 8867 (Start: 40351155-Stop: 40351155) ='-', type<22> Line: 969 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(969) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1053) : error 3 : , at offset 23
near [Index: 9600 (Start: 40353387-Stop: 40353387) ='-', type<22> Line: 1053 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1053) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1058) : error 3 : , at offset 23
near [Index: 9656 (Start: 40353549-Stop: 40353549) ='-', type<22> Line: 1058 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1058) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1061) : error 3 : , at offset 23
near [Index: 9696 (Start: 40353671-Stop: 40353671) ='-', type<22> Line: 1061 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1061) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1063) : error 3 : , at offset 23
near [Index: 9720 (Start: 40353747-Stop: 40353747) ='-', type<22> Line: 1063 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1063) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1070) : error 3 : , at offset 24
near [Index: 9786 (Start: 40353948-Stop: 40353948) ='-', type<22> Line: 1070 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1070) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1073) : error 3 : , at offset 24
near [Index: 9818 (Start: 40354053-Stop: 40354053) ='-', type<22> Line: 1073 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1073) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1081) : error 3 : , at offset 24
near [Index: 9896 (Start: 40354300-Stop: 40354300) ='-', type<22> Line: 1081 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1081) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1084) : error 3 : , at offset 24
near [Index: 9928 (Start: 40354404-Stop: 40354404) ='-', type<22> Line: 1084 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1084) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1095) : error 3 : , at offset 23
near [Index: 10019 (Start: 40354645-Stop: 40354645) ='-', type<22> Line: 1095 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1095) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1114) : error 3 : , at offset 23
near [Index: 10203 (Start: 40355203-Stop: 40355203) ='-', type<22> Line: 1114 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1114) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1140) : error 3 : , at offset 23
near [Index: 10431 (Start: 40355900-Stop: 40355900) ='-', type<22> Line: 1140 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1140) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1258) : error 3 : , at offset 24
near [Index: 11488 (Start: 40359147-Stop: 40359147) ='-', type<22> Line: 1258 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1291) : error 3 : , at offset 24
near [Index: 11797 (Start: 40360077-Stop: 40360077) ='-', type<22> Line: 1291 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1291) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1304) : error 3 : , at offset 23
near [Index: 11911 (Start: 40360401-Stop: 40360401) ='-', type<22> Line: 1304 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1304) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1355) : error 3 : , at offset 24
near [Index: 12407 (Start: 40361851-Stop: 40361851) ='-', type<22> Line: 1355 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1355) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1370) : error 3 : , at offset 24
near [Index: 12536 (Start: 40362262-Stop: 40362262) ='-', type<22> Line: 1370 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1370) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1384) : error 3 : , at offset 24
near [Index: 12657 (Start: 40362647-Stop: 40362647) ='-', type<22> Line: 1384 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1384) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
Unknown event u15.T_sety_9i1y5 when handling addSyncPart(T_sety0_23i6y5_l0,i0,u15.T_sety_9i1y5)
Unknown event u65.T_sety0_23i5y0 when handling addSyncPart(T_sety0_23i5y6_l0,i0,u65.T_sety0_23i5y0)
Unknown event u15.T_yne0_4i1y5 when handling addSyncPart(T_ynei_15i6y5_l0,i0,u15.T_yne0_4i1y5)
Unknown event u56.T_ynei_15i5y0 when handling addSyncPart(T_ynei_15i5y6_l0,i0,u56.T_ynei_15i5y0)
Unknown event u31.T_forod_13i5 when handling addSyncPart(T_forod_13i5,i0,u31.T_forod_13i5)
Unknown event u56.T_forod_13i5 when handling addSyncPart(T_forod_13i5,i0,u56.T_forod_13i5)
Unknown event u4.T_setbi_5P-bi0i5 when handling addSyncPart(T_await_13i6j5_l0,i0,u4.T_setbi_5P-bi0i5)
Unknown event u4.T_setbi_5P-bi0i5 when handling addSyncPart(T_await_13i5j5,i0,u4.T_setbi_5P-bi0i5)
Unknown event u31.T_await_13i5j5 when handling addSyncPart(T_await_13i5j5,i0,u31.T_await_13i5j5)
Unknown event u4.T_fordo_12i5 when handling addSyncPart(T_fordo_12i5,i0,u4.T_fordo_12i5)
Unknown event u31.T_fordo_12i5 when handling addSyncPart(T_fordo_12i5,i0,u31.T_fordo_12i5)
Unknown event u10.T_xnei_10i1x5 when handling addSyncPart(T_xnei_10i6x5_l0,i0,u10.T_xnei_10i1x5)
Unknown event u15.T_xnei_10i5x0 when handling addSyncPart(T_xnei_10i5x6_l0,i0,u15.T_xnei_10i5x0)
Unknown event u15.T_sety_9i5y0 when handling addSyncPart(T_sety_9i5y6_l0,i0,u15.T_sety_9i5y0)
Unknown event u10.T_yeq0_4i5 when handling addSyncPart(T_yeq0_4i5_l0,i0,u10.T_yeq0_4i5)
Unknown event u15.T_yeq0_4i5 when handling addSyncPart(T_yeq0_4i5_l1,i0,u15.T_yeq0_4i5)
Unknown event u4.T_awaityi5 when handling addSyncPart(T_awaityi5_l0,i0,u4.T_awaityi5)
Unknown event u56.T_awaityi5 when handling addSyncPart(T_awaityi5_l1,i0,u56.T_awaityi5)
Unknown event u10.T_yne0_4i5y1 when handling addSyncPart(T_yne0_4i5y6_l0,i0,u10.T_yne0_4i5y1)
Unknown event u10.T_setx_3i1x5 when handling addSyncPart(T_setx_3i6x5_l0,i0,u10.T_setx_3i1x5)
Unknown event u10.T_setx_3i5x0 when handling addSyncPart(T_setx_3i5x6_l0,i0,u10.T_setx_3i5x0)
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
Unknown event u17.T_sety_9i1y6 when handling addSyncPart(T_sety0_23i6y6_l0,i0,u17.T_sety_9i1y6)
Unknown event u63.T_sety0_23i6y0 when handling addSyncPart(T_sety0_23i6y6_l1,i0,u63.T_sety0_23i6y0)
Unknown event u59.T_ynei_15i6y0 when handling addSyncPart(T_ynei_15i6y5_l1,i0,u59.T_ynei_15i6y0)
Unknown event u17.T_yne0_4i1y6 when handling addSyncPart(T_ynei_15i5y6_l1,i0,u17.T_yne0_4i1y6)
Unknown event u53.T_forod_13i6 when handling addSyncPart(T_forod_13i6,i0,u53.T_forod_13i6)
Unknown event u59.T_forod_13i6 when handling addSyncPart(T_forod_13i6,i0,u59.T_forod_13i6)
Unknown event u5.T_setbi_5P-bi0i6 when handling addSyncPart(T_await_13i6j6,i0,u5.T_setbi_5P-bi0i6)
Unknown event u53.T_await_13i6j6 when handling addSyncPart(T_await_13i6j6,i0,u53.T_await_13i6j6)
Unknown event u5.T_setbi_5P-bi0i6 when handling addSyncPart(T_await_13i5j6_l1,i0,u5.T_setbi_5P-bi0i6)
Unknown event u5.T_fordo_12i6 when handling addSyncPart(T_fordo_12i6,i0,u5.T_fordo_12i6)
Unknown event u53.T_fordo_12i6 when handling addSyncPart(T_fordo_12i6,i0,u53.T_fordo_12i6)
Unknown event u17.T_xnei_10i6x0 when handling addSyncPart(T_xnei_10i6x5_l1,i0,u17.T_xnei_10i6x0)
Unknown event u11.T_xnei_10i1x6 when handling addSyncPart(T_xnei_10i5x6_l1,i0,u11.T_xnei_10i1x6)
Unknown event u17.T_sety_9i6y0 when handling addSyncPart(T_sety_9i6y5_l1,i0,u17.T_sety_9i6y0)
Unknown event u11.T_yeq0_4i6 when handling addSyncPart(T_yeq0_4i6_l0,i0,u11.T_yeq0_4i6)
Unknown event u17.T_yeq0_4i6 when handling addSyncPart(T_yeq0_4i6_l1,i0,u17.T_yeq0_4i6)
Unknown event u5.T_awaityi6 when handling addSyncPart(T_awaityi6_l0,i0,u5.T_awaityi6)
Unknown event u59.T_awaityi6 when handling addSyncPart(T_awaityi6_l1,i0,u59.T_awaityi6)
Unknown event u11.T_yne0_4i6y1 when handling addSyncPart(T_yne0_4i6y5_l1,i0,u11.T_yne0_4i6y1)
Unknown event u11.T_setx_3i6x0 when handling addSyncPart(T_setx_3i6x5_l1,i0,u11.T_setx_3i6x0)
Unknown event u11.T_setx_3i1x6 when handling addSyncPart(T_setx_3i5x6_l1,i0,u11.T_setx_3i1x6)
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality8627022588982626610.gal(1414) : error 3 : , at offset 24
near [Index: 12936 (Start: 40363479-Stop: 40363479) ='-', type<22> Line: 1414 LinePos:24]
: cannot match to any predicted input...
The parser returned 164 errors, parsing aborted
ITS-tools command line returned an error code 1
Built C files in :
/tmp/ltsmin10025583459257161739
[2022-06-12 21:24:38] [INFO ] Built C files in 5ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin10025583459257161739
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10025583459257161739]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10025583459257161739] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin10025583459257161739] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Ensure Unique test removed 90 transitions
Reduce isomorphic transitions removed 90 transitions.
Iterating post reduction 0 with 90 rules applied. Total rules applied 90 place count 176 transition count 264
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Deduced a syphon composed of 6 places in 1 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 1 with 12 rules applied. Total rules applied 102 place count 170 transition count 258
Free-agglomeration rule applied 6 times.
Iterating global reduction 1 with 6 rules applied. Total rules applied 108 place count 170 transition count 252
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 1 with 6 rules applied. Total rules applied 114 place count 164 transition count 252
Partial Free-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 2 with 6 rules applied. Total rules applied 120 place count 164 transition count 252
Partial Post-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 2 with 6 rules applied. Total rules applied 126 place count 164 transition count 252
Applied a total of 126 rules in 43 ms. Remains 164 /176 variables (removed 12) and now considering 252/354 (removed 102) transitions.
Running SMT prover for 1 properties.
// Phase 1: matrix 252 rows 164 cols
[2022-06-12 21:24:39] [INFO ] Computed 50 place invariants in 1 ms
[2022-06-12 21:24:39] [INFO ] [Real]Absence check using 50 positive place invariants in 27 ms returned sat
[2022-06-12 21:24:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:39] [INFO ] [Real]Absence check using state equation in 73 ms returned sat
[2022-06-12 21:24:39] [INFO ] Computed and/alt/rep : 240/1290/240 causal constraints (skipped 0 transitions) in 24 ms.
[2022-06-12 21:24:39] [INFO ] Solution in real domain found non-integer solution.
[2022-06-12 21:24:40] [INFO ] [Nat]Absence check using 50 positive place invariants in 43 ms returned sat
[2022-06-12 21:24:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2022-06-12 21:24:40] [INFO ] [Nat]Absence check using state equation in 71 ms returned sat
[2022-06-12 21:24:40] [INFO ] Computed and/alt/rep : 240/1290/240 causal constraints (skipped 0 transitions) in 13 ms.
[2022-06-12 21:24:41] [INFO ] Added : 217 causal constraints over 44 iterations in 1104 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 9 ms.
[2022-06-12 21:24:41] [INFO ] Flatten gal took : 21 ms
Using solver Z3 to compute partial order matrices.
[2022-06-12 21:24:41] [INFO ] Applying decomposition
Built C files in :
/tmp/ltsmin16421725120626727257
[2022-06-12 21:24:41] [INFO ] Computing symmetric may disable matrix : 354 transitions.
[2022-06-12 21:24:41] [INFO ] Computation of Complete disable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-12 21:24:41] [INFO ] Computing symmetric may enable matrix : 354 transitions.
[2022-06-12 21:24:41] [INFO ] Computation of Complete enable matrix. took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-12 21:24:41] [INFO ] Flatten gal took : 51 ms
[2022-06-12 21:24:41] [INFO ] Flatten gal took : 71 ms
[2022-06-12 21:24:41] [INFO ] Computing Do-Not-Accords matrix : 354 transitions.
[2022-06-12 21:24:41] [INFO ] Computation of Completed DNA matrix. took 14 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-12 21:24:41] [INFO ] Built C files in 141ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16421725120626727257
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin16421725120626727257]
[2022-06-12 21:24:41] [INFO ] Input system was already deterministic with 354 transitions.
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/graph1323319251049678801.txt, -o, /tmp/graph1323319251049678801.bin, -w, /tmp/graph1323319251049678801.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/graph1323319251049678801.bin, -l, -1, -v, -w, /tmp/graph1323319251049678801.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-06-12 21:24:41] [INFO ] Decomposing Gal with order
[2022-06-12 21:24:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-12 21:24:41] [INFO ] Removed a total of 527 redundant transitions.
[2022-06-12 21:24:41] [INFO ] Flatten gal took : 57 ms
[2022-06-12 21:24:41] [INFO ] Fuse similar labels procedure discarded/fused a total of 56 labels/synchronizations in 8 ms.
[2022-06-12 21:24:41] [INFO ] Time to serialize gal into /tmp/ReachabilityFireability10891319848208856905.gal : 4 ms
[2022-06-12 21:24:41] [INFO ] Time to serialize properties into /tmp/ReachabilityFireability13801019420911662128.prop : 24 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/ReachabilityFireability10891319848208856905.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityFireability13801019420911662128.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityFireability10891319848208856905.gal -t CGAL -reachable-file /tmp/ReachabilityFireability13801019420911662128.prop --nowitness
/tmp/ReachabilityFireability10891319848208856905.gal(6) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityFireability10891319848208856905.gal(6) : error 3 : , at offset 23
near [Index: 36 (Start: 12962896-Stop: 12962896) ='-', type<22> Line: 6 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityFireability10891319848208856905.gal(6) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityFireability10891319848208856905.gal(10) : error 3 : , at offset 23
near [Index: 76 (Start: 12963012-Stop: 12963012) ='-', type<22> Line: 10 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityFireability10891319848208856905.gal(10) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='