About the Execution of 2020-gold for LamportFastMutEx-COL-7
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16246.504 | 1209360.00 | 982234.00 | 124548.60 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r131-tall-162075426300079.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 gold2020
Input is LamportFastMutEx-COL-7, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r131-tall-162075426300079
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 141K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 92K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 06:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 06:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 07:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 07:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 43K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of positive values
NUM_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-00
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-01
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-02
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-03
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-04
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-05
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-06
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-07
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-08
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-09
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-10
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-11
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-12
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-13
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-14
FORMULA_NAME LamportFastMutEx-COL-7-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1620907114043
[2021-05-13 11:58:35] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-13 11:58:35] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 11:58:36] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2021-05-13 11:58:36] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 577 ms
[2021-05-13 11:58:36] [INFO ] sort/places :
pid * pid->P-wait,P-done,
pid * bool->P-b,
pid->P-start_1,x,y,P-setx_3,P-setbi_5,P-ify0_4,P-sety_9,P-ifxi_10,P-setbi_11,P-fordo_12,P-await_13,P-ifyi_15,P-awaity,P-CS_21,P-setbi_24,
[2021-05-13 11:58:36] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 264 PT places and 672.0 transition bindings in 20 ms.
[2021-05-13 11:58:36] [INFO ] Computed order based on color domains.
[2021-05-13 11:58:36] [INFO ] Unfolded HLPN to a Petri net with 264 places and 536 transitions in 17 ms.
[2021-05-13 11:58:36] [INFO ] Unfolded HLPN properties in 0 ms.
Deduced a syphon composed of 45 places in 3 ms
Reduce places removed 45 places and 74 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 36 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2021-05-13 11:58:36] [INFO ] Flatten gal took : 66 ms
[2021-05-13 11:58:36] [INFO ] Applying decomposition
[2021-05-13 11:58:36] [INFO ] Flatten gal took : 38 ms
[2021-05-13 11:58:36] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 16 ms
[2021-05-13 11:58:36] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.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.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
/home/mcc/execution/UpperBounds.pnml.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(222) : error 3 : , at offset 23
near [Index: 1980 (Start: 24469032-Stop: 24469032) ='-', type<22> Line: 222 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(228) : error 3 : , at offset 23
near [Index: 2040 (Start: 24469194-Stop: 24469194) ='-', type<22> Line: 228 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(228) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(234) : error 3 : , at offset 23
near [Index: 2100 (Start: 24469356-Stop: 24469356) ='-', type<22> Line: 234 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(234) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(240) : error 3 : , at offset 23
near [Index: 2160 (Start: 24469518-Stop: 24469518) ='-', type<22> Line: 240 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(240) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(246) : error 3 : , at offset 23
near [Index: 2220 (Start: 24469680-Stop: 24469680) ='-', type<22> Line: 246 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(252) : error 3 : , at offset 23
near [Index: 2280 (Start: 24469845-Stop: 24469845) ='-', type<22> Line: 252 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(252) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(258) : error 3 : , at offset 23
near [Index: 2340 (Start: 24470010-Stop: 24470010) ='-', type<22> Line: 258 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(264) : error 3 : , at offset 23
near [Index: 2400 (Start: 24470175-Stop: 24470175) ='-', type<22> Line: 264 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(264) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(268) : error 3 : , at offset 23
near [Index: 2444 (Start: 24470297-Stop: 24470297) ='-', type<22> Line: 268 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(268) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(272) : error 3 : , at offset 23
near [Index: 2488 (Start: 24470419-Stop: 24470419) ='-', type<22> Line: 272 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(272) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(276) : error 3 : , at offset 23
near [Index: 2532 (Start: 24470541-Stop: 24470541) ='-', type<22> Line: 276 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(276) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(280) : error 3 : , at offset 23
near [Index: 2576 (Start: 24470663-Stop: 24470663) ='-', type<22> Line: 280 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(284) : error 3 : , at offset 23
near [Index: 2620 (Start: 24470786-Stop: 24470786) ='-', type<22> Line: 284 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(284) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(288) : error 3 : , at offset 23
near [Index: 2664 (Start: 24470909-Stop: 24470909) ='-', type<22> Line: 288 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(288) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(810) : error 3 : , at offset 23
near [Index: 7902 (Start: 24484815-Stop: 24484815) ='-', type<22> Line: 810 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(810) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(814) : error 3 : , at offset 23
near [Index: 7946 (Start: 24484937-Stop: 24484937) ='-', type<22> Line: 814 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(814) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(818) : error 3 : , at offset 23
near [Index: 7990 (Start: 24485059-Stop: 24485059) ='-', type<22> Line: 818 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(818) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(822) : error 3 : , at offset 23
near [Index: 8034 (Start: 24485181-Stop: 24485181) ='-', type<22> Line: 822 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(822) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(826) : error 3 : , at offset 23
near [Index: 8078 (Start: 24485303-Stop: 24485303) ='-', type<22> Line: 826 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(826) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(830) : error 3 : , at offset 23
near [Index: 8122 (Start: 24485426-Stop: 24485426) ='-', type<22> Line: 830 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(830) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(834) : error 3 : , at offset 23
near [Index: 8166 (Start: 24485549-Stop: 24485549) ='-', type<22> Line: 834 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(834) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(838) : error 3 : , at offset 23
near [Index: 8210 (Start: 24485672-Stop: 24485672) ='-', type<22> Line: 838 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(838) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(844) : error 3 : , at offset 23
near [Index: 8270 (Start: 24485834-Stop: 24485834) ='-', type<22> Line: 844 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(844) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(850) : error 3 : , at offset 23
near [Index: 8330 (Start: 24485996-Stop: 24485996) ='-', type<22> Line: 850 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(850) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(856) : error 3 : , at offset 23
near [Index: 8390 (Start: 24486158-Stop: 24486158) ='-', type<22> Line: 856 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(856) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(862) : error 3 : , at offset 23
near [Index: 8450 (Start: 24486320-Stop: 24486320) ='-', type<22> Line: 862 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(862) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(868) : error 3 : , at offset 23
near [Index: 8510 (Start: 24486485-Stop: 24486485) ='-', type<22> Line: 868 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(868) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(874) : error 3 : , at offset 23
near [Index: 8570 (Start: 24486650-Stop: 24486650) ='-', type<22> Line: 874 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(874) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1454) : error 3 : , at offset 24
near [Index: 14412 (Start: 24502426-Stop: 24502426) ='-', type<22> Line: 1454 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1454) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1458) : error 3 : , at offset 24
near [Index: 14456 (Start: 24502553-Stop: 24502553) ='-', type<22> Line: 1458 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1458) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1462) : error 3 : , at offset 24
near [Index: 14500 (Start: 24502680-Stop: 24502680) ='-', type<22> Line: 1462 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1462) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1466) : error 3 : , at offset 24
near [Index: 14544 (Start: 24502807-Stop: 24502807) ='-', type<22> Line: 1466 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1466) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1470) : error 3 : , at offset 24
near [Index: 14588 (Start: 24502934-Stop: 24502934) ='-', type<22> Line: 1470 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1470) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1474) : error 3 : , at offset 24
near [Index: 14632 (Start: 24503062-Stop: 24503062) ='-', type<22> Line: 1474 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1474) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1478) : error 3 : , at offset 24
near [Index: 14676 (Start: 24503190-Stop: 24503190) ='-', type<22> Line: 1478 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1478) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1482) : error 3 : , at offset 24
near [Index: 14720 (Start: 24503318-Stop: 24503318) ='-', type<22> Line: 1482 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1488) : error 3 : , at offset 24
near [Index: 14780 (Start: 24503485-Stop: 24503485) ='-', type<22> Line: 1488 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1494) : error 3 : , at offset 24
near [Index: 14840 (Start: 24503652-Stop: 24503652) ='-', type<22> Line: 1494 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1500) : error 3 : , at offset 24
near [Index: 14900 (Start: 24503819-Stop: 24503819) ='-', type<22> Line: 1500 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1500) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1506) : error 3 : , at offset 24
near [Index: 14960 (Start: 24503986-Stop: 24503986) ='-', type<22> Line: 1506 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1512) : error 3 : , at offset 24
near [Index: 15020 (Start: 24504156-Stop: 24504156) ='-', type<22> Line: 1512 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1512) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1518) : error 3 : , at offset 24
near [Index: 15080 (Start: 24504326-Stop: 24504326) ='-', type<22> Line: 1518 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1518) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2448) : error 3 : , at offset 24
near [Index: 25024 (Start: 24531503-Stop: 24531503) ='-', type<22> Line: 2448 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2448) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2452) : error 3 : , at offset 24
near [Index: 25068 (Start: 24531629-Stop: 24531629) ='-', type<22> Line: 2452 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2452) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2456) : error 3 : , at offset 24
near [Index: 25112 (Start: 24531755-Stop: 24531755) ='-', type<22> Line: 2456 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2456) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2460) : error 3 : , at offset 24
near [Index: 25156 (Start: 24531881-Stop: 24531881) ='-', type<22> Line: 2460 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2460) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
ITS-tools command line returned an error code 1
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2464) : error 3 : , at offset 24
near [Index: 25200 (Start: 24532007-Stop: 24532007) ='-', type<22> Line: 2464 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2464) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2468) : error 3 : , at offset 24
near [Index: 25244 (Start: 24532134-Stop: 24532134) ='-', type<22> Line: 2468 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2468) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2472) : error 3 : , at offset 24
near [Index: 25288 (Start: 24532261-Stop: 24532261) ='-', type<22> Line: 2472 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2472) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2476) : error 3 : , at offset 24
near [Index: 25332 (Start: 24532388-Stop: 24532388) ='-', type<22> Line: 2476 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2476) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2482) : error 3 : , at offset 24
near [Index: 25392 (Start: 24532554-Stop: 24532554) ='-', type<22> Line: 2482 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2488) : error 3 : , at offset 24
near [Index: 25452 (Start: 24532720-Stop: 24532720) ='-', type<22> Line: 2488 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2494) : error 3 : , at offset 24
near [Index: 25512 (Start: 24532886-Stop: 24532886) ='-', type<22> Line: 2494 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2500) : error 3 : , at offset 24
near [Index: 25572 (Start: 24533052-Stop: 24533052) ='-', type<22> Line: 2500 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2500) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2506) : error 3 : , at offset 24
near [Index: 25632 (Start: 24533221-Stop: 24533221) ='-', type<22> Line: 2506 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2512) : error 3 : , at offset 24
near [Index: 25692 (Start: 24533390-Stop: 24533390) ='-', type<22> Line: 2512 LinePos:24]
: cannot match to any predicted input...
The parser returned 112 errors, parsing aborted
[2021-05-13 11:58:37] [INFO ] Applying decomposition
[2021-05-13 11:58:37] [INFO ] Flatten gal took : 42 ms
[2021-05-13 11:58:37] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 6 ms
[2021-05-13 11:58:37] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.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.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
/home/mcc/execution/UpperBounds.pnml.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(222) : error 3 : , at offset 23
near [Index: 1980 (Start: 15646248-Stop: 15646248) ='-', type<22> Line: 222 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(222) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(228) : error 3 : , at offset 23
near [Index: 2040 (Start: 15646410-Stop: 15646410) ='-', type<22> Line: 228 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(228) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(234) : error 3 : , at offset 23
near [Index: 2100 (Start: 15646572-Stop: 15646572) ='-', type<22> Line: 234 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(234) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(240) : error 3 : , at offset 23
near [Index: 2160 (Start: 15646734-Stop: 15646734) ='-', type<22> Line: 240 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(240) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(246) : error 3 : , at offset 23
near [Index: 2220 (Start: 15646896-Stop: 15646896) ='-', type<22> Line: 246 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(246) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(252) : error 3 : , at offset 23
near [Index: 2280 (Start: 15647061-Stop: 15647061) ='-', type<22> Line: 252 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(252) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(258) : error 3 : , at offset 23
near [Index: 2340 (Start: 15647226-Stop: 15647226) ='-', type<22> Line: 258 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(264) : error 3 : , at offset 23
near [Index: 2400 (Start: 15647391-Stop: 15647391) ='-', type<22> Line: 264 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(264) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(268) : error 3 : , at offset 23
near [Index: 2444 (Start: 15647513-Stop: 15647513) ='-', type<22> Line: 268 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(268) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(272) : error 3 : , at offset 23
near [Index: 2488 (Start: 15647635-Stop: 15647635) ='-', type<22> Line: 272 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(272) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(276) : error 3 : , at offset 23
near [Index: 2532 (Start: 15647757-Stop: 15647757) ='-', type<22> Line: 276 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(276) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(280) : error 3 : , at offset 23
near [Index: 2576 (Start: 15647879-Stop: 15647879) ='-', type<22> Line: 280 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(284) : error 3 : , at offset 23
near [Index: 2620 (Start: 15648002-Stop: 15648002) ='-', type<22> Line: 284 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(284) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(288) : error 3 : , at offset 23
near [Index: 2664 (Start: 15648125-Stop: 15648125) ='-', type<22> Line: 288 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(288) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(810) : error 3 : , at offset 23
near [Index: 7902 (Start: 15662031-Stop: 15662031) ='-', type<22> Line: 810 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(810) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(814) : error 3 : , at offset 23
near [Index: 7946 (Start: 15662153-Stop: 15662153) ='-', type<22> Line: 814 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(814) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(818) : error 3 : , at offset 23
near [Index: 7990 (Start: 15662275-Stop: 15662275) ='-', type<22> Line: 818 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(818) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(822) : error 3 : , at offset 23
near [Index: 8034 (Start: 15662397-Stop: 15662397) ='-', type<22> Line: 822 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(822) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(826) : error 3 : , at offset 23
near [Index: 8078 (Start: 15662519-Stop: 15662519) ='-', type<22> Line: 826 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(826) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(830) : error 3 : , at offset 23
near [Index: 8122 (Start: 15662642-Stop: 15662642) ='-', type<22> Line: 830 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(830) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(834) : error 3 : , at offset 23
near [Index: 8166 (Start: 15662765-Stop: 15662765) ='-', type<22> Line: 834 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(834) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(838) : error 3 : , at offset 23
near [Index: 8210 (Start: 15662888-Stop: 15662888) ='-', type<22> Line: 838 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(838) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(844) : error 3 : , at offset 23
near [Index: 8270 (Start: 15663050-Stop: 15663050) ='-', type<22> Line: 844 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(844) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(850) : error 3 : , at offset 23
near [Index: 8330 (Start: 15663212-Stop: 15663212) ='-', type<22> Line: 850 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(850) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(856) : error 3 : , at offset 23
near [Index: 8390 (Start: 15663374-Stop: 15663374) ='-', type<22> Line: 856 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(856) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(862) : error 3 : , at offset 23
near [Index: 8450 (Start: 15663536-Stop: 15663536) ='-', type<22> Line: 862 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(862) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(868) : error 3 : , at offset 23
near [Index: 8510 (Start: 15663701-Stop: 15663701) ='-', type<22> Line: 868 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(868) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(874) : error 3 : , at offset 23
near [Index: 8570 (Start: 15663866-Stop: 15663866) ='-', type<22> Line: 874 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(874) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1454) : error 3 : , at offset 24
near [Index: 14412 (Start: 15679642-Stop: 15679642) ='-', type<22> Line: 1454 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1454) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1458) : error 3 : , at offset 24
near [Index: 14456 (Start: 15679769-Stop: 15679769) ='-', type<22> Line: 1458 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1458) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1462) : error 3 : , at offset 24
near [Index: 14500 (Start: 15679896-Stop: 15679896) ='-', type<22> Line: 1462 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1462) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1466) : error 3 : , at offset 24
near [Index: 14544 (Start: 15680023-Stop: 15680023) ='-', type<22> Line: 1466 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1466) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1470) : error 3 : , at offset 24
near [Index: 14588 (Start: 15680150-Stop: 15680150) ='-', type<22> Line: 1470 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1470) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1474) : error 3 : , at offset 24
near [Index: 14632 (Start: 15680278-Stop: 15680278) ='-', type<22> Line: 1474 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1474) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1478) : error 3 : , at offset 24
near [Index: 14676 (Start: 15680406-Stop: 15680406) ='-', type<22> Line: 1478 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1478) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1482) : error 3 : , at offset 24
near [Index: 14720 (Start: 15680534-Stop: 15680534) ='-', type<22> Line: 1482 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1488) : error 3 : , at offset 24
near [Index: 14780 (Start: 15680701-Stop: 15680701) ='-', type<22> Line: 1488 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1494) : error 3 : , at offset 24
near [Index: 14840 (Start: 15680868-Stop: 15680868) ='-', type<22> Line: 1494 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1500) : error 3 : , at offset 24
near [Index: 14900 (Start: 15681035-Stop: 15681035) ='-', type<22> Line: 1500 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1500) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1506) : error 3 : , at offset 24
near [Index: 14960 (Start: 15681202-Stop: 15681202) ='-', type<22> Line: 1506 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1512) : error 3 : , at offset 24
near [Index: 15020 (Start: 15681372-Stop: 15681372) ='-', type<22> Line: 1512 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1512) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1518) : error 3 : , at offset 24
near [Index: 15080 (Start: 15681542-Stop: 15681542) ='-', type<22> Line: 1518 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1518) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2448) : error 3 : , at offset 24
near [Index: 25024 (Start: 15708719-Stop: 15708719) ='-', type<22> Line: 2448 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2448) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2452) : error 3 : , at offset 24
near [Index: 25068 (Start: 15708845-Stop: 15708845) ='-', type<22> Line: 2452 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2452) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2456) : error 3 : , at offset 24
near [Index: 25112 (Start: 15708971-Stop: 15708971) ='-', type<22> Line: 2456 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2456) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2460) : error 3 : , at offset 24
near [Index: 25156 (Start: 15709097-Stop: 15709097) ='-', type<22> Line: 2460 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2460) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2464) : error 3 : , at offset 24
near [Index: 25200 (Start: 15709223-Stop: 15709223) ='-', type<22> Line: 2464 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2464) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2468) : error 3 : , at offset 24
near [Index: 25244 (Start: 15709350-Stop: 15709350) ='-', type<22> Line: 2468 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2468) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2472) : error 3 : , at offset 24
near [Index: 25288 (Start: 15709477-Stop: 15709477) ='-', type<22> Line: 2472 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2472) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2476) : error 3 : , at offset 24
near [Index: 25332 (Start: 15709604-Stop: 15709604) ='-', type<22> Line: 2476 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2476) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2482) : error 3 : , at offset 24
near [Index: 25392 (Start: 15709770-Stop: 15709770) ='-', type<22> Line: 2482 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2488) : error 3 : , at offset 24
near [Index: 25452 (Start: 15709936-Stop: 15709936) ='-', type<22> Line: 2488 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2488) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2494) : error 3 : , at offset 24
near [Index: 25512 (Start: 15710102-Stop: 15710102) ='-', type<22> Line: 2494 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2494) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2500) : error 3 : , at offset 24
near [Index: 25572 (Start: 15710268-Stop: 15710268) ='-', type<22> Line: 2500 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2500) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2506) : error 3 : , at offset 24
near [Index: 25632 (Start: 15710437-Stop: 15710437) ='-', type<22> Line: 2506 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(2506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(2512) : error 3 : , at offset 24
near [Index: 25692 (Start: 15710606-Stop: 15710606) ='-', type<22> Line: 2512 LinePos:24]
: cannot match to any predicted input...
The parser returned 112 errors, parsing aborted
ITS-tools command line returned an error code 1
[2021-05-13 11:58:37] [INFO ] Flatten gal took : 34 ms
[2021-05-13 11:58:37] [INFO ] Input system was already deterministic with 462 transitions.
[2021-05-13 11:58:37] [INFO ] Transformed 219 places.
[2021-05-13 11:58:37] [INFO ] Transformed 462 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-13 11:58:37] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 4 ms
[2021-05-13 11:58:37] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file UpperBounds.prop.
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-00 with value :P_ify0_4_1+P_ify0_4_2+P_ify0_4_3+P_ify0_4_4+P_ify0_4_5+P_ify0_4_6+P_ify0_4_7
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-01 with value :P_setbi_24_1+P_setbi_24_2+P_setbi_24_3+P_setbi_24_4+P_setbi_24_5+P_setbi_24_6+P_setbi_24_7
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-02 with value :P_setbi_11_1+P_setbi_11_2+P_setbi_11_3+P_setbi_11_4+P_setbi_11_5+P_setbi_11_6+P_setbi_11_7
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-03 with value :P_start_1_1+P_start_1_2+P_start_1_3+P_start_1_4+P_start_1_5+P_start_1_6+P_start_1_7
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-04 with value :P_fordo_12_1+P_fordo_12_2+P_fordo_12_3+P_fordo_12_4+P_fordo_12_5+P_fordo_12_6+P_fordo_12_7
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-05 with value :P_setbi_24_1+P_setbi_24_2+P_setbi_24_3+P_setbi_24_4+P_setbi_24_5+P_setbi_24_6+P_setbi_24_7
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-06 with value :P_wait_9+P_wait_10+P_wait_11+P_wait_12+P_wait_13+P_wait_14+P_wait_15+P_wait_17+P_wait_18+P_wait_19+P_wait_20+P_wait_21+P_wait_22+P_wait_23+P_wait_25+P_wait_26+P_wait_27+P_wait_28+P_wait_29+P_wait_30+P_wait_31+P_wait_33+P_wait_34+P_wait_35+P_wait_36+P_wait_37+P_wait_38+P_wait_39+P_wait_41+P_wait_42+P_wait_43+P_wait_44+P_wait_45+P_wait_46+P_wait_47+P_wait_49+P_wait_50+P_wait_51+P_wait_52+P_wait_53+P_wait_54+P_wait_55+P_wait_57+P_wait_58+P_wait_59+P_wait_60+P_wait_61+P_wait_62+P_wait_63
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-07 with value :P_setbi_5_1+P_setbi_5_2+P_setbi_5_3+P_setbi_5_4+P_setbi_5_5+P_setbi_5_6+P_setbi_5_7
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-08 with value :
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-09 with value :P_wait_9+P_wait_10+P_wait_11+P_wait_12+P_wait_13+P_wait_14+P_wait_15+P_wait_17+P_wait_18+P_wait_19+P_wait_20+P_wait_21+P_wait_22+P_wait_23+P_wait_25+P_wait_26+P_wait_27+P_wait_28+P_wait_29+P_wait_30+P_wait_31+P_wait_33+P_wait_34+P_wait_35+P_wait_36+P_wait_37+P_wait_38+P_wait_39+P_wait_41+P_wait_42+P_wait_43+P_wait_44+P_wait_45+P_wait_46+P_wait_47+P_wait_49+P_wait_50+P_wait_51+P_wait_52+P_wait_53+P_wait_54+P_wait_55+P_wait_57+P_wait_58+P_wait_59+P_wait_60+P_wait_61+P_wait_62+P_wait_63
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-10 with value :
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-11 with value :P_sety_9_1+P_sety_9_2+P_sety_9_3+P_sety_9_4+P_sety_9_5+P_sety_9_6+P_sety_9_7
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-12 with value :
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-13 with value :P_setbi_24_1+P_setbi_24_2+P_setbi_24_3+P_setbi_24_4+P_setbi_24_5+P_setbi_24_6+P_setbi_24_7
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-14 with value :P_done_9+P_done_10+P_done_11+P_done_12+P_done_13+P_done_14+P_done_15+P_done_17+P_done_18+P_done_19+P_done_20+P_done_21+P_done_22+P_done_23+P_done_25+P_done_26+P_done_27+P_done_28+P_done_29+P_done_30+P_done_31+P_done_33+P_done_34+P_done_35+P_done_36+P_done_37+P_done_38+P_done_39+P_done_41+P_done_42+P_done_43+P_done_44+P_done_45+P_done_46+P_done_47+P_done_49+P_done_50+P_done_51+P_done_52+P_done_53+P_done_54+P_done_55+P_done_57+P_done_58+P_done_59+P_done_60+P_done_61+P_done_62+P_done_63
Read [bounds] property : LamportFastMutEx-COL-7-UpperBounds-15 with value :
Detected timeout of ITS tools.
BK_STOP 1620908323403
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination UpperBounds -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-COL-7"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is LamportFastMutEx-COL-7, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r131-tall-162075426300079"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-7.tgz
mv LamportFastMutEx-COL-7 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;