About the Execution of 2020-gold for LamportFastMutEx-COL-8
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16240.224 | 1211949.00 | 945308.00 | 170821.30 | [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-162075426300080.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-8, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r131-tall-162075426300080
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 404K
-rw-r--r-- 1 mcc users 19K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 144K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Apr 26 07:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 26 07:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 26 07:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 26 07:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 06:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 06:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 07:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 07:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 44K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
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-8-UpperBounds-00
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-01
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-02
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-03
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-04
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-05
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-06
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-07
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-08
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-09
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-10
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-11
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-12
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-13
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-14
FORMULA_NAME LamportFastMutEx-COL-8-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1620907730138
[2021-05-13 12:08:51] [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 12:08:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 12:08:51] [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 12:08:52] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 589 ms
[2021-05-13 12:08:52] [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 12:08:52] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 315 PT places and 837.0 transition bindings in 26 ms.
[2021-05-13 12:08:52] [INFO ] Computed order based on color domains.
[2021-05-13 12:08:52] [INFO ] Unfolded HLPN to a Petri net with 315 places and 666 transitions in 21 ms.
[2021-05-13 12:08:52] [INFO ] Unfolded HLPN properties in 1 ms.
Deduced a syphon composed of 49 places in 4 ms
Reduce places removed 49 places and 82 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 41 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 12:08:52] [INFO ] Flatten gal took : 102 ms
[2021-05-13 12:08:52] [INFO ] Applying decomposition
[2021-05-13 12:08:52] [INFO ] Flatten gal took : 88 ms
[2021-05-13 12:08:52] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 17 ms
[2021-05-13 12:08:52] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 2 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(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(269) : error 3 : , at offset 23
near [Index: 2403 (Start: 26030603-Stop: 26030603) ='-', type<22> Line: 269 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(275) : error 3 : , at offset 23
near [Index: 2463 (Start: 26030765-Stop: 26030765) ='-', type<22> Line: 275 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(275) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(281) : error 3 : , at offset 23
near [Index: 2523 (Start: 26030927-Stop: 26030927) ='-', type<22> Line: 281 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(281) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(287) : error 3 : , at offset 23
near [Index: 2583 (Start: 26031089-Stop: 26031089) ='-', type<22> Line: 287 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(287) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(293) : error 3 : , at offset 23
near [Index: 2643 (Start: 26031251-Stop: 26031251) ='-', type<22> Line: 293 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(293) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(299) : error 3 : , at offset 23
near [Index: 2703 (Start: 26031416-Stop: 26031416) ='-', type<22> Line: 299 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(299) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(305) : error 3 : , at offset 23
near [Index: 2763 (Start: 26031581-Stop: 26031581) ='-', type<22> Line: 305 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(305) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(311) : error 3 : , at offset 23
near [Index: 2823 (Start: 26031746-Stop: 26031746) ='-', type<22> Line: 311 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(311) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(317) : error 3 : , at offset 23
near [Index: 2883 (Start: 26031911-Stop: 26031911) ='-', type<22> Line: 317 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(317) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(321) : error 3 : , at offset 23
near [Index: 2927 (Start: 26032033-Stop: 26032033) ='-', type<22> Line: 321 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(321) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(325) : error 3 : , at offset 23
near [Index: 2971 (Start: 26032155-Stop: 26032155) ='-', type<22> Line: 325 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(325) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(329) : error 3 : , at offset 23
near [Index: 3015 (Start: 26032277-Stop: 26032277) ='-', type<22> Line: 329 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(329) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(333) : error 3 : , at offset 23
near [Index: 3059 (Start: 26032399-Stop: 26032399) ='-', type<22> Line: 333 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(333) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(337) : error 3 : , at offset 23
near [Index: 3103 (Start: 26032522-Stop: 26032522) ='-', type<22> Line: 337 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(337) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(341) : error 3 : , at offset 23
near [Index: 3147 (Start: 26032645-Stop: 26032645) ='-', type<22> Line: 341 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(341) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(345) : error 3 : , at offset 23
near [Index: 3191 (Start: 26032768-Stop: 26032768) ='-', type<22> Line: 345 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(345) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1021) : error 3 : , at offset 23
near [Index: 9971 (Start: 26050763-Stop: 26050763) ='-', type<22> Line: 1021 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1021) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1025) : error 3 : , at offset 23
near [Index: 10015 (Start: 26050885-Stop: 26050885) ='-', type<22> Line: 1025 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1025) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1029) : error 3 : , at offset 23
near [Index: 10059 (Start: 26051007-Stop: 26051007) ='-', type<22> Line: 1029 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1029) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1033) : error 3 : , at offset 23
near [Index: 10103 (Start: 26051129-Stop: 26051129) ='-', type<22> Line: 1033 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1033) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1037) : error 3 : , at offset 23
near [Index: 10147 (Start: 26051251-Stop: 26051251) ='-', type<22> Line: 1037 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1037) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1041) : error 3 : , at offset 23
near [Index: 10191 (Start: 26051374-Stop: 26051374) ='-', type<22> Line: 1041 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1041) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1045) : error 3 : , at offset 23
near [Index: 10235 (Start: 26051497-Stop: 26051497) ='-', type<22> Line: 1045 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1045) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1049) : error 3 : , at offset 23
near [Index: 10279 (Start: 26051620-Stop: 26051620) ='-', type<22> Line: 1049 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1049) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1053) : error 3 : , at offset 23
near [Index: 10323 (Start: 26051743-Stop: 26051743) ='-', type<22> Line: 1053 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1053) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1059) : error 3 : , at offset 23
near [Index: 10383 (Start: 26051905-Stop: 26051905) ='-', type<22> Line: 1059 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1059) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1065) : error 3 : , at offset 23
near [Index: 10443 (Start: 26052067-Stop: 26052067) ='-', type<22> Line: 1065 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1065) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1071) : error 3 : , at offset 23
near [Index: 10503 (Start: 26052229-Stop: 26052229) ='-', type<22> Line: 1071 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1071) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1077) : error 3 : , at offset 23
near [Index: 10563 (Start: 26052391-Stop: 26052391) ='-', type<22> Line: 1077 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1077) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1083) : error 3 : , at offset 23
near [Index: 10623 (Start: 26052556-Stop: 26052556) ='-', type<22> Line: 1083 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1083) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1089) : error 3 : , at offset 23
near [Index: 10683 (Start: 26052721-Stop: 26052721) ='-', type<22> Line: 1089 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1089) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1095) : error 3 : , at offset 23
near [Index: 10743 (Start: 26052886-Stop: 26052886) ='-', type<22> Line: 1095 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1095) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1837) : error 3 : , at offset 24
near [Index: 18211 (Start: 26073052-Stop: 26073052) ='-', type<22> Line: 1837 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1837) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1841) : error 3 : , at offset 24
near [Index: 18255 (Start: 26073179-Stop: 26073179) ='-', type<22> Line: 1841 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1841) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1845) : error 3 : , at offset 24
near [Index: 18299 (Start: 26073306-Stop: 26073306) ='-', type<22> Line: 1845 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1845) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1849) : error 3 : , at offset 24
near [Index: 18343 (Start: 26073433-Stop: 26073433) ='-', type<22> Line: 1849 LinePos:24]
ITS-tools command line returned an error code 1
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1849) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1853) : error 3 : , at offset 24
near [Index: 18387 (Start: 26073560-Stop: 26073560) ='-', type<22> Line: 1853 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1853) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1857) : error 3 : , at offset 24
near [Index: 18431 (Start: 26073688-Stop: 26073688) ='-', type<22> Line: 1857 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1857) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1861) : error 3 : , at offset 24
near [Index: 18475 (Start: 26073816-Stop: 26073816) ='-', type<22> Line: 1861 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1861) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1865) : error 3 : , at offset 24
near [Index: 18519 (Start: 26073944-Stop: 26073944) ='-', type<22> Line: 1865 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1865) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1869) : error 3 : , at offset 24
near [Index: 18563 (Start: 26074072-Stop: 26074072) ='-', type<22> Line: 1869 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1869) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1875) : error 3 : , at offset 24
near [Index: 18623 (Start: 26074239-Stop: 26074239) ='-', type<22> Line: 1875 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1875) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1881) : error 3 : , at offset 24
near [Index: 18683 (Start: 26074406-Stop: 26074406) ='-', type<22> Line: 1881 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1881) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1887) : error 3 : , at offset 24
near [Index: 18743 (Start: 26074573-Stop: 26074573) ='-', type<22> Line: 1887 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1893) : error 3 : , at offset 24
near [Index: 18803 (Start: 26074740-Stop: 26074740) ='-', type<22> Line: 1893 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1893) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1899) : error 3 : , at offset 24
near [Index: 18863 (Start: 26074910-Stop: 26074910) ='-', type<22> Line: 1899 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1899) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1905) : error 3 : , at offset 24
near [Index: 18923 (Start: 26075080-Stop: 26075080) ='-', type<22> Line: 1905 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1905) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1911) : error 3 : , at offset 24
near [Index: 18983 (Start: 26075250-Stop: 26075250) ='-', type<22> Line: 1911 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1911) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3101) : error 3 : , at offset 24
near [Index: 31731 (Start: 26110068-Stop: 26110068) ='-', type<22> Line: 3101 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3101) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3105) : error 3 : , at offset 24
near [Index: 31775 (Start: 26110194-Stop: 26110194) ='-', type<22> Line: 3105 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3105) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3109) : error 3 : , at offset 24
near [Index: 31819 (Start: 26110320-Stop: 26110320) ='-', type<22> Line: 3109 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3109) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3113) : error 3 : , at offset 24
near [Index: 31863 (Start: 26110446-Stop: 26110446) ='-', type<22> Line: 3113 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3113) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3117) : error 3 : , at offset 24
near [Index: 31907 (Start: 26110572-Stop: 26110572) ='-', type<22> Line: 3117 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3117) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3121) : error 3 : , at offset 24
near [Index: 31951 (Start: 26110699-Stop: 26110699) ='-', type<22> Line: 3121 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3121) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3125) : error 3 : , at offset 24
near [Index: 31995 (Start: 26110826-Stop: 26110826) ='-', type<22> Line: 3125 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3125) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3129) : error 3 : , at offset 24
near [Index: 32039 (Start: 26110953-Stop: 26110953) ='-', type<22> Line: 3129 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3129) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3133) : error 3 : , at offset 24
near [Index: 32083 (Start: 26111080-Stop: 26111080) ='-', type<22> Line: 3133 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3133) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3139) : error 3 : , at offset 24
near [Index: 32143 (Start: 26111246-Stop: 26111246) ='-', type<22> Line: 3139 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3145) : error 3 : , at offset 24
near [Index: 32203 (Start: 26111412-Stop: 26111412) ='-', type<22> Line: 3145 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3145) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3151) : error 3 : , at offset 24
near [Index: 32263 (Start: 26111578-Stop: 26111578) ='-', type<22> Line: 3151 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3151) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3157) : error 3 : , at offset 24
near [Index: 32323 (Start: 26111744-Stop: 26111744) ='-', type<22> Line: 3157 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3157) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3163) : error 3 : , at offset 24
near [Index: 32383 (Start: 26111913-Stop: 26111913) ='-', type<22> Line: 3163 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3169) : error 3 : , at offset 24
near [Index: 32443 (Start: 26112082-Stop: 26112082) ='-', type<22> Line: 3169 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3175) : error 3 : , at offset 24
near [Index: 32503 (Start: 26112251-Stop: 26112251) ='-', type<22> Line: 3175 LinePos:24]
: cannot match to any predicted input...
The parser returned 128 errors, parsing aborted
[2021-05-13 12:08:52] [INFO ] Applying decomposition
[2021-05-13 12:08:52] [INFO ] Flatten gal took : 87 ms
[2021-05-13 12:08:52] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 6 ms
[2021-05-13 12:08:52] [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(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(269) : error 3 : , at offset 23
near [Index: 2403 (Start: 36241931-Stop: 36241931) ='-', type<22> Line: 269 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(275) : error 3 : , at offset 23
near [Index: 2463 (Start: 36242093-Stop: 36242093) ='-', type<22> Line: 275 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(275) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(281) : error 3 : , at offset 23
near [Index: 2523 (Start: 36242255-Stop: 36242255) ='-', type<22> Line: 281 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(281) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(287) : error 3 : , at offset 23
near [Index: 2583 (Start: 36242417-Stop: 36242417) ='-', type<22> Line: 287 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(287) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(293) : error 3 : , at offset 23
near [Index: 2643 (Start: 36242579-Stop: 36242579) ='-', type<22> Line: 293 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(293) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(299) : error 3 : , at offset 23
near [Index: 2703 (Start: 36242744-Stop: 36242744) ='-', type<22> Line: 299 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(299) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(305) : error 3 : , at offset 23
near [Index: 2763 (Start: 36242909-Stop: 36242909) ='-', type<22> Line: 305 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(305) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(311) : error 3 : , at offset 23
near [Index: 2823 (Start: 36243074-Stop: 36243074) ='-', type<22> Line: 311 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(311) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(317) : error 3 : , at offset 23
near [Index: 2883 (Start: 36243239-Stop: 36243239) ='-', type<22> Line: 317 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(317) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(321) : error 3 : , at offset 23
near [Index: 2927 (Start: 36243361-Stop: 36243361) ='-', type<22> Line: 321 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(321) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(325) : error 3 : , at offset 23
near [Index: 2971 (Start: 36243483-Stop: 36243483) ='-', type<22> Line: 325 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(325) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(329) : error 3 : , at offset 23
near [Index: 3015 (Start: 36243605-Stop: 36243605) ='-', type<22> Line: 329 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(329) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(333) : error 3 : , at offset 23
near [Index: 3059 (Start: 36243727-Stop: 36243727) ='-', type<22> Line: 333 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(333) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(337) : error 3 : , at offset 23
near [Index: 3103 (Start: 36243850-Stop: 36243850) ='-', type<22> Line: 337 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(337) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(341) : error 3 : , at offset 23
near [Index: 3147 (Start: 36243973-Stop: 36243973) ='-', type<22> Line: 341 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(341) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(345) : error 3 : , at offset 23
near [Index: 3191 (Start: 36244096-Stop: 36244096) ='-', type<22> Line: 345 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(345) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1021) : error 3 : , at offset 23
near [Index: 9971 (Start: 36262091-Stop: 36262091) ='-', type<22> Line: 1021 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1021) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1025) : error 3 : , at offset 23
near [Index: 10015 (Start: 36262213-Stop: 36262213) ='-', type<22> Line: 1025 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1025) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1029) : error 3 : , at offset 23
near [Index: 10059 (Start: 36262335-Stop: 36262335) ='-', type<22> Line: 1029 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1029) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1033) : error 3 : , at offset 23
near [Index: 10103 (Start: 36262457-Stop: 36262457) ='-', type<22> Line: 1033 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1033) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1037) : error 3 : , at offset 23
near [Index: 10147 (Start: 36262579-Stop: 36262579) ='-', type<22> Line: 1037 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1037) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1041) : error 3 : , at offset 23
near [Index: 10191 (Start: 36262702-Stop: 36262702) ='-', type<22> Line: 1041 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1041) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1045) : error 3 : , at offset 23
near [Index: 10235 (Start: 36262825-Stop: 36262825) ='-', type<22> Line: 1045 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1045) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1049) : error 3 : , at offset 23
near [Index: 10279 (Start: 36262948-Stop: 36262948) ='-', type<22> Line: 1049 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1049) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1053) : error 3 : , at offset 23
near [Index: 10323 (Start: 36263071-Stop: 36263071) ='-', type<22> Line: 1053 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1053) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1059) : error 3 : , at offset 23
near [Index: 10383 (Start: 36263233-Stop: 36263233) ='-', type<22> Line: 1059 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1059) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1065) : error 3 : , at offset 23
near [Index: 10443 (Start: 36263395-Stop: 36263395) ='-', type<22> Line: 1065 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1065) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1071) : error 3 : , at offset 23
near [Index: 10503 (Start: 36263557-Stop: 36263557) ='-', type<22> Line: 1071 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1071) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1077) : error 3 : , at offset 23
near [Index: 10563 (Start: 36263719-Stop: 36263719) ='-', type<22> Line: 1077 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1077) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1083) : error 3 : , at offset 23
near [Index: 10623 (Start: 36263884-Stop: 36263884) ='-', type<22> Line: 1083 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1083) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1089) : error 3 : , at offset 23
near [Index: 10683 (Start: 36264049-Stop: 36264049) ='-', type<22> Line: 1089 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1089) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1095) : error 3 : , at offset 23
near [Index: 10743 (Start: 36264214-Stop: 36264214) ='-', type<22> Line: 1095 LinePos:23]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1095) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1837) : error 3 : , at offset 24
near [Index: 18211 (Start: 36284380-Stop: 36284380) ='-', type<22> Line: 1837 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1837) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1841) : error 3 : , at offset 24
near [Index: 18255 (Start: 36284507-Stop: 36284507) ='-', type<22> Line: 1841 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1841) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1845) : error 3 : , at offset 24
near [Index: 18299 (Start: 36284634-Stop: 36284634) ='-', type<22> Line: 1845 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1845) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1849) : error 3 : , at offset 24
near [Index: 18343 (Start: 36284761-Stop: 36284761) ='-', type<22> Line: 1849 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1849) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1853) : error 3 : , at offset 24
near [Index: 18387 (Start: 36284888-Stop: 36284888) ='-', type<22> Line: 1853 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1853) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1857) : error 3 : , at offset 24
near [Index: 18431 (Start: 36285016-Stop: 36285016) ='-', type<22> Line: 1857 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1857) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1861) : error 3 : , at offset 24
near [Index: 18475 (Start: 36285144-Stop: 36285144) ='-', type<22> Line: 1861 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1861) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1865) : error 3 : , at offset 24
near [Index: 18519 (Start: 36285272-Stop: 36285272) ='-', type<22> Line: 1865 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1865) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1869) : error 3 : , at offset 24
near [Index: 18563 (Start: 36285400-Stop: 36285400) ='-', type<22> Line: 1869 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1869) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1875) : error 3 : , at offset 24
near [Index: 18623 (Start: 36285567-Stop: 36285567) ='-', type<22> Line: 1875 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1875) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1881) : error 3 : , at offset 24
near [Index: 18683 (Start: 36285734-Stop: 36285734) ='-', type<22> Line: 1881 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1881) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1887) : error 3 : , at offset 24
near [Index: 18743 (Start: 36285901-Stop: 36285901) ='-', type<22> Line: 1887 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1887) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1893) : error 3 : , at offset 24
near [Index: 18803 (Start: 36286068-Stop: 36286068) ='-', type<22> Line: 1893 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1893) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1899) : error 3 : , at offset 24
near [Index: 18863 (Start: 36286238-Stop: 36286238) ='-', type<22> Line: 1899 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1899) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1905) : error 3 : , at offset 24
near [Index: 18923 (Start: 36286408-Stop: 36286408) ='-', type<22> Line: 1905 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1905) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(1911) : error 3 : , at offset 24
near [Index: 18983 (Start: 36286578-Stop: 36286578) ='-', type<22> Line: 1911 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(1911) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3101) : error 3 : , at offset 24
near [Index: 31731 (Start: 36321396-Stop: 36321396) ='-', type<22> Line: 3101 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3101) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3105) : error 3 : , at offset 24
near [Index: 31775 (Start: 36321522-Stop: 36321522) ='-', type<22> Line: 3105 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3105) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3109) : error 3 : , at offset 24
near [Index: 31819 (Start: 36321648-Stop: 36321648) ='-', type<22> Line: 3109 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3109) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3113) : error 3 : , at offset 24
near [Index: 31863 (Start: 36321774-Stop: 36321774) ='-', type<22> Line: 3113 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3113) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3117) : error 3 : , at offset 24
near [Index: 31907 (Start: 36321900-Stop: 36321900) ='-', type<22> Line: 3117 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3117) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3121) : error 3 : , at offset 24
near [Index: 31951 (Start: 36322027-Stop: 36322027) ='-', type<22> Line: 3121 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3121) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3125) : error 3 : , at offset 24
near [Index: 31995 (Start: 36322154-Stop: 36322154) ='-', type<22> Line: 3125 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3125) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3129) : error 3 : , at offset 24
near [Index: 32039 (Start: 36322281-Stop: 36322281) ='-', type<22> Line: 3129 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3129) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3133) : error 3 : , at offset 24
near [Index: 32083 (Start: 36322408-Stop: 36322408) ='-', type<22> Line: 3133 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3133) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3139) : error 3 : , at offset 24
near [Index: 32143 (Start: 36322574-Stop: 36322574) ='-', type<22> Line: 3139 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3139) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3145) : error 3 : , at offset 24
near [Index: 32203 (Start: 36322740-Stop: 36322740) ='-', type<22> Line: 3145 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3145) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3151) : error 3 : , at offset 24
near [Index: 32263 (Start: 36322906-Stop: 36322906) ='-', type<22> Line: 3151 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3151) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3157) : error 3 : , at offset 24
near [Index: 32323 (Start: 36323072-Stop: 36323072) ='-', type<22> Line: 3157 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3157) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3163) : error 3 : , at offset 24
near [Index: 32383 (Start: 36323241-Stop: 36323241) ='-', type<22> Line: 3163 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3169) : error 3 : , at offset 24
near [Index: 32443 (Start: 36323410-Stop: 36323410) ='-', type<22> Line: 3169 LinePos:24]
: cannot match to any predicted input...
/home/mcc/execution/UpperBounds.pnml.gal(3169) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/home/mcc/execution/UpperBounds.pnml.gal(3175) : error 3 : , at offset 24
near [Index: 32503 (Start: 36323579-Stop: 36323579) ='-', type<22> Line: 3175 LinePos:24]
: cannot match to any predicted input...
The parser returned 128 errors, parsing aborted
ITS-tools command line returned an error code 1
[2021-05-13 12:08:53] [INFO ] Flatten gal took : 41 ms
[2021-05-13 12:08:53] [INFO ] Input system was already deterministic with 584 transitions.
[2021-05-13 12:08:53] [INFO ] Transformed 266 places.
[2021-05-13 12:08:53] [INFO ] Transformed 584 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 12:08:53] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 5 ms
[2021-05-13 12:08:53] [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-8-UpperBounds-00 with value :
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-01 with value :P_awaity_1+P_awaity_2+P_awaity_3+P_awaity_4+P_awaity_5+P_awaity_6+P_awaity_7+P_awaity_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-02 with value :P_ifyi_15_1+P_ifyi_15_2+P_ifyi_15_3+P_ifyi_15_4+P_ifyi_15_5+P_ifyi_15_6+P_ifyi_15_7+P_ifyi_15_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-03 with value :P_ifyi_15_1+P_ifyi_15_2+P_ifyi_15_3+P_ifyi_15_4+P_ifyi_15_5+P_ifyi_15_6+P_ifyi_15_7+P_ifyi_15_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-04 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+P_setbi_11_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-05 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+P_ify0_4_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-06 with value :P_done_10+P_done_11+P_done_12+P_done_13+P_done_14+P_done_15+P_done_16+P_done_17+P_done_19+P_done_20+P_done_21+P_done_22+P_done_23+P_done_24+P_done_25+P_done_26+P_done_28+P_done_29+P_done_30+P_done_31+P_done_32+P_done_33+P_done_34+P_done_35+P_done_37+P_done_38+P_done_39+P_done_40+P_done_41+P_done_42+P_done_43+P_done_44+P_done_46+P_done_47+P_done_48+P_done_49+P_done_50+P_done_51+P_done_52+P_done_53+P_done_55+P_done_56+P_done_57+P_done_58+P_done_59+P_done_60+P_done_61+P_done_62+P_done_64+P_done_65+P_done_66+P_done_67+P_done_68+P_done_69+P_done_70+P_done_71+P_done_73+P_done_74+P_done_75+P_done_76+P_done_77+P_done_78+P_done_79+P_done_80
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-07 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+P_setbi_11_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-08 with value :P_done_10+P_done_11+P_done_12+P_done_13+P_done_14+P_done_15+P_done_16+P_done_17+P_done_19+P_done_20+P_done_21+P_done_22+P_done_23+P_done_24+P_done_25+P_done_26+P_done_28+P_done_29+P_done_30+P_done_31+P_done_32+P_done_33+P_done_34+P_done_35+P_done_37+P_done_38+P_done_39+P_done_40+P_done_41+P_done_42+P_done_43+P_done_44+P_done_46+P_done_47+P_done_48+P_done_49+P_done_50+P_done_51+P_done_52+P_done_53+P_done_55+P_done_56+P_done_57+P_done_58+P_done_59+P_done_60+P_done_61+P_done_62+P_done_64+P_done_65+P_done_66+P_done_67+P_done_68+P_done_69+P_done_70+P_done_71+P_done_73+P_done_74+P_done_75+P_done_76+P_done_77+P_done_78+P_done_79+P_done_80
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-09 with value :P_setx_3_1+P_setx_3_2+P_setx_3_3+P_setx_3_4+P_setx_3_5+P_setx_3_6+P_setx_3_7+P_setx_3_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-10 with value :
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-11 with value :P_awaity_1+P_awaity_2+P_awaity_3+P_awaity_4+P_awaity_5+P_awaity_6+P_awaity_7+P_awaity_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-12 with value :P_ifyi_15_1+P_ifyi_15_2+P_ifyi_15_3+P_ifyi_15_4+P_ifyi_15_5+P_ifyi_15_6+P_ifyi_15_7+P_ifyi_15_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-13 with value :P_wait_10+P_wait_11+P_wait_12+P_wait_13+P_wait_14+P_wait_15+P_wait_16+P_wait_17+P_wait_19+P_wait_20+P_wait_21+P_wait_22+P_wait_23+P_wait_24+P_wait_25+P_wait_26+P_wait_28+P_wait_29+P_wait_30+P_wait_31+P_wait_32+P_wait_33+P_wait_34+P_wait_35+P_wait_37+P_wait_38+P_wait_39+P_wait_40+P_wait_41+P_wait_42+P_wait_43+P_wait_44+P_wait_46+P_wait_47+P_wait_48+P_wait_49+P_wait_50+P_wait_51+P_wait_52+P_wait_53+P_wait_55+P_wait_56+P_wait_57+P_wait_58+P_wait_59+P_wait_60+P_wait_61+P_wait_62+P_wait_64+P_wait_65+P_wait_66+P_wait_67+P_wait_68+P_wait_69+P_wait_70+P_wait_71+P_wait_73+P_wait_74+P_wait_75+P_wait_76+P_wait_77+P_wait_78+P_wait_79+P_wait_80
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-14 with value :P_await_13_1+P_await_13_2+P_await_13_3+P_await_13_4+P_await_13_5+P_await_13_6+P_await_13_7+P_await_13_8
Read [bounds] property : LamportFastMutEx-COL-8-UpperBounds-15 with value :P_ifxi_10_1+P_ifxi_10_2+P_ifxi_10_3+P_ifxi_10_4+P_ifxi_10_5+P_ifxi_10_6+P_ifxi_10_7+P_ifxi_10_8
Detected timeout of ITS tools.
BK_STOP 1620908942087
--------------------
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-8"
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-8, 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-162075426300080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-8.tgz
mv LamportFastMutEx-COL-8 execution
cd execution
if [ "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 ;