About the Execution of ITS-Tools for LamportFastMutEx-COL-5
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7002.092 | 3600000.00 | 12830176.00 | 10153.00 | T?TFFFFTFFTFFFFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r121-tall-162075407200614.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is LamportFastMutEx-COL-5, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r121-tall-162075407200614
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 17K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 136K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 94K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.4K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 06:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 06:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 07:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 07:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 41K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-00
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-01
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-02
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-03
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-04
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-05
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-06
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-07
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-08
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-09
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-10
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-11
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-12
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-13
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-14
FORMULA_NAME LamportFastMutEx-COL-5-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1620875211931
Running Version 0
[2021-05-13 03:06:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-13 03:06:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 03:06:53] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-13 03:06:53] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-13 03:06:54] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 571 ms
[2021-05-13 03:06:54] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 174 PT places and 396.0 transition bindings in 20 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 7 ms.
Working with output stream class java.io.PrintStream
[2021-05-13 03:06:54] [INFO ] Built PT skeleton of HLPN with 18 places and 17 transitions in 3 ms.
[2021-05-13 03:06:54] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_17486398932050524965.dot
Reduce places removed 3 places and 0 transitions.
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 100004 steps, including 2 resets, run finished after 115 ms. (steps per millisecond=869 ) properties (out of 13) seen :12
Running SMT prover for 1 properties.
// Phase 1: matrix 17 rows 15 cols
[2021-05-13 03:06:54] [INFO ] Computed 2 place invariants in 5 ms
[2021-05-13 03:06:54] [INFO ] [Real]Absence check using 2 positive place invariants in 3 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-13 03:06:54] [INFO ] Flatten gal took : 16 ms
[2021-05-13 03:06:54] [INFO ] Flatten gal took : 3 ms
[2021-05-13 03:06:54] [INFO ] Unfolded HLPN to a Petri net with 174 places and 318 transitions in 9 ms.
[2021-05-13 03:06:54] [INFO ] Unfolded HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1001_2820513705800378899.dot
Deduced a syphon composed of 37 places in 2 ms
Reduce places removed 37 places and 58 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 102 ms. (steps per millisecond=98 ) properties (out of 12) seen :10
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-02 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 22 ms. (steps per millisecond=454 ) properties (out of 2) seen :1
FORMULA LamportFastMutEx-COL-5-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Running SMT prover for 1 properties.
[2021-05-13 03:06:54] [INFO ] Flow matrix only has 200 transitions (discarded 60 similar events)
// Phase 1: matrix 200 rows 137 cols
[2021-05-13 03:06:54] [INFO ] Computed 37 place invariants in 8 ms
[2021-05-13 03:06:54] [INFO ] [Real]Absence check using 37 positive place invariants in 22 ms returned sat
[2021-05-13 03:06:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:06:54] [INFO ] [Real]Absence check using state equation in 57 ms returned sat
[2021-05-13 03:06:54] [INFO ] State equation strengthened by 65 read => feed constraints.
[2021-05-13 03:06:54] [INFO ] [Real]Added 65 Read/Feed constraints in 10 ms returned sat
[2021-05-13 03:06:54] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:06:54] [INFO ] [Nat]Absence check using 37 positive place invariants in 9 ms returned sat
[2021-05-13 03:06:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:06:54] [INFO ] [Nat]Absence check using state equation in 42 ms returned sat
[2021-05-13 03:06:54] [INFO ] [Nat]Added 65 Read/Feed constraints in 8 ms returned sat
[2021-05-13 03:06:54] [INFO ] Deduced a trap composed of 30 places in 78 ms of which 3 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Deduced a trap composed of 34 places in 62 ms of which 1 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Deduced a trap composed of 8 places in 53 ms of which 1 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Deduced a trap composed of 9 places in 53 ms of which 1 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Deduced a trap composed of 39 places in 55 ms of which 1 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Deduced a trap composed of 36 places in 51 ms of which 0 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Deduced a trap composed of 35 places in 50 ms of which 0 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Deduced a trap composed of 29 places in 56 ms of which 1 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 580 ms
[2021-05-13 03:06:55] [INFO ] Computed and/alt/rep : 175/790/175 causal constraints (skipped 20 transitions) in 16 ms.
[2021-05-13 03:06:55] [INFO ] Deduced a trap composed of 19 places in 36 ms of which 0 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Deduced a trap composed of 22 places in 43 ms of which 0 ms to minimize.
[2021-05-13 03:06:55] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 127 ms
[2021-05-13 03:06:55] [INFO ] Added : 46 causal constraints over 10 iterations in 284 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 3 ms.
Incomplete Parikh walk after 7600 steps, including 541 resets, run finished after 31 ms. (steps per millisecond=245 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 5 out of 137 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 137/137 places, 260/260 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 0 with 10 rules applied. Total rules applied 10 place count 132 transition count 255
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 0 with 5 rules applied. Total rules applied 15 place count 132 transition count 250
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 20 place count 127 transition count 250
Applied a total of 20 rules in 42 ms. Remains 127 /137 variables (removed 10) and now considering 250/260 (removed 10) transitions.
Finished structural reductions, in 1 iterations. Remains : 127/137 places, 250/260 transitions.
[2021-05-13 03:06:55] [INFO ] Flatten gal took : 32 ms
[2021-05-13 03:06:55] [INFO ] Flatten gal took : 23 ms
[2021-05-13 03:06:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1429119653208844177.gal : 9 ms
[2021-05-13 03:06:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality14988402899171657009.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/ReachabilityCardinality1429119653208844177.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality14988402899171657009.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/ReachabilityCardinality1429119653208844177.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality14988402899171657009.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality1429119653208844177.gal(130) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(130) : error 3 : , at offset 23
near [Index: 1152 (Start: 39368307-Stop: 39368307) ='-', type<22> Line: 130 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(130) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(136) : error 3 : , at offset 23
near [Index: 1212 (Start: 39368469-Stop: 39368469) ='-', type<22> Line: 136 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(136) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(142) : error 3 : , at offset 23
near [Index: 1272 (Start: 39368631-Stop: 39368631) ='-', type<22> Line: 142 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(142) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(148) : error 3 : , at offset 23
near [Index: 1332 (Start: 39368793-Stop: 39368793) ='-', type<22> Line: 148 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(148) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(154) : error 3 : , at offset 23
near [Index: 1392 (Start: 39368955-Stop: 39368955) ='-', type<22> Line: 154 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(154) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(160) : error 3 : , at offset 23
near [Index: 1452 (Start: 39369120-Stop: 39369120) ='-', type<22> Line: 160 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(160) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(164) : error 3 : , at offset 23
near [Index: 1496 (Start: 39369242-Stop: 39369242) ='-', type<22> Line: 164 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(164) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(168) : error 3 : , at offset 23
near [Index: 1540 (Start: 39369364-Stop: 39369364) ='-', type<22> Line: 168 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(168) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(172) : error 3 : , at offset 23
near [Index: 1584 (Start: 39369486-Stop: 39369486) ='-', type<22> Line: 172 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(172) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(176) : error 3 : , at offset 23
near [Index: 1628 (Start: 39369608-Stop: 39369608) ='-', type<22> Line: 176 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(176) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(450) : error 3 : , at offset 23
near [Index: 4382 (Start: 39376926-Stop: 39376926) ='-', type<22> Line: 450 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(450) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(454) : error 3 : , at offset 23
near [Index: 4426 (Start: 39377048-Stop: 39377048) ='-', type<22> Line: 454 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(454) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(458) : error 3 : , at offset 23
near [Index: 4470 (Start: 39377170-Stop: 39377170) ='-', type<22> Line: 458 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(458) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(462) : error 3 : , at offset 23
near [Index: 4514 (Start: 39377292-Stop: 39377292) ='-', type<22> Line: 462 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(462) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(466) : error 3 : , at offset 23
near [Index: 4558 (Start: 39377414-Stop: 39377414) ='-', type<22> Line: 466 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(466) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(470) : error 3 : , at offset 23
near [Index: 4602 (Start: 39377537-Stop: 39377537) ='-', type<22> Line: 470 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(470) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(476) : error 3 : , at offset 23
near [Index: 4662 (Start: 39377699-Stop: 39377699) ='-', type<22> Line: 476 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(476) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(482) : error 3 : , at offset 23
near [Index: 4722 (Start: 39377861-Stop: 39377861) ='-', type<22> Line: 482 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(488) : error 3 : , at offset 23
near [Index: 4782 (Start: 39378023-Stop: 39378023) ='-', type<22> Line: 488 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(494) : error 3 : , at offset 23
near [Index: 4842 (Start: 39378185-Stop: 39378185) ='-', type<22> Line: 494 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1100) : error 3 : , at offset 24
near [Index: 11152 (Start: 39395147-Stop: 39395147) ='-', type<22> Line: 1100 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1100) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1104) : error 3 : , at offset 24
near [Index: 11196 (Start: 39395273-Stop: 39395273) ='-', type<22> Line: 1104 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1104) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1108) : error 3 : , at offset 24
near [Index: 11240 (Start: 39395399-Stop: 39395399) ='-', type<22> Line: 1108 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1108) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1112) : error 3 : , at offset 24
near [Index: 11284 (Start: 39395525-Stop: 39395525) ='-', type<22> Line: 1112 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1112) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1116) : error 3 : , at offset 24
near [Index: 11328 (Start: 39395651-Stop: 39395651) ='-', type<22> Line: 1116 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1116) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1120) : error 3 : , at offset 24
near [Index: 11372 (Start: 39395778-Stop: 39395778) ='-', type<22> Line: 1120 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1120) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1126) : error 3 : , at offset 24
near [Index: 11432 (Start: 39395944-Stop: 39395944) ='-', type<22> Line: 1126 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1126) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1132) : error 3 : , at offset 24
near [Index: 11492 (Start: 39396110-Stop: 39396110) ='-', type<22> Line: 1132 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1132) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1138) : error 3 : , at offset 24
near [Index: 11552 (Start: 39396276-Stop: 39396276) ='-', type<22> Line: 1138 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1138) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1144) : error 3 : , at offset 24
near [Index: 11612 (Start: 39396442-Stop: 39396442) ='-', type<22> Line: 1144 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1144) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1150) : error 3 : , at offset 24
near [Index: 11672 (Start: 39396611-Stop: 39396611) ='-', type<22> Line: 1150 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1150) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1159) : error 3 : , at offset 24
near [Index: 11758 (Start: 39396868-Stop: 39396868) ='-', type<22> Line: 1159 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1159) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1170) : error 3 : , at offset 24
near [Index: 11860 (Start: 39397165-Stop: 39397165) ='-', type<22> Line: 1170 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1170) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1179) : error 3 : , at offset 24
near [Index: 11946 (Start: 39397425-Stop: 39397425) ='-', type<22> Line: 1179 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1179) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1190) : error 3 : , at offset 24
near [Index: 12048 (Start: 39397725-Stop: 39397725) ='-', type<22> Line: 1190 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1190) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1199) : error 3 : , at offset 24
near [Index: 12134 (Start: 39397985-Stop: 39397985) ='-', type<22> Line: 1199 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1199) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1210) : error 3 : , at offset 24
near [Index: 12236 (Start: 39398285-Stop: 39398285) ='-', type<22> Line: 1210 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1210) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1219) : error 3 : , at offset 24
near [Index: 12322 (Start: 39398545-Stop: 39398545) ='-', type<22> Line: 1219 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1219) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1230) : error 3 : , at offset 24
near [Index: 12424 (Start: 39398845-Stop: 39398845) ='-', type<22> Line: 1230 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality1429119653208844177.gal(1230) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality1429119653208844177.gal(1239) : error 3 : , at offset 24
near [Index: 12510 (Start: 39399106-Stop: 39399106) ='-', type<22> Line: 1239 LinePos:24]
: cannot match to any predicted input...
The parser returned 80 errors, parsing aborted
ITS-tools command line returned an error code 1
[2021-05-13 03:06:56] [INFO ] Flatten gal took : 26 ms
[2021-05-13 03:06:56] [INFO ] Applying decomposition
[2021-05-13 03:06:56] [INFO ] Flatten gal took : 21 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/graph11581130817901913321.txt, -o, /tmp/graph11581130817901913321.bin, -w, /tmp/graph11581130817901913321.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/graph11581130817901913321.bin, -l, -1, -v, -w, /tmp/graph11581130817901913321.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-13 03:06:56] [INFO ] Decomposing Gal with order
[2021-05-13 03:06:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 03:06:56] [INFO ] Removed a total of 284 redundant transitions.
[2021-05-13 03:06:56] [INFO ] Flatten gal took : 57 ms
[2021-05-13 03:06:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 117 labels/synchronizations in 10 ms.
[2021-05-13 03:06:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13613560769441177811.gal : 4 ms
[2021-05-13 03:06:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality17889545919123869139.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/ReachabilityCardinality13613560769441177811.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality17889545919123869139.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/ReachabilityCardinality13613560769441177811.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality17889545919123869139.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality13613560769441177811.gal(160) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(160) : error 3 : , at offset 31
near [Index: 1984 (Start: 23092994-Stop: 23092994) ='-', type<22> Line: 160 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(160) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(163) : error 3 : , at offset 31
near [Index: 2028 (Start: 23093134-Stop: 23093134) ='-', type<22> Line: 163 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(424) : error 3 : , at offset 32
near [Index: 5546 (Start: 23102771-Stop: 23102771) ='-', type<22> Line: 424 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(424) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(427) : error 3 : , at offset 32
near [Index: 5590 (Start: 23102915-Stop: 23102915) ='-', type<22> Line: 427 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(427) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(431) : error 3 : , at offset 32
near [Index: 5646 (Start: 23103093-Stop: 23103093) ='-', type<22> Line: 431 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(431) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(434) : error 3 : , at offset 32
near [Index: 5690 (Start: 23103237-Stop: 23103237) ='-', type<22> Line: 434 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(434) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(438) : error 3 : , at offset 32
near [Index: 5746 (Start: 23103415-Stop: 23103415) ='-', type<22> Line: 438 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(438) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(441) : error 3 : , at offset 31
near [Index: 5790 (Start: 23103558-Stop: 23103558) ='-', type<22> Line: 441 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(441) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(445) : error 3 : , at offset 31
near [Index: 5846 (Start: 23103714-Stop: 23103714) ='-', type<22> Line: 445 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(445) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(447) : error 3 : , at offset 31
near [Index: 5878 (Start: 23103814-Stop: 23103814) ='-', type<22> Line: 447 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(447) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(449) : error 3 : , at offset 31
near [Index: 5910 (Start: 23103914-Stop: 23103914) ='-', type<22> Line: 449 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(449) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(453) : error 3 : , at offset 31
near [Index: 5966 (Start: 23104070-Stop: 23104070) ='-', type<22> Line: 453 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(453) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(472) : error 3 : , at offset 31
near [Index: 6226 (Start: 23104812-Stop: 23104812) ='-', type<22> Line: 472 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(472) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(480) : error 3 : , at offset 31
near [Index: 6342 (Start: 23105170-Stop: 23105170) ='-', type<22> Line: 480 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(480) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(499) : error 3 : , at offset 31
near [Index: 6602 (Start: 23105912-Stop: 23105912) ='-', type<22> Line: 499 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(499) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(507) : error 3 : , at offset 31
near [Index: 6718 (Start: 23106270-Stop: 23106270) ='-', type<22> Line: 507 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(507) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(526) : error 3 : , at offset 31
near [Index: 6978 (Start: 23107012-Stop: 23107012) ='-', type<22> Line: 526 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(526) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(534) : error 3 : , at offset 31
near [Index: 7094 (Start: 23107370-Stop: 23107370) ='-', type<22> Line: 534 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(534) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(553) : error 3 : , at offset 31
near [Index: 7354 (Start: 23108112-Stop: 23108112) ='-', type<22> Line: 553 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(553) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(561) : error 3 : , at offset 31
near [Index: 7470 (Start: 23108470-Stop: 23108470) ='-', type<22> Line: 561 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(561) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(580) : error 3 : , at offset 31
near [Index: 7730 (Start: 23109212-Stop: 23109212) ='-', type<22> Line: 580 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(580) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(602) : error 3 : , at offset 32
near [Index: 8030 (Start: 23110141-Stop: 23110141) ='-', type<22> Line: 602 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(602) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(619) : error 3 : , at offset 32
near [Index: 8260 (Start: 23110881-Stop: 23110881) ='-', type<22> Line: 619 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(619) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(645) : error 3 : , at offset 32
near [Index: 8624 (Start: 23111988-Stop: 23111988) ='-', type<22> Line: 645 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(645) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(662) : error 3 : , at offset 33
near [Index: 8854 (Start: 23112746-Stop: 23112746) ='-', type<22> Line: 662 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(662) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(679) : error 3 : , at offset 33
near [Index: 9084 (Start: 23113507-Stop: 23113507) ='-', type<22> Line: 679 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(679) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(682) : error 3 : , at offset 32
near [Index: 9130 (Start: 23113680-Stop: 23113680) ='-', type<22> Line: 682 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(682) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(687) : error 3 : , at offset 32
near [Index: 9210 (Start: 23113905-Stop: 23113905) ='-', type<22> Line: 687 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(687) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(690) : error 3 : , at offset 32
near [Index: 9266 (Start: 23114072-Stop: 23114072) ='-', type<22> Line: 690 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(690) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(693) : error 3 : , at offset 32
near [Index: 9310 (Start: 23114209-Stop: 23114209) ='-', type<22> Line: 693 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(693) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
ITS-tools command line returned an error code 1
/tmp/ReachabilityCardinality13613560769441177811.gal(724) : error 3 : , at offset 33
near [Index: 9800 (Start: 23115646-Stop: 23115646) ='-', type<22> Line: 724 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(724) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(727) : error 3 : , at offset 33
near [Index: 9844 (Start: 23115786-Stop: 23115786) ='-', type<22> Line: 727 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(727) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(732) : error 3 : , at offset 33
near [Index: 9912 (Start: 23115984-Stop: 23115984) ='-', type<22> Line: 732 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(732) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(740) : error 3 : , at offset 33
near [Index: 10018 (Start: 23116313-Stop: 23116313) ='-', type<22> Line: 740 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(740) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(767) : error 3 : , at offset 32
near [Index: 10488 (Start: 23117649-Stop: 23117649) ='-', type<22> Line: 767 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(767) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(771) : error 3 : , at offset 32
near [Index: 10544 (Start: 23117810-Stop: 23117810) ='-', type<22> Line: 771 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(771) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(773) : error 3 : , at offset 32
near [Index: 10576 (Start: 23117913-Stop: 23117913) ='-', type<22> Line: 773 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(773) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(776) : error 3 : , at offset 32
near [Index: 10620 (Start: 23118050-Stop: 23118050) ='-', type<22> Line: 776 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(776) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(806) : error 3 : , at offset 33
near [Index: 11098 (Start: 23119461-Stop: 23119461) ='-', type<22> Line: 806 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(806) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(810) : error 3 : , at offset 33
near [Index: 11154 (Start: 23119624-Stop: 23119624) ='-', type<22> Line: 810 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(810) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(818) : error 3 : , at offset 33
near [Index: 11260 (Start: 23119956-Stop: 23119956) ='-', type<22> Line: 818 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(818) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(845) : error 3 : , at offset 32
near [Index: 11730 (Start: 23121307-Stop: 23121307) ='-', type<22> Line: 845 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(845) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(850) : error 3 : , at offset 32
near [Index: 11810 (Start: 23121532-Stop: 23121532) ='-', type<22> Line: 850 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(850) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(853) : error 3 : , at offset 32
near [Index: 11866 (Start: 23121699-Stop: 23121699) ='-', type<22> Line: 853 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(853) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(856) : error 3 : , at offset 32
near [Index: 11910 (Start: 23121836-Stop: 23121836) ='-', type<22> Line: 856 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(856) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(887) : error 3 : , at offset 33
near [Index: 12400 (Start: 23123282-Stop: 23123282) ='-', type<22> Line: 887 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(890) : error 3 : , at offset 33
near [Index: 12444 (Start: 23123422-Stop: 23123422) ='-', type<22> Line: 890 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(890) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(895) : error 3 : , at offset 33
near [Index: 12512 (Start: 23123620-Stop: 23123620) ='-', type<22> Line: 895 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(895) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(903) : error 3 : , at offset 33
near [Index: 12618 (Start: 23123952-Stop: 23123952) ='-', type<22> Line: 903 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(903) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(930) : error 3 : , at offset 32
near [Index: 13088 (Start: 23125303-Stop: 23125303) ='-', type<22> Line: 930 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(930) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(956) : error 3 : , at offset 33
near [Index: 13496 (Start: 23126551-Stop: 23126551) ='-', type<22> Line: 956 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(956) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(981) : error 3 : , at offset 32
near [Index: 13934 (Start: 23127829-Stop: 23127829) ='-', type<22> Line: 981 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(981) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(986) : error 3 : , at offset 32
near [Index: 14014 (Start: 23128057-Stop: 23128057) ='-', type<22> Line: 986 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(986) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(989) : error 3 : , at offset 32
near [Index: 14070 (Start: 23128225-Stop: 23128225) ='-', type<22> Line: 989 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(989) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(992) : error 3 : , at offset 32
near [Index: 14114 (Start: 23128363-Stop: 23128363) ='-', type<22> Line: 992 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(992) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1023) : error 3 : , at offset 33
near [Index: 14604 (Start: 23129814-Stop: 23129814) ='-', type<22> Line: 1023 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1023) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1026) : error 3 : , at offset 33
near [Index: 14648 (Start: 23129955-Stop: 23129955) ='-', type<22> Line: 1026 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1026) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1031) : error 3 : , at offset 33
near [Index: 14716 (Start: 23130156-Stop: 23130156) ='-', type<22> Line: 1031 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1031) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1039) : error 3 : , at offset 33
near [Index: 14822 (Start: 23130489-Stop: 23130489) ='-', type<22> Line: 1039 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1039) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1196) : error 3 : , at offset 28
near [Index: 16190 (Start: 23136669-Stop: 23136669) ='-', type<22> Line: 1196 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1196) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1200) : error 3 : , at offset 28
near [Index: 16218 (Start: 23136836-Stop: 23136836) ='-', type<22> Line: 1200 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1200) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1205) : error 3 : , at offset 28
near [Index: 16251 (Start: 23137040-Stop: 23137040) ='-', type<22> Line: 1205 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1205) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1210) : error 3 : , at offset 28
near [Index: 16284 (Start: 23137244-Stop: 23137244) ='-', type<22> Line: 1210 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1210) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1214) : error 3 : , at offset 28
near [Index: 16312 (Start: 23137410-Stop: 23137410) ='-', type<22> Line: 1214 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1214) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1218) : error 3 : , at offset 28
near [Index: 16340 (Start: 23137576-Stop: 23137576) ='-', type<22> Line: 1218 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1218) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1222) : error 3 : , at offset 28
near [Index: 16368 (Start: 23137742-Stop: 23137742) ='-', type<22> Line: 1222 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1226) : error 3 : , at offset 28
near [Index: 16396 (Start: 23137867-Stop: 23137867) ='-', type<22> Line: 1226 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1226) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1230) : error 3 : , at offset 28
near [Index: 16424 (Start: 23137994-Stop: 23137994) ='-', type<22> Line: 1230 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1230) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1234) : error 3 : , at offset 28
near [Index: 16452 (Start: 23138121-Stop: 23138121) ='-', type<22> Line: 1234 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1234) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1238) : error 3 : , at offset 28
near [Index: 16480 (Start: 23138248-Stop: 23138248) ='-', type<22> Line: 1238 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1238) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1242) : error 3 : , at offset 28
near [Index: 16508 (Start: 23138375-Stop: 23138375) ='-', type<22> Line: 1242 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1242) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1246) : error 3 : , at offset 28
near [Index: 16536 (Start: 23138500-Stop: 23138500) ='-', type<22> Line: 1246 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1560) : error 3 : , at offset 27
near [Index: 18654 (Start: 23147858-Stop: 23147858) ='-', type<22> Line: 1560 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1560) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1564) : error 3 : , at offset 27
near [Index: 18682 (Start: 23147982-Stop: 23147982) ='-', type<22> Line: 1564 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1564) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1569) : error 3 : , at offset 27
near [Index: 18715 (Start: 23148143-Stop: 23148143) ='-', type<22> Line: 1569 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1569) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1574) : error 3 : , at offset 27
near [Index: 18748 (Start: 23148304-Stop: 23148304) ='-', type<22> Line: 1574 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1574) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1578) : error 3 : , at offset 27
near [Index: 18776 (Start: 23148428-Stop: 23148428) ='-', type<22> Line: 1578 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1578) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1582) : error 3 : , at offset 27
near [Index: 18804 (Start: 23148552-Stop: 23148552) ='-', type<22> Line: 1582 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1582) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1786) : error 3 : , at offset 27
near [Index: 20132 (Start: 23154226-Stop: 23154226) ='-', type<22> Line: 1786 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1786) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1790) : error 3 : , at offset 27
near [Index: 20160 (Start: 23154350-Stop: 23154350) ='-', type<22> Line: 1790 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1790) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1794) : error 3 : , at offset 27
near [Index: 20188 (Start: 23154474-Stop: 23154474) ='-', type<22> Line: 1794 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1794) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1799) : error 3 : , at offset 27
near [Index: 20221 (Start: 23154634-Stop: 23154634) ='-', type<22> Line: 1799 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality13613560769441177811.gal(1799) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality13613560769441177811.gal(1804) : error 3 : , at offset 27
near [Index: 20254 (Start: 23154795-Stop: 23154795) ='-', type<22> Line: 1804 LinePos:27]
: cannot match to any predicted input...
The parser returned 166 errors, parsing aborted
Built C files in :
/tmp/ltsmin14873682585215498132
[2021-05-13 03:06:56] [INFO ] Built C files in 11ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14873682585215498132
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/ltsmin14873682585215498132]
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/ltsmin14873682585215498132] 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/ltsmin14873682585215498132] 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 2960 ms. (steps per millisecond=337 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 880 ms. (steps per millisecond=1136 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 13435713 steps, run timeout after 30001 ms. (steps per millisecond=447 ) properties seen :{}
Probabilistic random walk after 13435713 steps, saw 3032773 distinct states, run finished after 30004 ms. (steps per millisecond=447 ) properties seen :{}
Running SMT prover for 1 properties.
[2021-05-13 03:07:31] [INFO ] Flow matrix only has 190 transitions (discarded 60 similar events)
// Phase 1: matrix 190 rows 127 cols
[2021-05-13 03:07:31] [INFO ] Computed 37 place invariants in 10 ms
[2021-05-13 03:07:31] [INFO ] [Real]Absence check using 37 positive place invariants in 7 ms returned sat
[2021-05-13 03:07:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 03:07:31] [INFO ] [Real]Absence check using state equation in 113 ms returned sat
[2021-05-13 03:07:31] [INFO ] State equation strengthened by 65 read => feed constraints.
[2021-05-13 03:07:31] [INFO ] [Real]Added 65 Read/Feed constraints in 20 ms returned sat
[2021-05-13 03:07:31] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 03:07:31] [INFO ] [Nat]Absence check using 37 positive place invariants in 26 ms returned sat
[2021-05-13 03:07:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 03:07:31] [INFO ] [Nat]Absence check using state equation in 98 ms returned sat
[2021-05-13 03:07:31] [INFO ] [Nat]Added 65 Read/Feed constraints in 11 ms returned sat
[2021-05-13 03:07:31] [INFO ] Deduced a trap composed of 7 places in 97 ms of which 1 ms to minimize.
[2021-05-13 03:07:31] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 112 ms
[2021-05-13 03:07:31] [INFO ] Computed and/alt/rep : 160/770/160 causal constraints (skipped 25 transitions) in 17 ms.
[2021-05-13 03:07:31] [INFO ] Added : 49 causal constraints over 10 iterations in 133 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 2 ms.
Incomplete Parikh walk after 9900 steps, including 652 resets, run finished after 42 ms. (steps per millisecond=235 ) properties (out of 1) seen :0 could not realise parikh vector
Support contains 5 out of 127 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 127/127 places, 250/250 transitions.
Applied a total of 0 rules in 10 ms. Remains 127 /127 variables (removed 0) and now considering 250/250 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 127/127 places, 250/250 transitions.
Starting structural reductions, iteration 0 : 127/127 places, 250/250 transitions.
Applied a total of 0 rules in 10 ms. Remains 127 /127 variables (removed 0) and now considering 250/250 (removed 0) transitions.
[2021-05-13 03:07:31] [INFO ] Flow matrix only has 190 transitions (discarded 60 similar events)
// Phase 1: matrix 190 rows 127 cols
[2021-05-13 03:07:31] [INFO ] Computed 37 place invariants in 3 ms
[2021-05-13 03:07:32] [INFO ] Implicit Places using invariants in 116 ms returned [82, 83, 84, 85, 86]
Discarding 5 places :
Implicit Place search using SMT only with invariants took 122 ms to find 5 implicit places.
[2021-05-13 03:07:32] [INFO ] Redundant transitions in 10 ms returned []
[2021-05-13 03:07:32] [INFO ] Flow matrix only has 190 transitions (discarded 60 similar events)
// Phase 1: matrix 190 rows 122 cols
[2021-05-13 03:07:32] [INFO ] Computed 32 place invariants in 2 ms
[2021-05-13 03:07:32] [INFO ] Dead Transitions using invariants and state equation in 129 ms returned []
Starting structural reductions, iteration 1 : 122/127 places, 250/250 transitions.
Applied a total of 0 rules in 16 ms. Remains 122 /122 variables (removed 0) and now considering 250/250 (removed 0) transitions.
[2021-05-13 03:07:32] [INFO ] Redundant transitions in 3 ms returned []
[2021-05-13 03:07:32] [INFO ] Flow matrix only has 190 transitions (discarded 60 similar events)
// Phase 1: matrix 190 rows 122 cols
[2021-05-13 03:07:32] [INFO ] Computed 32 place invariants in 1 ms
[2021-05-13 03:07:32] [INFO ] Dead Transitions using invariants and state equation in 118 ms returned []
Finished structural reductions, in 2 iterations. Remains : 122/127 places, 250/250 transitions.
[2021-05-13 03:07:32] [INFO ] Flatten gal took : 18 ms
[2021-05-13 03:07:32] [INFO ] Flatten gal took : 17 ms
[2021-05-13 03:07:32] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality6527465636340749808.gal : 2 ms
[2021-05-13 03:07:32] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2421969774631596786.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/ReachabilityCardinality6527465636340749808.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2421969774631596786.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/ReachabilityCardinality6527465636340749808.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2421969774631596786.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality6527465636340749808.gal(125) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(125) : error 3 : , at offset 23
near [Index: 1107 (Start: 21931515-Stop: 21931515) ='-', type<22> Line: 125 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(125) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(131) : error 3 : , at offset 23
near [Index: 1167 (Start: 21931677-Stop: 21931677) ='-', type<22> Line: 131 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(131) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(137) : error 3 : , at offset 23
near [Index: 1227 (Start: 21931839-Stop: 21931839) ='-', type<22> Line: 137 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(137) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(143) : error 3 : , at offset 23
near [Index: 1287 (Start: 21932001-Stop: 21932001) ='-', type<22> Line: 143 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(143) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(149) : error 3 : , at offset 23
near [Index: 1347 (Start: 21932163-Stop: 21932163) ='-', type<22> Line: 149 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(149) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(155) : error 3 : , at offset 23
near [Index: 1407 (Start: 21932328-Stop: 21932328) ='-', type<22> Line: 155 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(155) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(159) : error 3 : , at offset 23
near [Index: 1451 (Start: 21932450-Stop: 21932450) ='-', type<22> Line: 159 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(159) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(163) : error 3 : , at offset 23
near [Index: 1495 (Start: 21932572-Stop: 21932572) ='-', type<22> Line: 163 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(167) : error 3 : , at offset 23
near [Index: 1539 (Start: 21932694-Stop: 21932694) ='-', type<22> Line: 167 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(167) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(171) : error 3 : , at offset 23
near [Index: 1583 (Start: 21932816-Stop: 21932816) ='-', type<22> Line: 171 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(171) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(445) : error 3 : , at offset 23
near [Index: 4337 (Start: 21940134-Stop: 21940134) ='-', type<22> Line: 445 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(445) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(449) : error 3 : , at offset 23
near [Index: 4381 (Start: 21940256-Stop: 21940256) ='-', type<22> Line: 449 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(449) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(453) : error 3 : , at offset 23
near [Index: 4425 (Start: 21940378-Stop: 21940378) ='-', type<22> Line: 453 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(453) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(457) : error 3 : , at offset 23
near [Index: 4469 (Start: 21940500-Stop: 21940500) ='-', type<22> Line: 457 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(457) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(461) : error 3 : , at offset 23
near [Index: 4513 (Start: 21940622-Stop: 21940622) ='-', type<22> Line: 461 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(461) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(465) : error 3 : , at offset 23
near [Index: 4557 (Start: 21940745-Stop: 21940745) ='-', type<22> Line: 465 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(465) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(471) : error 3 : , at offset 23
near [Index: 4617 (Start: 21940907-Stop: 21940907) ='-', type<22> Line: 471 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(471) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(477) : error 3 : , at offset 23
near [Index: 4677 (Start: 21941069-Stop: 21941069) ='-', type<22> Line: 477 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(477) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(483) : error 3 : , at offset 23
near [Index: 4737 (Start: 21941231-Stop: 21941231) ='-', type<22> Line: 483 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(483) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(489) : error 3 : , at offset 23
near [Index: 4797 (Start: 21941393-Stop: 21941393) ='-', type<22> Line: 489 LinePos:23]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(489) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1095) : error 3 : , at offset 24
near [Index: 10907 (Start: 21957830-Stop: 21957830) ='-', type<22> Line: 1095 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1095) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1099) : error 3 : , at offset 24
near [Index: 10951 (Start: 21957956-Stop: 21957956) ='-', type<22> Line: 1099 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1099) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1103) : error 3 : , at offset 24
near [Index: 10995 (Start: 21958082-Stop: 21958082) ='-', type<22> Line: 1103 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1103) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1107) : error 3 : , at offset 24
near [Index: 11039 (Start: 21958208-Stop: 21958208) ='-', type<22> Line: 1107 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1107) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1111) : error 3 : , at offset 24
near [Index: 11083 (Start: 21958334-Stop: 21958334) ='-', type<22> Line: 1111 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1111) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1115) : error 3 : , at offset 24
near [Index: 11127 (Start: 21958461-Stop: 21958461) ='-', type<22> Line: 1115 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1115) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1121) : error 3 : , at offset 24
near [Index: 11187 (Start: 21958627-Stop: 21958627) ='-', type<22> Line: 1121 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1121) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1127) : error 3 : , at offset 24
near [Index: 11247 (Start: 21958793-Stop: 21958793) ='-', type<22> Line: 1127 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1127) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1133) : error 3 : , at offset 24
near [Index: 11307 (Start: 21958959-Stop: 21958959) ='-', type<22> Line: 1133 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1133) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1139) : error 3 : , at offset 24
near [Index: 11367 (Start: 21959125-Stop: 21959125) ='-', type<22> Line: 1139 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1145) : error 3 : , at offset 24
near [Index: 11427 (Start: 21959294-Stop: 21959294) ='-', type<22> Line: 1145 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1145) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1153) : error 3 : , at offset 24
near [Index: 11505 (Start: 21959524-Stop: 21959524) ='-', type<22> Line: 1153 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1153) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1163) : error 3 : , at offset 24
near [Index: 11599 (Start: 21959794-Stop: 21959794) ='-', type<22> Line: 1163 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1171) : error 3 : , at offset 24
near [Index: 11677 (Start: 21960027-Stop: 21960027) ='-', type<22> Line: 1171 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1171) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1181) : error 3 : , at offset 24
near [Index: 11771 (Start: 21960300-Stop: 21960300) ='-', type<22> Line: 1181 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1181) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1189) : error 3 : , at offset 24
near [Index: 11849 (Start: 21960533-Stop: 21960533) ='-', type<22> Line: 1189 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1189) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1199) : error 3 : , at offset 24
near [Index: 11943 (Start: 21960806-Stop: 21960806) ='-', type<22> Line: 1199 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1199) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1207) : error 3 : , at offset 24
near [Index: 12021 (Start: 21961039-Stop: 21961039) ='-', type<22> Line: 1207 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1207) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1217) : error 3 : , at offset 24
near [Index: 12115 (Start: 21961312-Stop: 21961312) ='-', type<22> Line: 1217 LinePos:24]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality6527465636340749808.gal(1217) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality6527465636340749808.gal(1225) : error 3 : , at offset 24
near [Index: 12193 (Start: 21961546-Stop: 21961546) ='-', type<22> Line: 1225 LinePos:24]
: cannot match to any predicted input...
The parser returned 80 errors, parsing aborted
ITS-tools command line returned an error code 1
[2021-05-13 03:07:32] [INFO ] Flatten gal took : 18 ms
[2021-05-13 03:07:32] [INFO ] Applying decomposition
[2021-05-13 03:07:32] [INFO ] Flatten gal took : 16 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/graph683761302106871805.txt, -o, /tmp/graph683761302106871805.bin, -w, /tmp/graph683761302106871805.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/graph683761302106871805.bin, -l, -1, -v, -w, /tmp/graph683761302106871805.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-13 03:07:32] [INFO ] Decomposing Gal with order
[2021-05-13 03:07:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 03:07:32] [INFO ] Removed a total of 284 redundant transitions.
[2021-05-13 03:07:32] [INFO ] Flatten gal took : 35 ms
[2021-05-13 03:07:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 101 labels/synchronizations in 6 ms.
[2021-05-13 03:07:32] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2316697427882872216.gal : 2 ms
[2021-05-13 03:07:32] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15875251629467406530.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/ReachabilityCardinality2316697427882872216.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality15875251629467406530.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/ReachabilityCardinality2316697427882872216.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality15875251629467406530.prop --nowitness --gen-order FOLLOW
/tmp/ReachabilityCardinality2316697427882872216.gal(155) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(155) : error 3 : , at offset 31
near [Index: 1919 (Start: 27188834-Stop: 27188834) ='-', type<22> Line: 155 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(155) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(158) : error 3 : , at offset 31
near [Index: 1963 (Start: 27188974-Stop: 27188974) ='-', type<22> Line: 158 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(158) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(161) : error 3 : , at offset 31
near [Index: 2007 (Start: 27189114-Stop: 27189114) ='-', type<22> Line: 161 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(161) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(425) : error 3 : , at offset 32
near [Index: 5567 (Start: 27198871-Stop: 27198871) ='-', type<22> Line: 425 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(425) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(428) : error 3 : , at offset 32
near [Index: 5611 (Start: 27199015-Stop: 27199015) ='-', type<22> Line: 428 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(428) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(432) : error 3 : , at offset 32
near [Index: 5667 (Start: 27199193-Stop: 27199193) ='-', type<22> Line: 432 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(432) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(435) : error 3 : , at offset 32
near [Index: 5711 (Start: 27199337-Stop: 27199337) ='-', type<22> Line: 435 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(435) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(439) : error 3 : , at offset 32
near [Index: 5767 (Start: 27199515-Stop: 27199515) ='-', type<22> Line: 439 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(439) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(443) : error 3 : , at offset 31
near [Index: 5823 (Start: 27199692-Stop: 27199692) ='-', type<22> Line: 443 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(443) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(446) : error 3 : , at offset 31
near [Index: 5859 (Start: 27199806-Stop: 27199806) ='-', type<22> Line: 446 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(446) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(448) : error 3 : , at offset 31
near [Index: 5891 (Start: 27199906-Stop: 27199906) ='-', type<22> Line: 448 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(448) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(451) : error 3 : , at offset 31
near [Index: 5935 (Start: 27200034-Stop: 27200034) ='-', type<22> Line: 451 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(451) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(454) : error 3 : , at offset 31
near [Index: 5971 (Start: 27200149-Stop: 27200149) ='-', type<22> Line: 454 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(454) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(456) : error 3 : , at offset 31
near [Index: 6003 (Start: 27200250-Stop: 27200250) ='-', type<22> Line: 456 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(456) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(459) : error 3 : , at offset 31
near [Index: 6047 (Start: 27200380-Stop: 27200380) ='-', type<22> Line: 459 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(459) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(462) : error 3 : , at offset 31
near [Index: 6083 (Start: 27200494-Stop: 27200494) ='-', type<22> Line: 462 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(462) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(464) : error 3 : , at offset 31
near [Index: 6115 (Start: 27200594-Stop: 27200594) ='-', type<22> Line: 464 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(464) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(467) : error 3 : , at offset 31
near [Index: 6159 (Start: 27200722-Stop: 27200722) ='-', type<22> Line: 467 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(467) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(486) : error 3 : , at offset 31
near [Index: 6419 (Start: 27201464-Stop: 27201464) ='-', type<22> Line: 486 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(486) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(494) : error 3 : , at offset 31
near [Index: 6535 (Start: 27201822-Stop: 27201822) ='-', type<22> Line: 494 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(513) : error 3 : , at offset 31
near [Index: 6795 (Start: 27202564-Stop: 27202564) ='-', type<22> Line: 513 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(513) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(521) : error 3 : , at offset 31
near [Index: 6911 (Start: 27202922-Stop: 27202922) ='-', type<22> Line: 521 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(521) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(540) : error 3 : , at offset 31
near [Index: 7171 (Start: 27203664-Stop: 27203664) ='-', type<22> Line: 540 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(540) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(548) : error 3 : , at offset 31
near [Index: 7287 (Start: 27204022-Stop: 27204022) ='-', type<22> Line: 548 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(548) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
ITS-tools command line returned an error code 1
/tmp/ReachabilityCardinality2316697427882872216.gal(567) : error 3 : , at offset 31
near [Index: 7547 (Start: 27204764-Stop: 27204764) ='-', type<22> Line: 567 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(567) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(575) : error 3 : , at offset 31
near [Index: 7663 (Start: 27205122-Stop: 27205122) ='-', type<22> Line: 575 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(575) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(594) : error 3 : , at offset 31
near [Index: 7923 (Start: 27205864-Stop: 27205864) ='-', type<22> Line: 594 LinePos:31]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(594) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(616) : error 3 : , at offset 32
near [Index: 8223 (Start: 27206793-Stop: 27206793) ='-', type<22> Line: 616 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(616) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(633) : error 3 : , at offset 33
near [Index: 8453 (Start: 27207551-Stop: 27207551) ='-', type<22> Line: 633 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(633) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(659) : error 3 : , at offset 33
near [Index: 8817 (Start: 27208691-Stop: 27208691) ='-', type<22> Line: 659 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(659) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(676) : error 3 : , at offset 33
near [Index: 9047 (Start: 27209452-Stop: 27209452) ='-', type<22> Line: 676 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(676) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(693) : error 3 : , at offset 33
near [Index: 9277 (Start: 27210213-Stop: 27210213) ='-', type<22> Line: 693 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(693) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(696) : error 3 : , at offset 32
near [Index: 9323 (Start: 27210386-Stop: 27210386) ='-', type<22> Line: 696 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(696) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(701) : error 3 : , at offset 32
near [Index: 9403 (Start: 27210611-Stop: 27210611) ='-', type<22> Line: 701 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(701) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(704) : error 3 : , at offset 32
near [Index: 9459 (Start: 27210778-Stop: 27210778) ='-', type<22> Line: 704 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(704) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(707) : error 3 : , at offset 32
near [Index: 9503 (Start: 27210915-Stop: 27210915) ='-', type<22> Line: 707 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(707) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(738) : error 3 : , at offset 33
near [Index: 9933 (Start: 27212202-Stop: 27212202) ='-', type<22> Line: 738 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(738) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(741) : error 3 : , at offset 33
near [Index: 9977 (Start: 27212342-Stop: 27212342) ='-', type<22> Line: 741 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(741) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(746) : error 3 : , at offset 33
near [Index: 10045 (Start: 27212540-Stop: 27212540) ='-', type<22> Line: 746 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(746) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(753) : error 3 : , at offset 33
near [Index: 10139 (Start: 27212833-Stop: 27212833) ='-', type<22> Line: 753 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(753) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(777) : error 3 : , at offset 32
near [Index: 10549 (Start: 27214001-Stop: 27214001) ='-', type<22> Line: 777 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(777) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(780) : error 3 : , at offset 32
near [Index: 10593 (Start: 27214133-Stop: 27214133) ='-', type<22> Line: 780 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(780) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(783) : error 3 : , at offset 32
near [Index: 10637 (Start: 27214270-Stop: 27214270) ='-', type<22> Line: 783 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(783) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(812) : error 3 : , at offset 33
near [Index: 11035 (Start: 27215487-Stop: 27215487) ='-', type<22> Line: 812 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(812) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(815) : error 3 : , at offset 33
near [Index: 11071 (Start: 27215606-Stop: 27215606) ='-', type<22> Line: 815 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(815) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(822) : error 3 : , at offset 33
near [Index: 11165 (Start: 27215902-Stop: 27215902) ='-', type<22> Line: 822 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(822) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(845) : error 3 : , at offset 32
near [Index: 11555 (Start: 27217041-Stop: 27217041) ='-', type<22> Line: 845 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(845) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(850) : error 3 : , at offset 32
near [Index: 11635 (Start: 27217266-Stop: 27217266) ='-', type<22> Line: 850 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(850) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(853) : error 3 : , at offset 32
near [Index: 11691 (Start: 27217433-Stop: 27217433) ='-', type<22> Line: 853 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(853) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(856) : error 3 : , at offset 32
near [Index: 11735 (Start: 27217570-Stop: 27217570) ='-', type<22> Line: 856 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(856) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(887) : error 3 : , at offset 33
near [Index: 12165 (Start: 27218866-Stop: 27218866) ='-', type<22> Line: 887 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(890) : error 3 : , at offset 33
near [Index: 12209 (Start: 27219006-Stop: 27219006) ='-', type<22> Line: 890 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(890) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(895) : error 3 : , at offset 33
near [Index: 12277 (Start: 27219204-Stop: 27219204) ='-', type<22> Line: 895 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(895) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(902) : error 3 : , at offset 33
near [Index: 12371 (Start: 27219500-Stop: 27219500) ='-', type<22> Line: 902 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(902) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(926) : error 3 : , at offset 32
near [Index: 12781 (Start: 27220683-Stop: 27220683) ='-', type<22> Line: 926 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(926) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(929) : error 3 : , at offset 32
near [Index: 12825 (Start: 27220815-Stop: 27220815) ='-', type<22> Line: 929 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(929) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(932) : error 3 : , at offset 32
near [Index: 12869 (Start: 27220952-Stop: 27220952) ='-', type<22> Line: 932 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(932) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(961) : error 3 : , at offset 33
near [Index: 13267 (Start: 27222169-Stop: 27222169) ='-', type<22> Line: 961 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(961) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(964) : error 3 : , at offset 33
near [Index: 13303 (Start: 27222288-Stop: 27222288) ='-', type<22> Line: 964 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(964) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(971) : error 3 : , at offset 33
near [Index: 13397 (Start: 27222584-Stop: 27222584) ='-', type<22> Line: 971 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(971) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(994) : error 3 : , at offset 32
near [Index: 13787 (Start: 27223723-Stop: 27223723) ='-', type<22> Line: 994 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(994) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(997) : error 3 : , at offset 32
near [Index: 13831 (Start: 27223857-Stop: 27223857) ='-', type<22> Line: 997 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(997) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1000) : error 3 : , at offset 32
near [Index: 13875 (Start: 27223995-Stop: 27223995) ='-', type<22> Line: 1000 LinePos:32]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1000) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1029) : error 3 : , at offset 33
near [Index: 14273 (Start: 27225215-Stop: 27225215) ='-', type<22> Line: 1029 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1029) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1032) : error 3 : , at offset 33
near [Index: 14309 (Start: 27225335-Stop: 27225335) ='-', type<22> Line: 1032 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1032) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1039) : error 3 : , at offset 33
near [Index: 14403 (Start: 27225632-Stop: 27225632) ='-', type<22> Line: 1039 LinePos:33]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1039) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1192) : error 3 : , at offset 28
near [Index: 15691 (Start: 27231598-Stop: 27231598) ='-', type<22> Line: 1192 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1192) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1197) : error 3 : , at offset 28
near [Index: 15724 (Start: 27231802-Stop: 27231802) ='-', type<22> Line: 1197 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1197) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1201) : error 3 : , at offset 28
near [Index: 15752 (Start: 27231969-Stop: 27231969) ='-', type<22> Line: 1201 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1201) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1206) : error 3 : , at offset 28
near [Index: 15785 (Start: 27232172-Stop: 27232172) ='-', type<22> Line: 1206 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1206) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1210) : error 3 : , at offset 28
near [Index: 15813 (Start: 27232338-Stop: 27232338) ='-', type<22> Line: 1210 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1210) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1214) : error 3 : , at offset 28
near [Index: 15841 (Start: 27232505-Stop: 27232505) ='-', type<22> Line: 1214 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1214) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1219) : error 3 : , at offset 28
near [Index: 15874 (Start: 27232709-Stop: 27232709) ='-', type<22> Line: 1219 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1219) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1223) : error 3 : , at offset 28
near [Index: 15902 (Start: 27232876-Stop: 27232876) ='-', type<22> Line: 1223 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1223) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1227) : error 3 : , at offset 28
near [Index: 15930 (Start: 27233043-Stop: 27233043) ='-', type<22> Line: 1227 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1227) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1232) : error 3 : , at offset 28
near [Index: 15963 (Start: 27233207-Stop: 27233207) ='-', type<22> Line: 1232 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1232) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1237) : error 3 : , at offset 28
near [Index: 15996 (Start: 27233371-Stop: 27233371) ='-', type<22> Line: 1237 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1237) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1241) : error 3 : , at offset 28
near [Index: 16024 (Start: 27233498-Stop: 27233498) ='-', type<22> Line: 1241 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1241) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1246) : error 3 : , at offset 28
near [Index: 16057 (Start: 27233662-Stop: 27233662) ='-', type<22> Line: 1246 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1250) : error 3 : , at offset 28
near [Index: 16085 (Start: 27233789-Stop: 27233789) ='-', type<22> Line: 1250 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1254) : error 3 : , at offset 28
near [Index: 16113 (Start: 27233913-Stop: 27233913) ='-', type<22> Line: 1254 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1254) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1258) : error 3 : , at offset 28
near [Index: 16141 (Start: 27234037-Stop: 27234037) ='-', type<22> Line: 1258 LinePos:28]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1568) : error 3 : , at offset 27
near [Index: 18233 (Start: 27243294-Stop: 27243294) ='-', type<22> Line: 1568 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1568) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1573) : error 3 : , at offset 27
near [Index: 18266 (Start: 27243455-Stop: 27243455) ='-', type<22> Line: 1573 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1573) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1578) : error 3 : , at offset 27
near [Index: 18299 (Start: 27243616-Stop: 27243616) ='-', type<22> Line: 1578 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1578) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1582) : error 3 : , at offset 27
near [Index: 18327 (Start: 27243740-Stop: 27243740) ='-', type<22> Line: 1582 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1582) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1587) : error 3 : , at offset 27
near [Index: 18360 (Start: 27243901-Stop: 27243901) ='-', type<22> Line: 1587 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1587) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/ReachabilityCardinality2316697427882872216.gal(1591) : error 3 : , at offset 27
near [Index: 18388 (Start: 27244025-Stop: 27244025) ='-', type<22> Line: 1591 LinePos:27]
: cannot match to any predicted input...
/tmp/ReachabilityCardinality2316697427882872216.gal(1591) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='