About the Execution of ITS-Tools for LamportFastMutEx-COL-8
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16246.256 | 1380092.00 | 1156166.00 | 82746.70 | 8 7 7 7 7 8 56 7 56 8 1 7 7 56 7 ? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r121-tall-162075407200635.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is LamportFastMutEx-COL-8, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r121-tall-162075407200635
=====================================================================
--------------------
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 1620880450959
Running Version 0
[2021-05-13 04:34:24] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-13 04:34:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-13 04:34:24] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
[2021-05-13 04:34:24] [WARNING] Using fallBack plugin, rng conformance not checked
[2021-05-13 04:34:24] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 597 ms
[2021-05-13 04:34:24] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 315 PT places and 837.0 transition bindings in 19 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 5 ms.
[2021-05-13 04:34:24] [INFO ] Built PT skeleton of HLPN with 18 places and 17 transitions in 3 ms.
[2021-05-13 04:34:24] [INFO ] Skeletonized HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1000_14741075095220178121.dot
Reduce places removed 3 places and 0 transitions.
// Phase 1: matrix 17 rows 15 cols
[2021-05-13 04:34:24] [INFO ] Computed 2 place invariants in 9 ms
FORMULA LamportFastMutEx-COL-8-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
FORMULA LamportFastMutEx-COL-8-UpperBounds-00 8 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
[2021-05-13 04:34:24] [INFO ] Unfolded HLPN to a Petri net with 315 places and 666 transitions in 30 ms.
[2021-05-13 04:34:24] [INFO ] Unfolded HLPN properties in 1 ms.
// Phase 1: matrix 17 rows 15 cols
[2021-05-13 04:34:25] [INFO ] Computed 2 place invariants in 2 ms
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 3 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 18 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 12 ms returned sat
[2021-05-13 04:34:25] [INFO ] State equation strengthened by 1 read => feed constraints.
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 2 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 04:34:25] [INFO ] Added : 13 causal constraints over 4 iterations in 22 ms. Result :sat
Minimization took 7 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 6 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 7 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 13 ms. Result :sat
Minimization took 3 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 10 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 5 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 4 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 18 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 8 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 6 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 10 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 8 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 3 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 13 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 4 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 12 ms. Result :sat
Minimization took 7 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 6 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 8 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 21 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 11 ms. Result :sat
Minimization took 8 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 5 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 2 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 9 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 3 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 10 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 3 ms.
[2021-05-13 04:34:25] [INFO ] Added : 13 causal constraints over 4 iterations in 12 ms. Result :sat
Minimization took 5 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 8 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 2 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 8 ms. Result :sat
Minimization took 12 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 31 ms. Result :sat
Minimization took 4 ms.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using 2 positive place invariants in 1 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Real]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using 2 positive place invariants in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:25] [INFO ] [Nat]Absence check using state equation in 4 ms returned sat
[2021-05-13 04:34:25] [INFO ] [Nat]Added 1 Read/Feed constraints in 0 ms returned sat
[2021-05-13 04:34:25] [INFO ] Computed and/alt/rep : 16/20/16 causal constraints (skipped 0 transitions) in 1 ms.
[2021-05-13 04:34:25] [INFO ] Added : 11 causal constraints over 3 iterations in 8 ms. Result :sat
Minimization took 4 ms.
Current structural bounds on expressions (after SMT) : [8, 8, 8, 8, 8, 64, 8, 64, 8, 8, 8, 64, 8, 8]
[2021-05-13 04:34:25] [INFO ] Unfolded HLPN to a Petri net with 315 places and 666 transitions in 7 ms.
[2021-05-13 04:34:25] [INFO ] Unfolded HLPN properties in 0 ms.
Successfully produced net in file /tmp/petri1001_16848902976080722154.dot
Deduced a syphon composed of 49 places in 3 ms
Reduce places removed 49 places and 82 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 109 ms. (steps per millisecond=91 ) properties (out of 14) seen :156
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 14) seen :78
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 19 ms. (steps per millisecond=526 ) properties (out of 14) seen :131
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 14) seen :128
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 14) seen :110
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 14) seen :54
FORMULA LamportFastMutEx-COL-8-UpperBounds-05 8 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 13) seen :93
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 28 ms. (steps per millisecond=357 ) properties (out of 13) seen :127
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 15 ms. (steps per millisecond=666 ) properties (out of 13) seen :9
FORMULA LamportFastMutEx-COL-8-UpperBounds-09 8 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 12) seen :108
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 12) seen :103
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 12) seen :132
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 18 ms. (steps per millisecond=555 ) properties (out of 12) seen :45
[2021-05-13 04:34:26] [INFO ] Flow matrix only has 416 transitions (discarded 168 similar events)
// Phase 1: matrix 416 rows 266 cols
[2021-05-13 04:34:26] [INFO ] Computed 82 place invariants in 11 ms
[2021-05-13 04:34:26] [INFO ] [Real]Absence check using 82 positive place invariants in 16 ms returned sat
[2021-05-13 04:34:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:26] [INFO ] [Real]Absence check using state equation in 96 ms returned sat
[2021-05-13 04:34:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:26] [INFO ] [Nat]Absence check using 82 positive place invariants in 22 ms returned sat
[2021-05-13 04:34:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:26] [INFO ] [Nat]Absence check using state equation in 84 ms returned sat
[2021-05-13 04:34:26] [INFO ] State equation strengthened by 128 read => feed constraints.
[2021-05-13 04:34:26] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:34:26] [INFO ] Deduced a trap composed of 30 places in 65 ms of which 4 ms to minimize.
[2021-05-13 04:34:26] [INFO ] Deduced a trap composed of 9 places in 85 ms of which 1 ms to minimize.
[2021-05-13 04:34:26] [INFO ] Deduced a trap composed of 16 places in 62 ms of which 1 ms to minimize.
[2021-05-13 04:34:26] [INFO ] Deduced a trap composed of 29 places in 62 ms of which 1 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 16 places in 55 ms of which 1 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 23 places in 55 ms of which 0 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 30 places in 59 ms of which 1 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 15 places in 60 ms of which 1 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 9 places in 60 ms of which 0 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 9 places in 52 ms of which 0 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 15 places in 25 ms of which 0 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 15 places in 33 ms of which 0 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 15 places in 33 ms of which 0 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 42 places in 57 ms of which 1 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 15 places in 38 ms of which 1 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 9 places in 40 ms of which 1 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 48 places in 40 ms of which 1 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 15 places in 24 ms of which 0 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Deduced a trap composed of 15 places in 24 ms of which 0 ms to minimize.
[2021-05-13 04:34:27] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 19 trap constraints in 1181 ms
[2021-05-13 04:34:27] [INFO ] [Real]Absence check using 82 positive place invariants in 15 ms returned sat
[2021-05-13 04:34:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:27] [INFO ] [Real]Absence check using state equation in 95 ms returned sat
[2021-05-13 04:34:27] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:28] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:34:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:28] [INFO ] [Nat]Absence check using state equation in 83 ms returned sat
[2021-05-13 04:34:28] [INFO ] [Nat]Added 128 Read/Feed constraints in 17 ms returned sat
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 10 places in 70 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 15 places in 57 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 36 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 17 places in 44 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 17 places in 44 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 17 places in 43 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 17 places in 53 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 22 places in 43 ms of which 1 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 45 places in 44 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 19 places in 39 ms of which 1 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 17 places in 29 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 17 places in 48 ms of which 1 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Deduced a trap composed of 10 places in 26 ms of which 0 ms to minimize.
[2021-05-13 04:34:28] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 14 trap constraints in 842 ms
[2021-05-13 04:34:29] [INFO ] [Real]Absence check using 82 positive place invariants in 17 ms returned sat
[2021-05-13 04:34:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:29] [INFO ] [Real]Absence check using state equation in 96 ms returned sat
[2021-05-13 04:34:29] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:29] [INFO ] [Nat]Absence check using 82 positive place invariants in 15 ms returned sat
[2021-05-13 04:34:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:29] [INFO ] [Nat]Absence check using state equation in 91 ms returned sat
[2021-05-13 04:34:29] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 10 places in 72 ms of which 1 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 9 places in 68 ms of which 0 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 15 places in 62 ms of which 0 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 36 places in 55 ms of which 0 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 17 places in 42 ms of which 1 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 17 places in 49 ms of which 1 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 17 places in 48 ms of which 0 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 17 places in 50 ms of which 1 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 22 places in 48 ms of which 1 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 45 places in 49 ms of which 1 ms to minimize.
[2021-05-13 04:34:29] [INFO ] Deduced a trap composed of 19 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:34:30] [INFO ] Deduced a trap composed of 17 places in 32 ms of which 0 ms to minimize.
[2021-05-13 04:34:30] [INFO ] Deduced a trap composed of 17 places in 48 ms of which 0 ms to minimize.
[2021-05-13 04:34:30] [INFO ] Deduced a trap composed of 10 places in 28 ms of which 0 ms to minimize.
[2021-05-13 04:34:30] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 14 trap constraints in 852 ms
[2021-05-13 04:34:30] [INFO ] [Real]Absence check using 82 positive place invariants in 16 ms returned sat
[2021-05-13 04:34:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:30] [INFO ] [Real]Absence check using state equation in 93 ms returned sat
[2021-05-13 04:34:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:30] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:34:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:30] [INFO ] [Nat]Absence check using state equation in 78 ms returned sat
[2021-05-13 04:34:30] [INFO ] [Nat]Added 128 Read/Feed constraints in 17 ms returned sat
[2021-05-13 04:34:30] [INFO ] Deduced a trap composed of 9 places in 17 ms of which 0 ms to minimize.
[2021-05-13 04:34:30] [INFO ] Deduced a trap composed of 8 places in 11 ms of which 1 ms to minimize.
[2021-05-13 04:34:30] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 63 ms
[2021-05-13 04:34:30] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 36 ms.
[2021-05-13 04:34:31] [INFO ] Deduced a trap composed of 8 places in 98 ms of which 0 ms to minimize.
[2021-05-13 04:34:31] [INFO ] Deduced a trap composed of 9 places in 83 ms of which 1 ms to minimize.
[2021-05-13 04:34:31] [INFO ] Deduced a trap composed of 20 places in 84 ms of which 0 ms to minimize.
[2021-05-13 04:34:31] [INFO ] Deduced a trap composed of 17 places in 93 ms of which 1 ms to minimize.
[2021-05-13 04:34:31] [INFO ] Deduced a trap composed of 46 places in 86 ms of which 1 ms to minimize.
[2021-05-13 04:34:31] [INFO ] Deduced a trap composed of 9 places in 22 ms of which 0 ms to minimize.
[2021-05-13 04:34:31] [INFO ] Deduced a trap composed of 8 places in 12 ms of which 0 ms to minimize.
[2021-05-13 04:34:31] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 663 ms
[2021-05-13 04:34:31] [INFO ] Added : 143 causal constraints over 30 iterations in 1393 ms. Result :sat
Minimization took 136 ms.
[2021-05-13 04:34:32] [INFO ] [Real]Absence check using 82 positive place invariants in 17 ms returned sat
[2021-05-13 04:34:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:32] [INFO ] [Real]Absence check using state equation in 81 ms returned sat
[2021-05-13 04:34:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:32] [INFO ] [Nat]Absence check using 82 positive place invariants in 20 ms returned sat
[2021-05-13 04:34:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:32] [INFO ] [Nat]Absence check using state equation in 92 ms returned sat
[2021-05-13 04:34:32] [INFO ] [Nat]Added 128 Read/Feed constraints in 17 ms returned sat
[2021-05-13 04:34:32] [INFO ] Deduced a trap composed of 10 places in 68 ms of which 0 ms to minimize.
[2021-05-13 04:34:32] [INFO ] Deduced a trap composed of 21 places in 67 ms of which 1 ms to minimize.
[2021-05-13 04:34:32] [INFO ] Deduced a trap composed of 21 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:34:32] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:34:32] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:34:32] [INFO ] Deduced a trap composed of 56 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:34:32] [INFO ] Deduced a trap composed of 20 places in 67 ms of which 0 ms to minimize.
[2021-05-13 04:34:32] [INFO ] Deduced a trap composed of 14 places in 37 ms of which 0 ms to minimize.
[2021-05-13 04:34:32] [INFO ] Deduced a trap composed of 55 places in 62 ms of which 1 ms to minimize.
[2021-05-13 04:34:33] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 685 ms
[2021-05-13 04:34:33] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 34 ms.
[2021-05-13 04:34:33] [INFO ] Deduced a trap composed of 21 places in 72 ms of which 0 ms to minimize.
[2021-05-13 04:34:33] [INFO ] Deduced a trap composed of 30 places in 71 ms of which 3 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 33 places in 85 ms of which 16 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 27 places in 95 ms of which 24 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 21 places in 69 ms of which 1 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 9 places in 68 ms of which 1 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 21 places in 70 ms of which 0 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 27 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 20 places in 79 ms of which 12 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 9 places in 68 ms of which 1 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 22 places in 66 ms of which 1 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 34 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:34:34] [INFO ] Deduced a trap composed of 17 places in 70 ms of which 0 ms to minimize.
[2021-05-13 04:34:35] [INFO ] Deduced a trap composed of 25 places in 67 ms of which 1 ms to minimize.
[2021-05-13 04:34:35] [INFO ] Deduced a trap composed of 27 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:34:35] [INFO ] Deduced a trap composed of 55 places in 67 ms of which 1 ms to minimize.
[2021-05-13 04:34:35] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 0 ms to minimize.
[2021-05-13 04:34:35] [INFO ] Deduced a trap composed of 23 places in 65 ms of which 1 ms to minimize.
[2021-05-13 04:34:35] [INFO ] Deduced a trap composed of 37 places in 67 ms of which 0 ms to minimize.
[2021-05-13 04:34:35] [INFO ] Trap strengthening (SAT) tested/added 20/19 trap constraints in 1819 ms
[2021-05-13 04:34:35] [INFO ] Added : 157 causal constraints over 32 iterations in 2571 ms. Result :sat
Minimization took 157 ms.
[2021-05-13 04:34:35] [INFO ] [Real]Absence check using 82 positive place invariants in 13 ms returned sat
[2021-05-13 04:34:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:35] [INFO ] [Real]Absence check using state equation in 79 ms returned sat
[2021-05-13 04:34:35] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:35] [INFO ] [Nat]Absence check using 82 positive place invariants in 13 ms returned sat
[2021-05-13 04:34:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:36] [INFO ] [Nat]Absence check using state equation in 78 ms returned sat
[2021-05-13 04:34:36] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:34:36] [INFO ] Deduced a trap composed of 9 places in 18 ms of which 0 ms to minimize.
[2021-05-13 04:34:36] [INFO ] Deduced a trap composed of 8 places in 11 ms of which 0 ms to minimize.
[2021-05-13 04:34:36] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 62 ms
[2021-05-13 04:34:36] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 33 ms.
[2021-05-13 04:34:36] [INFO ] Deduced a trap composed of 8 places in 94 ms of which 1 ms to minimize.
[2021-05-13 04:34:36] [INFO ] Deduced a trap composed of 9 places in 95 ms of which 1 ms to minimize.
[2021-05-13 04:34:37] [INFO ] Deduced a trap composed of 20 places in 93 ms of which 0 ms to minimize.
[2021-05-13 04:34:37] [INFO ] Deduced a trap composed of 17 places in 93 ms of which 0 ms to minimize.
[2021-05-13 04:34:37] [INFO ] Deduced a trap composed of 46 places in 96 ms of which 1 ms to minimize.
[2021-05-13 04:34:37] [INFO ] Deduced a trap composed of 9 places in 19 ms of which 1 ms to minimize.
[2021-05-13 04:34:37] [INFO ] Deduced a trap composed of 8 places in 12 ms of which 0 ms to minimize.
[2021-05-13 04:34:37] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 677 ms
[2021-05-13 04:34:37] [INFO ] Added : 143 causal constraints over 30 iterations in 1362 ms. Result :sat
Minimization took 128 ms.
[2021-05-13 04:34:37] [INFO ] [Real]Absence check using 82 positive place invariants in 18 ms returned sat
[2021-05-13 04:34:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:37] [INFO ] [Real]Absence check using state equation in 94 ms returned sat
[2021-05-13 04:34:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:37] [INFO ] [Nat]Absence check using 82 positive place invariants in 20 ms returned sat
[2021-05-13 04:34:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:37] [INFO ] [Nat]Absence check using state equation in 95 ms returned sat
[2021-05-13 04:34:37] [INFO ] [Nat]Added 128 Read/Feed constraints in 17 ms returned sat
[2021-05-13 04:34:38] [INFO ] Deduced a trap composed of 10 places in 79 ms of which 0 ms to minimize.
[2021-05-13 04:34:38] [INFO ] Deduced a trap composed of 21 places in 78 ms of which 0 ms to minimize.
[2021-05-13 04:34:38] [INFO ] Deduced a trap composed of 21 places in 76 ms of which 0 ms to minimize.
[2021-05-13 04:34:38] [INFO ] Deduced a trap composed of 9 places in 75 ms of which 0 ms to minimize.
[2021-05-13 04:34:38] [INFO ] Deduced a trap composed of 9 places in 72 ms of which 0 ms to minimize.
[2021-05-13 04:34:38] [INFO ] Deduced a trap composed of 56 places in 70 ms of which 0 ms to minimize.
[2021-05-13 04:34:38] [INFO ] Deduced a trap composed of 20 places in 76 ms of which 1 ms to minimize.
[2021-05-13 04:34:38] [INFO ] Deduced a trap composed of 14 places in 42 ms of which 0 ms to minimize.
[2021-05-13 04:34:38] [INFO ] Deduced a trap composed of 55 places in 71 ms of which 0 ms to minimize.
[2021-05-13 04:34:38] [INFO ] Trap strengthening (SAT) tested/added 10/9 trap constraints in 756 ms
[2021-05-13 04:34:38] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 28 ms.
[2021-05-13 04:34:39] [INFO ] Deduced a trap composed of 21 places in 73 ms of which 1 ms to minimize.
[2021-05-13 04:34:39] [INFO ] Deduced a trap composed of 30 places in 71 ms of which 0 ms to minimize.
[2021-05-13 04:34:39] [INFO ] Deduced a trap composed of 33 places in 100 ms of which 1 ms to minimize.
[2021-05-13 04:34:39] [INFO ] Deduced a trap composed of 27 places in 68 ms of which 1 ms to minimize.
[2021-05-13 04:34:39] [INFO ] Deduced a trap composed of 21 places in 69 ms of which 0 ms to minimize.
[2021-05-13 04:34:39] [INFO ] Deduced a trap composed of 9 places in 68 ms of which 0 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 21 places in 68 ms of which 0 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 27 places in 65 ms of which 1 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 20 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 22 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 34 places in 73 ms of which 1 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 17 places in 67 ms of which 0 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 25 places in 69 ms of which 0 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 27 places in 68 ms of which 0 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 55 places in 70 ms of which 0 ms to minimize.
[2021-05-13 04:34:40] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 1 ms to minimize.
[2021-05-13 04:34:41] [INFO ] Deduced a trap composed of 23 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:34:41] [INFO ] Deduced a trap composed of 37 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:34:41] [INFO ] Trap strengthening (SAT) tested/added 20/19 trap constraints in 1810 ms
[2021-05-13 04:34:41] [INFO ] Added : 157 causal constraints over 32 iterations in 2541 ms. Result :sat
Minimization took 158 ms.
[2021-05-13 04:34:41] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:34:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:41] [INFO ] [Real]Absence check using state equation in 79 ms returned sat
[2021-05-13 04:34:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:41] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:34:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:41] [INFO ] [Nat]Absence check using state equation in 78 ms returned sat
[2021-05-13 04:34:41] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:34:41] [INFO ] Deduced a trap composed of 30 places in 58 ms of which 0 ms to minimize.
[2021-05-13 04:34:41] [INFO ] Deduced a trap composed of 9 places in 54 ms of which 1 ms to minimize.
[2021-05-13 04:34:41] [INFO ] Deduced a trap composed of 16 places in 53 ms of which 0 ms to minimize.
[2021-05-13 04:34:41] [INFO ] Deduced a trap composed of 29 places in 52 ms of which 1 ms to minimize.
[2021-05-13 04:34:41] [INFO ] Deduced a trap composed of 16 places in 50 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 23 places in 67 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 30 places in 53 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 15 places in 56 ms of which 1 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 9 places in 52 ms of which 1 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 9 places in 50 ms of which 1 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 15 places in 23 ms of which 1 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 15 places in 24 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 15 places in 23 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 42 places in 52 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 15 places in 35 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 9 places in 36 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 48 places in 38 ms of which 1 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 15 places in 23 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Deduced a trap composed of 15 places in 23 ms of which 0 ms to minimize.
[2021-05-13 04:34:42] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 19 trap constraints in 1058 ms
[2021-05-13 04:34:42] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:34:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:42] [INFO ] [Real]Absence check using state equation in 85 ms returned sat
[2021-05-13 04:34:42] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:42] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:34:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:42] [INFO ] [Nat]Absence check using state equation in 79 ms returned sat
[2021-05-13 04:34:43] [INFO ] [Nat]Added 128 Read/Feed constraints in 15 ms returned sat
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 10 places in 59 ms of which 1 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 9 places in 57 ms of which 1 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 15 places in 55 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 36 places in 57 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 17 places in 42 ms of which 1 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 17 places in 43 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 17 places in 42 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 17 places in 42 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 22 places in 46 ms of which 1 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 45 places in 44 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 19 places in 27 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 17 places in 26 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 17 places in 42 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Deduced a trap composed of 10 places in 25 ms of which 0 ms to minimize.
[2021-05-13 04:34:43] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 14 trap constraints in 802 ms
[2021-05-13 04:34:43] [INFO ] [Real]Absence check using 82 positive place invariants in 17 ms returned sat
[2021-05-13 04:34:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:43] [INFO ] [Real]Absence check using state equation in 81 ms returned sat
[2021-05-13 04:34:43] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:43] [INFO ] [Nat]Absence check using 82 positive place invariants in 19 ms returned sat
[2021-05-13 04:34:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:44] [INFO ] [Nat]Absence check using state equation in 91 ms returned sat
[2021-05-13 04:34:44] [INFO ] [Nat]Added 128 Read/Feed constraints in 19 ms returned sat
[2021-05-13 04:34:44] [INFO ] Deduced a trap composed of 9 places in 69 ms of which 0 ms to minimize.
[2021-05-13 04:34:44] [INFO ] Deduced a trap composed of 9 places in 68 ms of which 0 ms to minimize.
[2021-05-13 04:34:44] [INFO ] Deduced a trap composed of 21 places in 66 ms of which 1 ms to minimize.
[2021-05-13 04:34:44] [INFO ] Deduced a trap composed of 9 places in 47 ms of which 0 ms to minimize.
[2021-05-13 04:34:44] [INFO ] Deduced a trap composed of 17 places in 48 ms of which 0 ms to minimize.
[2021-05-13 04:34:44] [INFO ] Deduced a trap composed of 17 places in 54 ms of which 0 ms to minimize.
[2021-05-13 04:34:44] [INFO ] Deduced a trap composed of 17 places in 45 ms of which 0 ms to minimize.
[2021-05-13 04:34:44] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 491 ms
[2021-05-13 04:34:44] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 24 ms.
[2021-05-13 04:34:45] [INFO ] Deduced a trap composed of 10 places in 59 ms of which 0 ms to minimize.
[2021-05-13 04:34:45] [INFO ] Deduced a trap composed of 8 places in 57 ms of which 0 ms to minimize.
[2021-05-13 04:34:45] [INFO ] Deduced a trap composed of 9 places in 55 ms of which 1 ms to minimize.
[2021-05-13 04:34:45] [INFO ] Deduced a trap composed of 17 places in 54 ms of which 0 ms to minimize.
[2021-05-13 04:34:45] [INFO ] Deduced a trap composed of 17 places in 54 ms of which 0 ms to minimize.
[2021-05-13 04:34:45] [INFO ] Deduced a trap composed of 17 places in 57 ms of which 0 ms to minimize.
[2021-05-13 04:34:45] [INFO ] Trap strengthening (SAT) tested/added 7/6 trap constraints in 490 ms
[2021-05-13 04:34:45] [INFO ] Added : 125 causal constraints over 26 iterations in 1134 ms. Result :sat
Minimization took 216 ms.
[2021-05-13 04:34:46] [INFO ] [Real]Absence check using 82 positive place invariants in 15 ms returned sat
[2021-05-13 04:34:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:46] [INFO ] [Real]Absence check using state equation in 81 ms returned sat
[2021-05-13 04:34:46] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:46] [INFO ] [Nat]Absence check using 82 positive place invariants in 15 ms returned sat
[2021-05-13 04:34:46] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:46] [INFO ] [Nat]Absence check using state equation in 81 ms returned sat
[2021-05-13 04:34:46] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:34:46] [INFO ] Deduced a trap composed of 9 places in 76 ms of which 0 ms to minimize.
[2021-05-13 04:34:46] [INFO ] Deduced a trap composed of 9 places in 73 ms of which 1 ms to minimize.
[2021-05-13 04:34:46] [INFO ] Deduced a trap composed of 10 places in 72 ms of which 0 ms to minimize.
[2021-05-13 04:34:46] [INFO ] Deduced a trap composed of 22 places in 70 ms of which 0 ms to minimize.
[2021-05-13 04:34:46] [INFO ] Deduced a trap composed of 17 places in 72 ms of which 1 ms to minimize.
[2021-05-13 04:34:46] [INFO ] Deduced a trap composed of 10 places in 69 ms of which 0 ms to minimize.
[2021-05-13 04:34:46] [INFO ] Deduced a trap composed of 17 places in 69 ms of which 0 ms to minimize.
[2021-05-13 04:34:46] [INFO ] Deduced a trap composed of 36 places in 68 ms of which 0 ms to minimize.
[2021-05-13 04:34:46] [INFO ] Deduced a trap composed of 60 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:34:47] [INFO ] Deduced a trap composed of 25 places in 67 ms of which 1 ms to minimize.
[2021-05-13 04:34:47] [INFO ] Deduced a trap composed of 37 places in 68 ms of which 1 ms to minimize.
[2021-05-13 04:34:47] [INFO ] Trap strengthening (SAT) tested/added 12/11 trap constraints in 910 ms
[2021-05-13 04:34:47] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 25 ms.
[2021-05-13 04:34:47] [INFO ] Deduced a trap composed of 9 places in 12 ms of which 0 ms to minimize.
[2021-05-13 04:34:47] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 47 ms
[2021-05-13 04:34:47] [INFO ] Added : 163 causal constraints over 33 iterations in 767 ms. Result :sat
Minimization took 94 ms.
[2021-05-13 04:34:48] [INFO ] [Real]Absence check using 82 positive place invariants in 13 ms returned sat
[2021-05-13 04:34:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:48] [INFO ] [Real]Absence check using state equation in 80 ms returned sat
[2021-05-13 04:34:48] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:34:48] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:34:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:34:48] [INFO ] [Nat]Absence check using state equation in 81 ms returned sat
[2021-05-13 04:34:48] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:34:48] [INFO ] Deduced a trap composed of 34 places in 113 ms of which 0 ms to minimize.
[2021-05-13 04:34:48] [INFO ] Deduced a trap composed of 24 places in 81 ms of which 0 ms to minimize.
[2021-05-13 04:34:48] [INFO ] Deduced a trap composed of 35 places in 81 ms of which 0 ms to minimize.
[2021-05-13 04:34:48] [INFO ] Deduced a trap composed of 30 places in 85 ms of which 0 ms to minimize.
[2021-05-13 04:34:48] [INFO ] Deduced a trap composed of 33 places in 82 ms of which 1 ms to minimize.
[2021-05-13 04:34:48] [INFO ] Deduced a trap composed of 9 places in 76 ms of which 0 ms to minimize.
[2021-05-13 04:34:48] [INFO ] Deduced a trap composed of 36 places in 78 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 9 places in 80 ms of which 1 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 17 places in 82 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 9 places in 81 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 40 places in 81 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 19 places in 78 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 53 places in 79 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 19 places in 83 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 27 places in 75 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 9 places in 76 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 8 places in 76 ms of which 0 ms to minimize.
[2021-05-13 04:34:49] [INFO ] Deduced a trap composed of 31 places in 72 ms of which 0 ms to minimize.
[2021-05-13 04:34:50] [INFO ] Deduced a trap composed of 24 places in 82 ms of which 1 ms to minimize.
[2021-05-13 04:34:50] [INFO ] Trap strengthening (SAT) tested/added 20/19 trap constraints in 1779 ms
[2021-05-13 04:34:50] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 30 ms.
[2021-05-13 04:34:50] [INFO ] Deduced a trap composed of 9 places in 13 ms of which 1 ms to minimize.
[2021-05-13 04:34:50] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 48 ms
[2021-05-13 04:34:50] [INFO ] Added : 143 causal constraints over 29 iterations in 695 ms. Result :sat
Minimization took 93 ms.
Current structural bounds on expressions (after SMT) : [7, 7, 7, 8, 64, 8, 64, 7, 7, 64, 8, 8] Max seen :[7, 7, 7, 4, 40, 4, 40, 7, 7, 32, 5, 4]
FORMULA LamportFastMutEx-COL-8-UpperBounds-12 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-11 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-03 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-02 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-01 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Incomplete Parikh walk after 94300 steps, including 1000 resets, run finished after 752 ms. (steps per millisecond=125 ) properties (out of 7) seen :133 could not realise parikh vector
Incomplete Parikh walk after 93600 steps, including 1000 resets, run finished after 680 ms. (steps per millisecond=137 ) properties (out of 7) seen :133 could not realise parikh vector
Incomplete Parikh walk after 67000 steps, including 999 resets, run finished after 489 ms. (steps per millisecond=137 ) properties (out of 7) seen :136 could not realise parikh vector
Incomplete Parikh walk after 139400 steps, including 1000 resets, run finished after 1072 ms. (steps per millisecond=130 ) properties (out of 7) seen :138 could not realise parikh vector
Incomplete Parikh walk after 93600 steps, including 1000 resets, run finished after 689 ms. (steps per millisecond=135 ) properties (out of 7) seen :135 could not realise parikh vector
Incomplete Parikh walk after 139400 steps, including 1000 resets, run finished after 1060 ms. (steps per millisecond=131 ) properties (out of 7) seen :133 could not realise parikh vector
Incomplete Parikh walk after 93600 steps, including 1000 resets, run finished after 733 ms. (steps per millisecond=127 ) properties (out of 7) seen :134 could not realise parikh vector
Support contains 152 out of 266 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 266/266 places, 584/584 transitions.
Applied a total of 0 rules in 33 ms. Remains 266 /266 variables (removed 0) and now considering 584/584 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 266/266 places, 584/584 transitions.
Normalized transition count is 416 out of 584 initially.
// Phase 1: matrix 416 rows 266 cols
[2021-05-13 04:34:56] [INFO ] Computed 82 place invariants in 4 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 7023 ms. (steps per millisecond=142 ) properties (out of 7) seen :164
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1321 ms. (steps per millisecond=757 ) properties (out of 7) seen :133
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 2632 ms. (steps per millisecond=379 ) properties (out of 7) seen :148
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1379 ms. (steps per millisecond=725 ) properties (out of 7) seen :141
Incomplete Best-First random walk after 1000000 steps, including 2 resets, run finished after 2682 ms. (steps per millisecond=372 ) properties (out of 7) seen :147
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 2370 ms. (steps per millisecond=421 ) properties (out of 7) seen :162
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1898 ms. (steps per millisecond=526 ) properties (out of 7) seen :156
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1453 ms. (steps per millisecond=688 ) properties (out of 7) seen :28
[2021-05-13 04:35:17] [INFO ] Flow matrix only has 416 transitions (discarded 168 similar events)
// Phase 1: matrix 416 rows 266 cols
[2021-05-13 04:35:17] [INFO ] Computed 82 place invariants in 11 ms
[2021-05-13 04:35:17] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:35:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:17] [INFO ] [Real]Absence check using state equation in 78 ms returned sat
[2021-05-13 04:35:17] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:17] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:35:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:17] [INFO ] [Nat]Absence check using state equation in 78 ms returned sat
[2021-05-13 04:35:17] [INFO ] State equation strengthened by 128 read => feed constraints.
[2021-05-13 04:35:17] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:35:17] [INFO ] Deduced a trap composed of 17 places in 83 ms of which 0 ms to minimize.
[2021-05-13 04:35:17] [INFO ] Deduced a trap composed of 17 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:17] [INFO ] Deduced a trap composed of 16 places in 69 ms of which 1 ms to minimize.
[2021-05-13 04:35:17] [INFO ] Deduced a trap composed of 9 places in 66 ms of which 1 ms to minimize.
[2021-05-13 04:35:17] [INFO ] Deduced a trap composed of 16 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:17] [INFO ] Deduced a trap composed of 19 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:17] [INFO ] Deduced a trap composed of 17 places in 65 ms of which 1 ms to minimize.
[2021-05-13 04:35:18] [INFO ] Deduced a trap composed of 17 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:18] [INFO ] Deduced a trap composed of 16 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:18] [INFO ] Deduced a trap composed of 18 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:18] [INFO ] Deduced a trap composed of 17 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:18] [INFO ] Deduced a trap composed of 19 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:18] [INFO ] Deduced a trap composed of 9 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:18] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:18] [INFO ] Deduced a trap composed of 10 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:35:18] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 15 trap constraints in 1191 ms
[2021-05-13 04:35:18] [INFO ] [Real]Absence check using 82 positive place invariants in 17 ms returned sat
[2021-05-13 04:35:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:18] [INFO ] [Real]Absence check using state equation in 80 ms returned sat
[2021-05-13 04:35:18] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:18] [INFO ] [Nat]Absence check using 82 positive place invariants in 17 ms returned sat
[2021-05-13 04:35:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:18] [INFO ] [Nat]Absence check using state equation in 79 ms returned sat
[2021-05-13 04:35:18] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:35:18] [INFO ] Deduced a trap composed of 10 places in 69 ms of which 1 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 25 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 14 places in 63 ms of which 1 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 9 places in 62 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 27 places in 61 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 14 places in 59 ms of which 1 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 14 places in 58 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 50 places in 57 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 9 places in 58 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 1 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 17 places in 29 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 17 places in 44 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Deduced a trap composed of 10 places in 28 ms of which 0 ms to minimize.
[2021-05-13 04:35:19] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 18 trap constraints in 1066 ms
[2021-05-13 04:35:20] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:35:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:20] [INFO ] [Real]Absence check using state equation in 82 ms returned sat
[2021-05-13 04:35:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:20] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:35:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:20] [INFO ] [Nat]Absence check using state equation in 77 ms returned sat
[2021-05-13 04:35:20] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:35:20] [INFO ] Deduced a trap composed of 17 places in 82 ms of which 1 ms to minimize.
[2021-05-13 04:35:20] [INFO ] Deduced a trap composed of 17 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:20] [INFO ] Deduced a trap composed of 16 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:20] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 1 ms to minimize.
[2021-05-13 04:35:20] [INFO ] Deduced a trap composed of 16 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:20] [INFO ] Deduced a trap composed of 19 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:20] [INFO ] Deduced a trap composed of 17 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:20] [INFO ] Deduced a trap composed of 17 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:20] [INFO ] Deduced a trap composed of 16 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:21] [INFO ] Deduced a trap composed of 18 places in 69 ms of which 0 ms to minimize.
[2021-05-13 04:35:21] [INFO ] Deduced a trap composed of 17 places in 66 ms of which 1 ms to minimize.
[2021-05-13 04:35:21] [INFO ] Deduced a trap composed of 19 places in 65 ms of which 1 ms to minimize.
[2021-05-13 04:35:21] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 1 ms to minimize.
[2021-05-13 04:35:21] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:35:21] [INFO ] Deduced a trap composed of 10 places in 63 ms of which 0 ms to minimize.
[2021-05-13 04:35:21] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 15 trap constraints in 1168 ms
[2021-05-13 04:35:21] [INFO ] [Real]Absence check using 82 positive place invariants in 17 ms returned sat
[2021-05-13 04:35:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:21] [INFO ] [Real]Absence check using state equation in 80 ms returned sat
[2021-05-13 04:35:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:21] [INFO ] [Nat]Absence check using 82 positive place invariants in 18 ms returned sat
[2021-05-13 04:35:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:21] [INFO ] [Nat]Absence check using state equation in 78 ms returned sat
[2021-05-13 04:35:21] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:35:21] [INFO ] Deduced a trap composed of 10 places in 68 ms of which 0 ms to minimize.
[2021-05-13 04:35:21] [INFO ] Deduced a trap composed of 25 places in 67 ms of which 1 ms to minimize.
[2021-05-13 04:35:21] [INFO ] Deduced a trap composed of 14 places in 72 ms of which 1 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 27 places in 61 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 14 places in 59 ms of which 1 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 14 places in 57 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 50 places in 68 ms of which 10 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 9 places in 57 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 17 places in 31 ms of which 1 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 17 places in 30 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 17 places in 34 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 17 places in 31 ms of which 1 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 17 places in 61 ms of which 0 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Deduced a trap composed of 10 places in 29 ms of which 1 ms to minimize.
[2021-05-13 04:35:22] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 18 trap constraints in 1102 ms
[2021-05-13 04:35:22] [INFO ] [Real]Absence check using 82 positive place invariants in 17 ms returned sat
[2021-05-13 04:35:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:22] [INFO ] [Real]Absence check using state equation in 85 ms returned sat
[2021-05-13 04:35:22] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:22] [INFO ] [Nat]Absence check using 82 positive place invariants in 18 ms returned sat
[2021-05-13 04:35:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:23] [INFO ] [Nat]Absence check using state equation in 78 ms returned sat
[2021-05-13 04:35:23] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:35:23] [INFO ] Deduced a trap composed of 9 places in 55 ms of which 0 ms to minimize.
[2021-05-13 04:35:23] [INFO ] Deduced a trap composed of 9 places in 54 ms of which 0 ms to minimize.
[2021-05-13 04:35:23] [INFO ] Deduced a trap composed of 11 places in 60 ms of which 0 ms to minimize.
[2021-05-13 04:35:23] [INFO ] Deduced a trap composed of 11 places in 49 ms of which 0 ms to minimize.
[2021-05-13 04:35:23] [INFO ] Deduced a trap composed of 9 places in 46 ms of which 0 ms to minimize.
[2021-05-13 04:35:23] [INFO ] Deduced a trap composed of 19 places in 41 ms of which 1 ms to minimize.
[2021-05-13 04:35:23] [INFO ] Deduced a trap composed of 17 places in 45 ms of which 0 ms to minimize.
[2021-05-13 04:35:23] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 439 ms
[2021-05-13 04:35:23] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 24 ms.
[2021-05-13 04:35:24] [INFO ] Deduced a trap composed of 43 places in 62 ms of which 1 ms to minimize.
[2021-05-13 04:35:24] [INFO ] Deduced a trap composed of 17 places in 47 ms of which 0 ms to minimize.
[2021-05-13 04:35:24] [INFO ] Deduced a trap composed of 17 places in 47 ms of which 0 ms to minimize.
[2021-05-13 04:35:24] [INFO ] Deduced a trap composed of 47 places in 63 ms of which 0 ms to minimize.
[2021-05-13 04:35:24] [INFO ] Deduced a trap composed of 19 places in 46 ms of which 0 ms to minimize.
[2021-05-13 04:35:24] [INFO ] Deduced a trap composed of 17 places in 61 ms of which 0 ms to minimize.
[2021-05-13 04:35:24] [INFO ] Deduced a trap composed of 46 places in 62 ms of which 1 ms to minimize.
[2021-05-13 04:35:24] [INFO ] Deduced a trap composed of 44 places in 62 ms of which 0 ms to minimize.
[2021-05-13 04:35:25] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 651 ms
[2021-05-13 04:35:25] [INFO ] Added : 193 causal constraints over 39 iterations in 1504 ms. Result :sat
Minimization took 238 ms.
[2021-05-13 04:35:25] [INFO ] [Real]Absence check using 82 positive place invariants in 15 ms returned sat
[2021-05-13 04:35:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:25] [INFO ] [Real]Absence check using state equation in 79 ms returned sat
[2021-05-13 04:35:25] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:25] [INFO ] [Nat]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:35:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:25] [INFO ] [Nat]Absence check using state equation in 88 ms returned sat
[2021-05-13 04:35:25] [INFO ] [Nat]Added 128 Read/Feed constraints in 15 ms returned sat
[2021-05-13 04:35:25] [INFO ] Deduced a trap composed of 9 places in 72 ms of which 0 ms to minimize.
[2021-05-13 04:35:25] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 0 ms to minimize.
[2021-05-13 04:35:25] [INFO ] Deduced a trap composed of 9 places in 66 ms of which 1 ms to minimize.
[2021-05-13 04:35:25] [INFO ] Deduced a trap composed of 9 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:25] [INFO ] Deduced a trap composed of 15 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 20 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 9 places in 63 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 9 places in 56 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 17 places in 37 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 24 places in 53 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 17 places in 37 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 17 places in 37 ms of which 1 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 19 places in 37 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 19 places in 38 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 17 places in 37 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 17 places in 37 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 17 places in 36 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Deduced a trap composed of 10 places in 35 ms of which 0 ms to minimize.
[2021-05-13 04:35:26] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 18 trap constraints in 1137 ms
[2021-05-13 04:35:26] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:35:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:26] [INFO ] [Real]Absence check using state equation in 85 ms returned sat
[2021-05-13 04:35:26] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:26] [INFO ] [Nat]Absence check using 82 positive place invariants in 16 ms returned sat
[2021-05-13 04:35:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:26] [INFO ] [Nat]Absence check using state equation in 75 ms returned sat
[2021-05-13 04:35:26] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:35:27] [INFO ] Deduced a trap composed of 9 places in 24 ms of which 1 ms to minimize.
[2021-05-13 04:35:27] [INFO ] Deduced a trap composed of 8 places in 17 ms of which 1 ms to minimize.
[2021-05-13 04:35:27] [INFO ] Deduced a trap composed of 8 places in 11 ms of which 1 ms to minimize.
[2021-05-13 04:35:27] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 95 ms
[2021-05-13 04:35:27] [INFO ] Computed and/alt/rep : 240/1128/240 causal constraints (skipped 168 transitions) in 26 ms.
[2021-05-13 04:35:27] [INFO ] Deduced a trap composed of 8 places in 17 ms of which 0 ms to minimize.
[2021-05-13 04:35:28] [INFO ] Deduced a trap composed of 8 places in 11 ms of which 0 ms to minimize.
[2021-05-13 04:35:28] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 88 ms
[2021-05-13 04:35:28] [INFO ] Added : 206 causal constraints over 42 iterations in 981 ms. Result :sat
Minimization took 113 ms.
Current structural bounds on expressions (after SMT) : [7, 56, 7, 56, 64, 7, 8] Max seen :[7, 56, 7, 56, 50, 7, 7]
FORMULA LamportFastMutEx-COL-8-UpperBounds-14 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-08 56 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-07 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-06 56 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA LamportFastMutEx-COL-8-UpperBounds-04 7 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Incomplete Parikh walk after 95300 steps, including 1000 resets, run finished after 446 ms. (steps per millisecond=213 ) properties (out of 2) seen :36 could not realise parikh vector
Incomplete Parikh walk after 97100 steps, including 995 resets, run finished after 482 ms. (steps per millisecond=201 ) properties (out of 2) seen :39 could not realise parikh vector
Support contains 72 out of 266 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 266/266 places, 584/584 transitions.
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 0 with 8 rules applied. Total rules applied 8 place count 266 transition count 576
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 0 with 8 rules applied. Total rules applied 16 place count 258 transition count 576
Applied a total of 16 rules in 57 ms. Remains 258 /266 variables (removed 8) and now considering 576/584 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 258/266 places, 576/584 transitions.
Normalized transition count is 408 out of 576 initially.
// Phase 1: matrix 408 rows 258 cols
[2021-05-13 04:35:29] [INFO ] Computed 82 place invariants in 3 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 4538 ms. (steps per millisecond=220 ) properties (out of 2) seen :49
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 2279 ms. (steps per millisecond=438 ) properties (out of 2) seen :56
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1060 ms. (steps per millisecond=943 ) properties (out of 2) seen :9
[2021-05-13 04:35:37] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 258 cols
[2021-05-13 04:35:37] [INFO ] Computed 82 place invariants in 1 ms
[2021-05-13 04:35:37] [INFO ] [Real]Absence check using 82 positive place invariants in 16 ms returned sat
[2021-05-13 04:35:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:37] [INFO ] [Real]Absence check using state equation in 76 ms returned sat
[2021-05-13 04:35:37] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:37] [INFO ] [Nat]Absence check using 82 positive place invariants in 17 ms returned sat
[2021-05-13 04:35:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:37] [INFO ] [Nat]Absence check using state equation in 76 ms returned sat
[2021-05-13 04:35:37] [INFO ] State equation strengthened by 128 read => feed constraints.
[2021-05-13 04:35:37] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:35:37] [INFO ] Deduced a trap composed of 9 places in 91 ms of which 1 ms to minimize.
[2021-05-13 04:35:37] [INFO ] Deduced a trap composed of 9 places in 72 ms of which 0 ms to minimize.
[2021-05-13 04:35:37] [INFO ] Deduced a trap composed of 9 places in 72 ms of which 1 ms to minimize.
[2021-05-13 04:35:37] [INFO ] Deduced a trap composed of 9 places in 71 ms of which 0 ms to minimize.
[2021-05-13 04:35:37] [INFO ] Deduced a trap composed of 9 places in 72 ms of which 0 ms to minimize.
[2021-05-13 04:35:37] [INFO ] Deduced a trap composed of 17 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:35:37] [INFO ] Deduced a trap composed of 33 places in 82 ms of which 0 ms to minimize.
[2021-05-13 04:35:38] [INFO ] Deduced a trap composed of 10 places in 77 ms of which 0 ms to minimize.
[2021-05-13 04:35:38] [INFO ] Deduced a trap composed of 17 places in 76 ms of which 1 ms to minimize.
[2021-05-13 04:35:38] [INFO ] Deduced a trap composed of 17 places in 67 ms of which 0 ms to minimize.
[2021-05-13 04:35:38] [INFO ] Deduced a trap composed of 17 places in 72 ms of which 0 ms to minimize.
[2021-05-13 04:35:38] [INFO ] Deduced a trap composed of 17 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:35:38] [INFO ] Deduced a trap composed of 19 places in 69 ms of which 0 ms to minimize.
[2021-05-13 04:35:38] [INFO ] Deduced a trap composed of 19 places in 59 ms of which 1 ms to minimize.
[2021-05-13 04:35:38] [INFO ] Trap strengthening (SAT) tested/added 15/14 trap constraints in 1196 ms
[2021-05-13 04:35:38] [INFO ] Computed and/alt/rep : 224/984/224 causal constraints (skipped 176 transitions) in 24 ms.
[2021-05-13 04:35:39] [INFO ] Deduced a trap composed of 19 places in 66 ms of which 0 ms to minimize.
[2021-05-13 04:35:39] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 101 ms
[2021-05-13 04:35:39] [INFO ] Added : 159 causal constraints over 33 iterations in 831 ms. Result :sat
Minimization took 196 ms.
[2021-05-13 04:35:39] [INFO ] [Real]Absence check using 82 positive place invariants in 14 ms returned sat
[2021-05-13 04:35:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:39] [INFO ] [Real]Absence check using state equation in 76 ms returned sat
[2021-05-13 04:35:39] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:39] [INFO ] [Nat]Absence check using 82 positive place invariants in 13 ms returned sat
[2021-05-13 04:35:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:39] [INFO ] [Nat]Absence check using state equation in 76 ms returned sat
[2021-05-13 04:35:39] [INFO ] [Nat]Added 128 Read/Feed constraints in 16 ms returned sat
[2021-05-13 04:35:39] [INFO ] Deduced a trap composed of 8 places in 31 ms of which 0 ms to minimize.
[2021-05-13 04:35:39] [INFO ] Deduced a trap composed of 7 places in 24 ms of which 0 ms to minimize.
[2021-05-13 04:35:39] [INFO ] Deduced a trap composed of 7 places in 13 ms of which 0 ms to minimize.
[2021-05-13 04:35:39] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 122 ms
[2021-05-13 04:35:40] [INFO ] Computed and/alt/rep : 224/984/224 causal constraints (skipped 176 transitions) in 23 ms.
[2021-05-13 04:35:40] [INFO ] Deduced a trap composed of 8 places in 122 ms of which 1 ms to minimize.
[2021-05-13 04:35:40] [INFO ] Deduced a trap composed of 8 places in 117 ms of which 0 ms to minimize.
[2021-05-13 04:35:41] [INFO ] Deduced a trap composed of 47 places in 109 ms of which 0 ms to minimize.
[2021-05-13 04:35:41] [INFO ] Deduced a trap composed of 8 places in 107 ms of which 1 ms to minimize.
[2021-05-13 04:35:41] [INFO ] Deduced a trap composed of 7 places in 110 ms of which 0 ms to minimize.
[2021-05-13 04:35:41] [INFO ] Deduced a trap composed of 47 places in 105 ms of which 0 ms to minimize.
[2021-05-13 04:35:41] [INFO ] Deduced a trap composed of 45 places in 107 ms of which 0 ms to minimize.
[2021-05-13 04:35:41] [INFO ] Deduced a trap composed of 45 places in 107 ms of which 0 ms to minimize.
[2021-05-13 04:35:41] [INFO ] Trap strengthening (SAT) tested/added 9/8 trap constraints in 1071 ms
[2021-05-13 04:35:41] [INFO ] Added : 187 causal constraints over 38 iterations in 1834 ms. Result :sat
Minimization took 99 ms.
Current structural bounds on expressions (after SMT) : [64, 8] Max seen :[52, 7]
Incomplete Parikh walk after 93600 steps, including 1000 resets, run finished after 450 ms. (steps per millisecond=208 ) properties (out of 2) seen :40 could not realise parikh vector
Incomplete Parikh walk after 138300 steps, including 1000 resets, run finished after 636 ms. (steps per millisecond=217 ) properties (out of 2) seen :35 could not realise parikh vector
Support contains 72 out of 258 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 258/258 places, 576/576 transitions.
Applied a total of 0 rules in 19 ms. Remains 258 /258 variables (removed 0) and now considering 576/576 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 258/258 places, 576/576 transitions.
Starting structural reductions, iteration 0 : 258/258 places, 576/576 transitions.
Applied a total of 0 rules in 15 ms. Remains 258 /258 variables (removed 0) and now considering 576/576 (removed 0) transitions.
[2021-05-13 04:35:43] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 258 cols
[2021-05-13 04:35:43] [INFO ] Computed 82 place invariants in 2 ms
[2021-05-13 04:35:43] [INFO ] Implicit Places using invariants in 227 ms returned [162, 163, 164, 165, 166, 167, 168, 169]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 229 ms to find 8 implicit places.
[2021-05-13 04:35:43] [INFO ] Redundant transitions in 32 ms returned []
[2021-05-13 04:35:43] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:43] [INFO ] Computed 74 place invariants in 2 ms
[2021-05-13 04:35:43] [INFO ] Dead Transitions using invariants and state equation in 217 ms returned []
Starting structural reductions, iteration 1 : 250/258 places, 576/576 transitions.
Applied a total of 0 rules in 14 ms. Remains 250 /250 variables (removed 0) and now considering 576/576 (removed 0) transitions.
[2021-05-13 04:35:43] [INFO ] Redundant transitions in 13 ms returned []
[2021-05-13 04:35:43] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:43] [INFO ] Computed 74 place invariants in 1 ms
[2021-05-13 04:35:43] [INFO ] Dead Transitions using invariants and state equation in 209 ms returned []
Finished structural reductions, in 2 iterations. Remains : 250/258 places, 576/576 transitions.
Normalized transition count is 408 out of 576 initially.
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:43] [INFO ] Computed 74 place invariants in 2 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 4372 ms. (steps per millisecond=228 ) properties (out of 2) seen :40
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1960 ms. (steps per millisecond=510 ) properties (out of 2) seen :54
Incomplete Best-First random walk after 1000000 steps, including 2 resets, run finished after 1061 ms. (steps per millisecond=942 ) properties (out of 2) seen :9
[2021-05-13 04:35:51] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:51] [INFO ] Computed 74 place invariants in 2 ms
[2021-05-13 04:35:51] [INFO ] [Real]Absence check using 74 positive place invariants in 15 ms returned sat
[2021-05-13 04:35:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:51] [INFO ] [Real]Absence check using state equation in 76 ms returned sat
[2021-05-13 04:35:51] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:51] [INFO ] [Nat]Absence check using 74 positive place invariants in 18 ms returned sat
[2021-05-13 04:35:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:51] [INFO ] [Nat]Absence check using state equation in 78 ms returned sat
[2021-05-13 04:35:51] [INFO ] State equation strengthened by 64 read => feed constraints.
[2021-05-13 04:35:51] [INFO ] [Nat]Added 64 Read/Feed constraints in 11 ms returned sat
[2021-05-13 04:35:51] [INFO ] Deduced a trap composed of 50 places in 79 ms of which 0 ms to minimize.
[2021-05-13 04:35:51] [INFO ] Deduced a trap composed of 10 places in 63 ms of which 0 ms to minimize.
[2021-05-13 04:35:51] [INFO ] Deduced a trap composed of 11 places in 63 ms of which 0 ms to minimize.
[2021-05-13 04:35:51] [INFO ] Deduced a trap composed of 23 places in 76 ms of which 0 ms to minimize.
[2021-05-13 04:35:51] [INFO ] Deduced a trap composed of 42 places in 74 ms of which 0 ms to minimize.
[2021-05-13 04:35:51] [INFO ] Deduced a trap composed of 45 places in 75 ms of which 1 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 20 places in 85 ms of which 1 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 8 places in 82 ms of which 1 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 17 places in 58 ms of which 0 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 9 places in 57 ms of which 1 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 17 places in 83 ms of which 0 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 17 places in 73 ms of which 0 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 44 places in 73 ms of which 0 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 17 places in 73 ms of which 0 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 19 places in 56 ms of which 0 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 19 places in 54 ms of which 0 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Deduced a trap composed of 47 places in 73 ms of which 0 ms to minimize.
[2021-05-13 04:35:52] [INFO ] Trap strengthening (SAT) tested/added 18/17 trap constraints in 1420 ms
[2021-05-13 04:35:52] [INFO ] Computed and/alt/rep : 224/920/224 causal constraints (skipped 176 transitions) in 24 ms.
[2021-05-13 04:35:53] [INFO ] Added : 169 causal constraints over 34 iterations in 724 ms. Result :sat
Minimization took 210 ms.
[2021-05-13 04:35:53] [INFO ] [Real]Absence check using 74 positive place invariants in 11 ms returned sat
[2021-05-13 04:35:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:53] [INFO ] [Real]Absence check using state equation in 73 ms returned sat
[2021-05-13 04:35:53] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:53] [INFO ] [Nat]Absence check using 74 positive place invariants in 12 ms returned sat
[2021-05-13 04:35:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:54] [INFO ] [Nat]Absence check using state equation in 75 ms returned sat
[2021-05-13 04:35:54] [INFO ] [Nat]Added 64 Read/Feed constraints in 12 ms returned sat
[2021-05-13 04:35:54] [INFO ] Deduced a trap composed of 8 places in 101 ms of which 0 ms to minimize.
[2021-05-13 04:35:54] [INFO ] Deduced a trap composed of 8 places in 101 ms of which 1 ms to minimize.
[2021-05-13 04:35:54] [INFO ] Deduced a trap composed of 8 places in 100 ms of which 0 ms to minimize.
[2021-05-13 04:35:54] [INFO ] Deduced a trap composed of 9 places in 101 ms of which 0 ms to minimize.
[2021-05-13 04:35:54] [INFO ] Deduced a trap composed of 8 places in 109 ms of which 0 ms to minimize.
[2021-05-13 04:35:54] [INFO ] Deduced a trap composed of 47 places in 100 ms of which 0 ms to minimize.
[2021-05-13 04:35:54] [INFO ] Deduced a trap composed of 8 places in 102 ms of which 1 ms to minimize.
[2021-05-13 04:35:54] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 797 ms
[2021-05-13 04:35:54] [INFO ] Computed and/alt/rep : 224/920/224 causal constraints (skipped 176 transitions) in 23 ms.
[2021-05-13 04:35:55] [INFO ] Deduced a trap composed of 8 places in 13 ms of which 1 ms to minimize.
[2021-05-13 04:35:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 47 ms
[2021-05-13 04:35:55] [INFO ] Added : 187 causal constraints over 38 iterations in 826 ms. Result :sat
Minimization took 93 ms.
Current structural bounds on expressions (after SMT) : [64, 8] Max seen :[52, 7]
Incomplete Parikh walk after 98900 steps, including 1000 resets, run finished after 470 ms. (steps per millisecond=210 ) properties (out of 2) seen :37 could not realise parikh vector
Incomplete Parikh walk after 61300 steps, including 1000 resets, run finished after 294 ms. (steps per millisecond=208 ) properties (out of 2) seen :37 could not realise parikh vector
Support contains 72 out of 250 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 250/250 places, 576/576 transitions.
Applied a total of 0 rules in 11 ms. Remains 250 /250 variables (removed 0) and now considering 576/576 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 250/250 places, 576/576 transitions.
Starting structural reductions, iteration 0 : 250/250 places, 576/576 transitions.
Applied a total of 0 rules in 11 ms. Remains 250 /250 variables (removed 0) and now considering 576/576 (removed 0) transitions.
[2021-05-13 04:35:56] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:56] [INFO ] Computed 74 place invariants in 2 ms
[2021-05-13 04:35:56] [INFO ] Implicit Places using invariants in 143 ms returned []
[2021-05-13 04:35:56] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:56] [INFO ] Computed 74 place invariants in 1 ms
[2021-05-13 04:35:56] [INFO ] State equation strengthened by 64 read => feed constraints.
[2021-05-13 04:35:57] [INFO ] Implicit Places using invariants and state equation in 437 ms returned []
Implicit Place search using SMT with State Equation took 589 ms to find 0 implicit places.
[2021-05-13 04:35:57] [INFO ] Redundant transitions in 5 ms returned []
[2021-05-13 04:35:57] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:57] [INFO ] Computed 74 place invariants in 1 ms
[2021-05-13 04:35:57] [INFO ] Dead Transitions using invariants and state equation in 205 ms returned []
Finished structural reductions, in 1 iterations. Remains : 250/250 places, 576/576 transitions.
Starting property specific reduction for LamportFastMutEx-COL-8-UpperBounds-13
Normalized transition count is 408 out of 576 initially.
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:57] [INFO ] Computed 74 place invariants in 1 ms
Incomplete random walk after 10000 steps, including 2 resets, run finished after 43 ms. (steps per millisecond=232 ) properties (out of 1) seen :30
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 1) seen :32
[2021-05-13 04:35:57] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:57] [INFO ] Computed 74 place invariants in 1 ms
[2021-05-13 04:35:57] [INFO ] [Real]Absence check using 74 positive place invariants in 15 ms returned sat
[2021-05-13 04:35:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:57] [INFO ] [Real]Absence check using state equation in 76 ms returned sat
[2021-05-13 04:35:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:35:57] [INFO ] [Nat]Absence check using 74 positive place invariants in 15 ms returned sat
[2021-05-13 04:35:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:35:57] [INFO ] [Nat]Absence check using state equation in 75 ms returned sat
[2021-05-13 04:35:57] [INFO ] State equation strengthened by 64 read => feed constraints.
[2021-05-13 04:35:57] [INFO ] [Nat]Added 64 Read/Feed constraints in 12 ms returned sat
[2021-05-13 04:35:57] [INFO ] Deduced a trap composed of 9 places in 50 ms of which 0 ms to minimize.
[2021-05-13 04:35:57] [INFO ] Deduced a trap composed of 9 places in 41 ms of which 0 ms to minimize.
[2021-05-13 04:35:57] [INFO ] Deduced a trap composed of 8 places in 32 ms of which 0 ms to minimize.
[2021-05-13 04:35:57] [INFO ] Deduced a trap composed of 9 places in 23 ms of which 1 ms to minimize.
[2021-05-13 04:35:57] [INFO ] Deduced a trap composed of 9 places in 15 ms of which 0 ms to minimize.
[2021-05-13 04:35:57] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 229 ms
[2021-05-13 04:35:57] [INFO ] Computed and/alt/rep : 224/920/224 causal constraints (skipped 176 transitions) in 31 ms.
[2021-05-13 04:35:58] [INFO ] Deduced a trap composed of 8 places in 71 ms of which 0 ms to minimize.
[2021-05-13 04:35:58] [INFO ] Deduced a trap composed of 17 places in 70 ms of which 0 ms to minimize.
[2021-05-13 04:35:58] [INFO ] Deduced a trap composed of 17 places in 87 ms of which 1 ms to minimize.
[2021-05-13 04:35:58] [INFO ] Deduced a trap composed of 17 places in 75 ms of which 0 ms to minimize.
[2021-05-13 04:35:58] [INFO ] Deduced a trap composed of 17 places in 74 ms of which 1 ms to minimize.
[2021-05-13 04:35:59] [INFO ] Trap strengthening (SAT) tested/added 6/5 trap constraints in 496 ms
[2021-05-13 04:35:59] [INFO ] Added : 133 causal constraints over 28 iterations in 1084 ms. Result :sat
Minimization took 146 ms.
Current structural bounds on expressions (after SMT) : [64] Max seen :[32]
Incomplete Parikh walk after 105700 steps, including 1000 resets, run finished after 461 ms. (steps per millisecond=229 ) properties (out of 1) seen :25 could not realise parikh vector
Support contains 64 out of 250 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 250/250 places, 576/576 transitions.
Applied a total of 0 rules in 10 ms. Remains 250 /250 variables (removed 0) and now considering 576/576 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 250/250 places, 576/576 transitions.
Normalized transition count is 408 out of 576 initially.
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:35:59] [INFO ] Computed 74 place invariants in 2 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 4223 ms. (steps per millisecond=236 ) properties (out of 1) seen :35
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 1890 ms. (steps per millisecond=529 ) properties (out of 1) seen :56
[2021-05-13 04:36:05] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:36:05] [INFO ] Computed 74 place invariants in 2 ms
[2021-05-13 04:36:05] [INFO ] [Real]Absence check using 74 positive place invariants in 16 ms returned sat
[2021-05-13 04:36:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:36:05] [INFO ] [Real]Absence check using state equation in 77 ms returned sat
[2021-05-13 04:36:05] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:36:05] [INFO ] [Nat]Absence check using 74 positive place invariants in 17 ms returned sat
[2021-05-13 04:36:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:36:06] [INFO ] [Nat]Absence check using state equation in 77 ms returned sat
[2021-05-13 04:36:06] [INFO ] State equation strengthened by 64 read => feed constraints.
[2021-05-13 04:36:06] [INFO ] [Nat]Added 64 Read/Feed constraints in 13 ms returned sat
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 16 places in 86 ms of which 0 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 9 places in 72 ms of which 0 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 20 places in 69 ms of which 0 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 9 places in 69 ms of which 1 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 11 places in 68 ms of which 0 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 17 places in 67 ms of which 1 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 17 places in 66 ms of which 1 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 9 places in 67 ms of which 0 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 9 places in 64 ms of which 0 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 19 places in 62 ms of which 0 ms to minimize.
[2021-05-13 04:36:06] [INFO ] Deduced a trap composed of 17 places in 62 ms of which 0 ms to minimize.
[2021-05-13 04:36:07] [INFO ] Deduced a trap composed of 29 places in 81 ms of which 0 ms to minimize.
[2021-05-13 04:36:07] [INFO ] Deduced a trap composed of 17 places in 62 ms of which 0 ms to minimize.
[2021-05-13 04:36:07] [INFO ] Deduced a trap composed of 19 places in 62 ms of which 0 ms to minimize.
[2021-05-13 04:36:07] [INFO ] Deduced a trap composed of 17 places in 65 ms of which 0 ms to minimize.
[2021-05-13 04:36:07] [INFO ] Deduced a trap composed of 9 places in 80 ms of which 0 ms to minimize.
[2021-05-13 04:36:07] [INFO ] Deduced a trap composed of 17 places in 80 ms of which 1 ms to minimize.
[2021-05-13 04:36:07] [INFO ] Deduced a trap composed of 10 places in 61 ms of which 0 ms to minimize.
[2021-05-13 04:36:07] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 18 trap constraints in 1492 ms
Current structural bounds on expressions (after SMT) : [56] Max seen :[56]
FORMULA LamportFastMutEx-COL-8-UpperBounds-13 56 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Ending property specific reduction for LamportFastMutEx-COL-8-UpperBounds-13 in 10169 ms.
Starting property specific reduction for LamportFastMutEx-COL-8-UpperBounds-15
Normalized transition count is 408 out of 576 initially.
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:36:07] [INFO ] Computed 74 place invariants in 2 ms
Incomplete random walk after 10000 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 1) seen :4
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=1000 ) properties (out of 1) seen :1
[2021-05-13 04:36:07] [INFO ] Flow matrix only has 408 transitions (discarded 168 similar events)
// Phase 1: matrix 408 rows 250 cols
[2021-05-13 04:36:07] [INFO ] Computed 74 place invariants in 2 ms
[2021-05-13 04:36:07] [INFO ] [Real]Absence check using 74 positive place invariants in 12 ms returned sat
[2021-05-13 04:36:07] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:36:07] [INFO ] [Real]Absence check using state equation in 74 ms returned sat
[2021-05-13 04:36:07] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:36:07] [INFO ] [Nat]Absence check using 74 positive place invariants in 12 ms returned sat
[2021-05-13 04:36:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:36:07] [INFO ] [Nat]Absence check using state equation in 75 ms returned sat
[2021-05-13 04:36:07] [INFO ] State equation strengthened by 64 read => feed constraints.
[2021-05-13 04:36:07] [INFO ] [Nat]Added 64 Read/Feed constraints in 12 ms returned sat
[2021-05-13 04:36:07] [INFO ] Deduced a trap composed of 8 places in 105 ms of which 0 ms to minimize.
[2021-05-13 04:36:08] [INFO ] Deduced a trap composed of 8 places in 96 ms of which 1 ms to minimize.
[2021-05-13 04:36:08] [INFO ] Deduced a trap composed of 9 places in 95 ms of which 0 ms to minimize.
[2021-05-13 04:36:08] [INFO ] Deduced a trap composed of 42 places in 95 ms of which 0 ms to minimize.
[2021-05-13 04:36:08] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 443 ms
[2021-05-13 04:36:08] [INFO ] Computed and/alt/rep : 224/920/224 causal constraints (skipped 176 transitions) in 24 ms.
[2021-05-13 04:36:08] [INFO ] Deduced a trap composed of 8 places in 22 ms of which 0 ms to minimize.
[2021-05-13 04:36:08] [INFO ] Deduced a trap composed of 8 places in 13 ms of which 1 ms to minimize.
[2021-05-13 04:36:08] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 86 ms
[2021-05-13 04:36:08] [INFO ] Added : 130 causal constraints over 27 iterations in 628 ms. Result :sat
Minimization took 114 ms.
Current structural bounds on expressions (after SMT) : [8] Max seen :[4]
Incomplete Parikh walk after 98700 steps, including 1000 resets, run finished after 351 ms. (steps per millisecond=281 ) properties (out of 1) seen :5 could not realise parikh vector
Support contains 8 out of 250 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 250/250 places, 576/576 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Deduced a syphon composed of 8 places in 0 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 0 with 16 rules applied. Total rules applied 16 place count 242 transition count 568
Applied a total of 16 rules in 20 ms. Remains 242 /250 variables (removed 8) and now considering 568/576 (removed 8) transitions.
Finished structural reductions, in 1 iterations. Remains : 242/250 places, 568/576 transitions.
Normalized transition count is 400 out of 568 initially.
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:09] [INFO ] Computed 74 place invariants in 2 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 3358 ms. (steps per millisecond=297 ) properties (out of 1) seen :6
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1109 ) properties (out of 1) seen :1
[2021-05-13 04:36:13] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:13] [INFO ] Computed 74 place invariants in 1 ms
[2021-05-13 04:36:13] [INFO ] [Real]Absence check using 74 positive place invariants in 12 ms returned sat
[2021-05-13 04:36:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:36:13] [INFO ] [Real]Absence check using state equation in 74 ms returned sat
[2021-05-13 04:36:13] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:36:13] [INFO ] [Nat]Absence check using 74 positive place invariants in 11 ms returned sat
[2021-05-13 04:36:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:36:13] [INFO ] [Nat]Absence check using state equation in 76 ms returned sat
[2021-05-13 04:36:13] [INFO ] State equation strengthened by 64 read => feed constraints.
[2021-05-13 04:36:13] [INFO ] [Nat]Added 64 Read/Feed constraints in 18 ms returned sat
[2021-05-13 04:36:14] [INFO ] Deduced a trap composed of 48 places in 102 ms of which 0 ms to minimize.
[2021-05-13 04:36:14] [INFO ] Deduced a trap composed of 7 places in 100 ms of which 0 ms to minimize.
[2021-05-13 04:36:14] [INFO ] Deduced a trap composed of 7 places in 102 ms of which 1 ms to minimize.
[2021-05-13 04:36:14] [INFO ] Deduced a trap composed of 47 places in 106 ms of which 0 ms to minimize.
[2021-05-13 04:36:14] [INFO ] Deduced a trap composed of 46 places in 94 ms of which 0 ms to minimize.
[2021-05-13 04:36:14] [INFO ] Deduced a trap composed of 7 places in 21 ms of which 0 ms to minimize.
[2021-05-13 04:36:14] [INFO ] Deduced a trap composed of 7 places in 13 ms of which 0 ms to minimize.
[2021-05-13 04:36:14] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 620 ms
[2021-05-13 04:36:14] [INFO ] Computed and/alt/rep : 216/968/216 causal constraints (skipped 176 transitions) in 23 ms.
[2021-05-13 04:36:15] [INFO ] Deduced a trap composed of 7 places in 100 ms of which 0 ms to minimize.
[2021-05-13 04:36:15] [INFO ] Deduced a trap composed of 45 places in 100 ms of which 0 ms to minimize.
[2021-05-13 04:36:15] [INFO ] Deduced a trap composed of 45 places in 101 ms of which 1 ms to minimize.
[2021-05-13 04:36:15] [INFO ] Deduced a trap composed of 45 places in 99 ms of which 0 ms to minimize.
[2021-05-13 04:36:15] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 495 ms
[2021-05-13 04:36:15] [INFO ] Added : 160 causal constraints over 32 iterations in 1135 ms. Result :sat
Minimization took 95 ms.
Current structural bounds on expressions (after SMT) : [8] Max seen :[6]
Incomplete Parikh walk after 157300 steps, including 1000 resets, run finished after 568 ms. (steps per millisecond=276 ) properties (out of 1) seen :5 could not realise parikh vector
Support contains 8 out of 242 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 242/242 places, 568/568 transitions.
Applied a total of 0 rules in 10 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 242/242 places, 568/568 transitions.
Starting structural reductions, iteration 0 : 242/242 places, 568/568 transitions.
Applied a total of 0 rules in 9 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
[2021-05-13 04:36:16] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:16] [INFO ] Computed 74 place invariants in 1 ms
[2021-05-13 04:36:16] [INFO ] Implicit Places using invariants in 163 ms returned []
[2021-05-13 04:36:16] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:16] [INFO ] Computed 74 place invariants in 1 ms
[2021-05-13 04:36:16] [INFO ] State equation strengthened by 64 read => feed constraints.
[2021-05-13 04:36:17] [INFO ] Implicit Places using invariants and state equation in 530 ms returned []
Implicit Place search using SMT with State Equation took 694 ms to find 0 implicit places.
[2021-05-13 04:36:17] [INFO ] Redundant transitions in 3 ms returned []
[2021-05-13 04:36:17] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:17] [INFO ] Computed 74 place invariants in 2 ms
[2021-05-13 04:36:17] [INFO ] Dead Transitions using invariants and state equation in 206 ms returned []
Finished structural reductions, in 1 iterations. Remains : 242/242 places, 568/568 transitions.
Normalized transition count is 400 out of 568 initially.
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:17] [INFO ] Computed 74 place invariants in 2 ms
Incomplete random walk after 1000000 steps, including 2 resets, run finished after 3401 ms. (steps per millisecond=294 ) properties (out of 1) seen :6
Incomplete Best-First random walk after 1000001 steps, including 2 resets, run finished after 901 ms. (steps per millisecond=1109 ) properties (out of 1) seen :1
[2021-05-13 04:36:21] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:21] [INFO ] Computed 74 place invariants in 2 ms
[2021-05-13 04:36:21] [INFO ] [Real]Absence check using 74 positive place invariants in 12 ms returned sat
[2021-05-13 04:36:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-13 04:36:21] [INFO ] [Real]Absence check using state equation in 73 ms returned sat
[2021-05-13 04:36:21] [INFO ] Solution in real domain found non-integer solution.
[2021-05-13 04:36:21] [INFO ] [Nat]Absence check using 74 positive place invariants in 12 ms returned sat
[2021-05-13 04:36:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-13 04:36:21] [INFO ] [Nat]Absence check using state equation in 73 ms returned sat
[2021-05-13 04:36:21] [INFO ] State equation strengthened by 64 read => feed constraints.
[2021-05-13 04:36:21] [INFO ] [Nat]Added 64 Read/Feed constraints in 12 ms returned sat
[2021-05-13 04:36:21] [INFO ] Deduced a trap composed of 48 places in 100 ms of which 0 ms to minimize.
[2021-05-13 04:36:22] [INFO ] Deduced a trap composed of 7 places in 102 ms of which 0 ms to minimize.
[2021-05-13 04:36:22] [INFO ] Deduced a trap composed of 7 places in 102 ms of which 0 ms to minimize.
[2021-05-13 04:36:22] [INFO ] Deduced a trap composed of 47 places in 102 ms of which 0 ms to minimize.
[2021-05-13 04:36:22] [INFO ] Deduced a trap composed of 46 places in 96 ms of which 0 ms to minimize.
[2021-05-13 04:36:22] [INFO ] Deduced a trap composed of 7 places in 21 ms of which 0 ms to minimize.
[2021-05-13 04:36:22] [INFO ] Deduced a trap composed of 7 places in 12 ms of which 0 ms to minimize.
[2021-05-13 04:36:22] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 619 ms
[2021-05-13 04:36:22] [INFO ] Computed and/alt/rep : 216/968/216 causal constraints (skipped 176 transitions) in 23 ms.
[2021-05-13 04:36:23] [INFO ] Deduced a trap composed of 7 places in 100 ms of which 0 ms to minimize.
[2021-05-13 04:36:23] [INFO ] Deduced a trap composed of 45 places in 99 ms of which 1 ms to minimize.
[2021-05-13 04:36:23] [INFO ] Deduced a trap composed of 45 places in 98 ms of which 1 ms to minimize.
[2021-05-13 04:36:23] [INFO ] Deduced a trap composed of 45 places in 101 ms of which 1 ms to minimize.
[2021-05-13 04:36:23] [INFO ] Trap strengthening (SAT) tested/added 5/4 trap constraints in 493 ms
[2021-05-13 04:36:23] [INFO ] Added : 160 causal constraints over 32 iterations in 1118 ms. Result :sat
Minimization took 93 ms.
Current structural bounds on expressions (after SMT) : [8] Max seen :[6]
Incomplete Parikh walk after 157300 steps, including 1000 resets, run finished after 567 ms. (steps per millisecond=277 ) properties (out of 1) seen :6 could not realise parikh vector
Support contains 8 out of 242 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 242/242 places, 568/568 transitions.
Applied a total of 0 rules in 10 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 242/242 places, 568/568 transitions.
Starting structural reductions, iteration 0 : 242/242 places, 568/568 transitions.
Applied a total of 0 rules in 9 ms. Remains 242 /242 variables (removed 0) and now considering 568/568 (removed 0) transitions.
[2021-05-13 04:36:24] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:24] [INFO ] Computed 74 place invariants in 1 ms
[2021-05-13 04:36:24] [INFO ] Implicit Places using invariants in 159 ms returned []
[2021-05-13 04:36:24] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:24] [INFO ] Computed 74 place invariants in 1 ms
[2021-05-13 04:36:24] [INFO ] State equation strengthened by 64 read => feed constraints.
[2021-05-13 04:36:25] [INFO ] Implicit Places using invariants and state equation in 528 ms returned []
Implicit Place search using SMT with State Equation took 688 ms to find 0 implicit places.
[2021-05-13 04:36:25] [INFO ] Redundant transitions in 3 ms returned []
[2021-05-13 04:36:25] [INFO ] Flow matrix only has 400 transitions (discarded 168 similar events)
// Phase 1: matrix 400 rows 242 cols
[2021-05-13 04:36:25] [INFO ] Computed 74 place invariants in 4 ms
[2021-05-13 04:36:25] [INFO ] Dead Transitions using invariants and state equation in 207 ms returned []
Finished structural reductions, in 1 iterations. Remains : 242/242 places, 568/568 transitions.
Ending property specific reduction for LamportFastMutEx-COL-8-UpperBounds-15 in 17671 ms.
[2021-05-13 04:36:25] [INFO ] Flatten gal took : 95 ms
[2021-05-13 04:36:25] [INFO ] Applying decomposition
[2021-05-13 04:36:25] [INFO ] Flatten gal took : 50 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph9267945437295083331.txt, -o, /tmp/graph9267945437295083331.bin, -w, /tmp/graph9267945437295083331.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph9267945437295083331.bin, -l, -1, -v, -w, /tmp/graph9267945437295083331.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-13 04:36:25] [INFO ] Decomposing Gal with order
[2021-05-13 04:36:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 04:36:25] [INFO ] Removed a total of 913 redundant transitions.
[2021-05-13 04:36:25] [INFO ] Flatten gal took : 88 ms
[2021-05-13 04:36:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 50 labels/synchronizations in 19 ms.
[2021-05-13 04:36:25] [INFO ] Time to serialize gal into /tmp/UpperBounds11369611331526598747.gal : 8 ms
[2021-05-13 04:36:25] [INFO ] Time to serialize properties into /tmp/UpperBounds5073910064605953491.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/UpperBounds11369611331526598747.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds5073910064605953491.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/UpperBounds11369611331526598747.gal -t CGAL -reachable-file /tmp/UpperBounds5073910064605953491.prop --nowitness --gen-order FOLLOW
/tmp/UpperBounds11369611331526598747.gal(274) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(274) : error 3 : , at offset 29
near [Index: 3467 (Start: 1708642331-Stop: 1708642331) ='-', type<22> Line: 274 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(274) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(301) : error 3 : , at offset 29
near [Index: 3787 (Start: 1708643330-Stop: 1708643330) ='-', type<22> Line: 301 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(301) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(328) : error 3 : , at offset 29
near [Index: 4107 (Start: 1708644329-Stop: 1708644329) ='-', type<22> Line: 328 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(328) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(355) : error 3 : , at offset 29
near [Index: 4427 (Start: 1708645328-Stop: 1708645328) ='-', type<22> Line: 355 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(355) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(382) : error 3 : , at offset 29
near [Index: 4747 (Start: 1708646327-Stop: 1708646327) ='-', type<22> Line: 382 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(382) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(388) : error 3 : , at offset 31
near [Index: 4823 (Start: 1708646579-Stop: 1708646579) ='-', type<22> Line: 388 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(388) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(393) : error 3 : , at offset 31
near [Index: 4903 (Start: 1708646797-Stop: 1708646797) ='-', type<22> Line: 393 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(393) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(396) : error 3 : , at offset 31
near [Index: 4959 (Start: 1708646959-Stop: 1708646959) ='-', type<22> Line: 396 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(396) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(398) : error 3 : , at offset 31
near [Index: 4991 (Start: 1708647059-Stop: 1708647059) ='-', type<22> Line: 398 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(398) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(405) : error 3 : , at offset 32
near [Index: 5081 (Start: 1708647324-Stop: 1708647324) ='-', type<22> Line: 405 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(405) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(408) : error 3 : , at offset 32
near [Index: 5125 (Start: 1708647460-Stop: 1708647460) ='-', type<22> Line: 408 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(408) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(413) : error 3 : , at offset 31
near [Index: 5193 (Start: 1708647651-Stop: 1708647651) ='-', type<22> Line: 413 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(413) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(432) : error 3 : , at offset 31
near [Index: 5453 (Start: 1708648393-Stop: 1708648393) ='-', type<22> Line: 432 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(432) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(440) : error 3 : , at offset 32
near [Index: 5569 (Start: 1708648752-Stop: 1708648752) ='-', type<22> Line: 440 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(440) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(446) : error 3 : , at offset 33
near [Index: 5647 (Start: 1708649005-Stop: 1708649005) ='-', type<22> Line: 446 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(446) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(519) : error 3 : , at offset 28
near [Index: 6733 (Start: 1708652340-Stop: 1708652340) ='-', type<22> Line: 519 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(519) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(553) : error 3 : , at offset 28
near [Index: 7011 (Start: 1708653632-Stop: 1708653632) ='-', type<22> Line: 553 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(553) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(556) : error 3 : , at offset 28
near [Index: 7038 (Start: 1708653754-Stop: 1708653754) ='-', type<22> Line: 556 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(556) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(568) : error 3 : , at offset 27
near [Index: 7140 (Start: 1708654190-Stop: 1708654190) ='-', type<22> Line: 568 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(568) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(573) : error 3 : , at offset 27
near [Index: 7173 (Start: 1708654351-Stop: 1708654351) ='-', type<22> Line: 573 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(573) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(587) : error 3 : , at offset 27
near [Index: 7281 (Start: 1708654839-Stop: 1708654839) ='-', type<22> Line: 587 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(587) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(591) : error 3 : , at offset 31
near [Index: 7311 (Start: 1708654966-Stop: 1708654966) ='-', type<22> Line: 591 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(591) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(596) : error 3 : , at offset 31
near [Index: 7391 (Start: 1708655187-Stop: 1708655187) ='-', type<22> Line: 596 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(596) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(599) : error 3 : , at offset 31
near [Index: 7447 (Start: 1708655350-Stop: 1708655350) ='-', type<22> Line: 599 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(599) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(601) : error 3 : , at offset 31
near [Index: 7479 (Start: 1708655451-Stop: 1708655451) ='-', type<22> Line: 601 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(601) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(608) : error 3 : , at offset 32
near [Index: 7569 (Start: 1708655719-Stop: 1708655719) ='-', type<22> Line: 608 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(608) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(611) : error 3 : , at offset 32
near [Index: 7613 (Start: 1708655856-Stop: 1708655856) ='-', type<22> Line: 611 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(611) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(616) : error 3 : , at offset 32
near [Index: 7681 (Start: 1708656051-Stop: 1708656051) ='-', type<22> Line: 616 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(616) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(635) : error 3 : , at offset 32
near [Index: 7941 (Start: 1708656816-Stop: 1708656816) ='-', type<22> Line: 635 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(635) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(643) : error 3 : , at offset 32
near [Index: 8057 (Start: 1708657185-Stop: 1708657185) ='-', type<22> Line: 643 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(643) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(649) : error 3 : , at offset 33
near [Index: 8135 (Start: 1708657438-Stop: 1708657438) ='-', type<22> Line: 649 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(649) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(723) : error 3 : , at offset 33
near [Index: 9261 (Start: 1708660761-Stop: 1708660761) ='-', type<22> Line: 723 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(723) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(735) : error 3 : , at offset 28
near [Index: 9378 (Start: 1708661325-Stop: 1708661325) ='-', type<22> Line: 735 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(735) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(773) : error 3 : , at offset 28
near [Index: 9682 (Start: 1708662739-Stop: 1708662739) ='-', type<22> Line: 773 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(773) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(776) : error 3 : , at offset 28
near [Index: 9709 (Start: 1708662861-Stop: 1708662861) ='-', type<22> Line: 776 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(776) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(788) : error 3 : , at offset 27
near [Index: 9811 (Start: 1708663299-Stop: 1708663299) ='-', type<22> Line: 788 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(788) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(793) : error 3 : , at offset 27
near [Index: 9844 (Start: 1708663461-Stop: 1708663461) ='-', type<22> Line: 793 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(793) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(807) : error 3 : , at offset 27
near [Index: 9952 (Start: 1708663956-Stop: 1708663956) ='-', type<22> Line: 807 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(807) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(811) : error 3 : , at offset 31
near [Index: 9982 (Start: 1708664084-Stop: 1708664084) ='-', type<22> Line: 811 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(811) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(816) : error 3 : , at offset 31
near [Index: 10062 (Start: 1708664305-Stop: 1708664305) ='-', type<22> Line: 816 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(816) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(819) : error 3 : , at offset 31
near [Index: 10118 (Start: 1708664468-Stop: 1708664468) ='-', type<22> Line: 819 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(819) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(821) : error 3 : , at offset 31
near [Index: 10150 (Start: 1708664569-Stop: 1708664569) ='-', type<22> Line: 821 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(821) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(828) : error 3 : , at offset 32
near [Index: 10240 (Start: 1708664837-Stop: 1708664837) ='-', type<22> Line: 828 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(828) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(831) : error 3 : , at offset 32
near [Index: 10284 (Start: 1708664974-Stop: 1708664974) ='-', type<22> Line: 831 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(831) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(836) : error 3 : , at offset 32
near [Index: 10352 (Start: 1708665169-Stop: 1708665169) ='-', type<22> Line: 836 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(836) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(855) : error 3 : , at offset 32
near [Index: 10612 (Start: 1708665934-Stop: 1708665934) ='-', type<22> Line: 855 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(855) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(863) : error 3 : , at offset 32
near [Index: 10728 (Start: 1708666303-Stop: 1708666303) ='-', type<22> Line: 863 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(863) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(869) : error 3 : , at offset 33
near [Index: 10806 (Start: 1708666556-Stop: 1708666556) ='-', type<22> Line: 869 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(869) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(943) : error 3 : , at offset 33
near [Index: 11932 (Start: 1708669879-Stop: 1708669879) ='-', type<22> Line: 943 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(943) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(955) : error 3 : , at offset 28
near [Index: 12049 (Start: 1708670443-Stop: 1708670443) ='-', type<22> Line: 955 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(955) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(993) : error 3 : , at offset 28
near [Index: 12353 (Start: 1708671857-Stop: 1708671857) ='-', type<22> Line: 993 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(993) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(996) : error 3 : , at offset 28
near [Index: 12380 (Start: 1708671979-Stop: 1708671979) ='-', type<22> Line: 996 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(996) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1008) : error 3 : , at offset 27
near [Index: 12482 (Start: 1708672417-Stop: 1708672417) ='-', type<22> Line: 1008 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1008) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1013) : error 3 : , at offset 27
near [Index: 12515 (Start: 1708672579-Stop: 1708672579) ='-', type<22> Line: 1013 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1013) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1027) : error 3 : , at offset 27
near [Index: 12623 (Start: 1708673074-Stop: 1708673074) ='-', type<22> Line: 1027 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1027) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1031) : error 3 : , at offset 31
near [Index: 12653 (Start: 1708673202-Stop: 1708673202) ='-', type<22> Line: 1031 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1031) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1036) : error 3 : , at offset 31
near [Index: 12733 (Start: 1708673423-Stop: 1708673423) ='-', type<22> Line: 1036 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1036) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1039) : error 3 : , at offset 31
near [Index: 12789 (Start: 1708673586-Stop: 1708673586) ='-', type<22> Line: 1039 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1039) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1041) : error 3 : , at offset 31
near [Index: 12821 (Start: 1708673687-Stop: 1708673687) ='-', type<22> Line: 1041 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1041) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1048) : error 3 : , at offset 32
near [Index: 12911 (Start: 1708673955-Stop: 1708673955) ='-', type<22> Line: 1048 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1048) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1051) : error 3 : , at offset 32
near [Index: 12955 (Start: 1708674092-Stop: 1708674092) ='-', type<22> Line: 1051 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1051) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1056) : error 3 : , at offset 32
near [Index: 13023 (Start: 1708674287-Stop: 1708674287) ='-', type<22> Line: 1056 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1056) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1075) : error 3 : , at offset 32
near [Index: 13283 (Start: 1708675052-Stop: 1708675052) ='-', type<22> Line: 1075 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1075) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1083) : error 3 : , at offset 32
near [Index: 13399 (Start: 1708675421-Stop: 1708675421) ='-', type<22> Line: 1083 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1083) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1089) : error 3 : , at offset 33
near [Index: 13477 (Start: 1708675674-Stop: 1708675674) ='-', type<22> Line: 1089 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1089) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1163) : error 3 : , at offset 33
near [Index: 14603 (Start: 1708678997-Stop: 1708678997) ='-', type<22> Line: 1163 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1163) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1175) : error 3 : , at offset 28
near [Index: 14720 (Start: 1708679561-Stop: 1708679561) ='-', type<22> Line: 1175 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1175) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1213) : error 3 : , at offset 28
near [Index: 15024 (Start: 1708680975-Stop: 1708680975) ='-', type<22> Line: 1213 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1213) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1216) : error 3 : , at offset 28
near [Index: 15051 (Start: 1708681097-Stop: 1708681097) ='-', type<22> Line: 1216 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1216) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1228) : error 3 : , at offset 27
near [Index: 15153 (Start: 1708681535-Stop: 1708681535) ='-', type<22> Line: 1228 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1228) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1233) : error 3 : , at offset 27
near [Index: 15186 (Start: 1708681697-Stop: 1708681697) ='-', type<22> Line: 1233 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1233) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1247) : error 3 : , at offset 27
near [Index: 15294 (Start: 1708682192-Stop: 1708682192) ='-', type<22> Line: 1247 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1247) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1251) : error 3 : , at offset 31
near [Index: 15324 (Start: 1708682320-Stop: 1708682320) ='-', type<22> Line: 1251 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1251) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1256) : error 3 : , at offset 31
near [Index: 15404 (Start: 1708682541-Stop: 1708682541) ='-', type<22> Line: 1256 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1256) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1259) : error 3 : , at offset 31
near [Index: 15460 (Start: 1708682704-Stop: 1708682704) ='-', type<22> Line: 1259 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1259) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1261) : error 3 : , at offset 31
near [Index: 15492 (Start: 1708682805-Stop: 1708682805) ='-', type<22> Line: 1261 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1261) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1268) : error 3 : , at offset 32
near [Index: 15582 (Start: 1708683073-Stop: 1708683073) ='-', type<22> Line: 1268 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1268) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1271) : error 3 : , at offset 32
near [Index: 15626 (Start: 1708683210-Stop: 1708683210) ='-', type<22> Line: 1271 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1271) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1276) : error 3 : , at offset 32
near [Index: 15694 (Start: 1708683405-Stop: 1708683405) ='-', type<22> Line: 1276 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1276) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1295) : error 3 : , at offset 32
near [Index: 15954 (Start: 1708684170-Stop: 1708684170) ='-', type<22> Line: 1295 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1295) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1303) : error 3 : , at offset 32
near [Index: 16070 (Start: 1708684539-Stop: 1708684539) ='-', type<22> Line: 1303 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1303) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1309) : error 3 : , at offset 33
near [Index: 16148 (Start: 1708684792-Stop: 1708684792) ='-', type<22> Line: 1309 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1309) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1383) : error 3 : , at offset 33
near [Index: 17274 (Start: 1708688115-Stop: 1708688115) ='-', type<22> Line: 1383 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1383) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1395) : error 3 : , at offset 28
near [Index: 17391 (Start: 1708688679-Stop: 1708688679) ='-', type<22> Line: 1395 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1395) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1433) : error 3 : , at offset 28
near [Index: 17695 (Start: 1708690093-Stop: 1708690093) ='-', type<22> Line: 1433 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1433) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1436) : error 3 : , at offset 28
near [Index: 17722 (Start: 1708690219-Stop: 1708690219) ='-', type<22> Line: 1436 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1436) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1448) : error 3 : , at offset 27
near [Index: 17824 (Start: 1708690653-Stop: 1708690653) ='-', type<22> Line: 1448 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1448) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1453) : error 3 : , at offset 27
near [Index: 17857 (Start: 1708690815-Stop: 1708690815) ='-', type<22> Line: 1453 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1453) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1467) : error 3 : , at offset 27
near [Index: 17965 (Start: 1708691310-Stop: 1708691310) ='-', type<22> Line: 1467 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1467) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1471) : error 3 : , at offset 31
near [Index: 17995 (Start: 1708691438-Stop: 1708691438) ='-', type<22> Line: 1471 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1471) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1499) : error 3 : , at offset 31
near [Index: 18383 (Start: 1708692502-Stop: 1708692502) ='-', type<22> Line: 1499 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1499) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1509) : error 3 : , at offset 32
near [Index: 18529 (Start: 1708692953-Stop: 1708692953) ='-', type<22> Line: 1509 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1509) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1514) : error 3 : , at offset 32
near [Index: 18609 (Start: 1708693178-Stop: 1708693178) ='-', type<22> Line: 1514 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1514) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1517) : error 3 : , at offset 32
near [Index: 18665 (Start: 1708693345-Stop: 1708693345) ='-', type<22> Line: 1517 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1517) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1520) : error 3 : , at offset 32
near [Index: 18709 (Start: 1708693482-Stop: 1708693482) ='-', type<22> Line: 1520 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1520) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1529) : error 3 : , at offset 33
near [Index: 18831 (Start: 1708693843-Stop: 1708693843) ='-', type<22> Line: 1529 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1529) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1532) : error 3 : , at offset 33
near [Index: 18875 (Start: 1708693984-Stop: 1708693984) ='-', type<22> Line: 1532 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1532) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1582) : error 3 : , at offset 33
near [Index: 19547 (Start: 1708695997-Stop: 1708695997) ='-', type<22> Line: 1582 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1582) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1585) : error 3 : , at offset 33
near [Index: 19591 (Start: 1708696137-Stop: 1708696137) ='-', type<22> Line: 1585 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1585) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1617) : error 3 : , at offset 28
near [Index: 20143 (Start: 1708697820-Stop: 1708697820) ='-', type<22> Line: 1617 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1617) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1647) : error 3 : , at offset 28
near [Index: 20395 (Start: 1708698992-Stop: 1708698992) ='-', type<22> Line: 1647 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1647) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1659) : error 3 : , at offset 27
near [Index: 20497 (Start: 1708699437-Stop: 1708699437) ='-', type<22> Line: 1659 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1659) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1672) : error 3 : , at offset 27
near [Index: 20600 (Start: 1708699888-Stop: 1708699888) ='-', type<22> Line: 1672 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1672) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1676) : error 3 : , at offset 31
near [Index: 20630 (Start: 1708700016-Stop: 1708700016) ='-', type<22> Line: 1676 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1676) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1681) : error 3 : , at offset 31
near [Index: 20710 (Start: 1708700234-Stop: 1708700234) ='-', type<22> Line: 1681 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1681) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1684) : error 3 : , at offset 31
near [Index: 20766 (Start: 1708700396-Stop: 1708700396) ='-', type<22> Line: 1684 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1684) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1686) : error 3 : , at offset 31
near [Index: 20798 (Start: 1708700496-Stop: 1708700496) ='-', type<22> Line: 1686 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1686) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1693) : error 3 : , at offset 32
near [Index: 20888 (Start: 1708700761-Stop: 1708700761) ='-', type<22> Line: 1693 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1693) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1696) : error 3 : , at offset 32
near [Index: 20932 (Start: 1708700897-Stop: 1708700897) ='-', type<22> Line: 1696 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1696) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1701) : error 3 : , at offset 31
near [Index: 21000 (Start: 1708701088-Stop: 1708701088) ='-', type<22> Line: 1701 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1701) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1720) : error 3 : , at offset 31
near [Index: 21260 (Start: 1708701830-Stop: 1708701830) ='-', type<22> Line: 1720 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1720) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1728) : error 3 : , at offset 32
near [Index: 21376 (Start: 1708702189-Stop: 1708702189) ='-', type<22> Line: 1728 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1728) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1734) : error 3 : , at offset 33
near [Index: 21454 (Start: 1708702442-Stop: 1708702442) ='-', type<22> Line: 1734 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1734) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1808) : error 3 : , at offset 33
near [Index: 22580 (Start: 1708705765-Stop: 1708705765) ='-', type<22> Line: 1808 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1808) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1820) : error 3 : , at offset 28
near [Index: 22697 (Start: 1708706329-Stop: 1708706329) ='-', type<22> Line: 1820 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1820) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1858) : error 3 : , at offset 28
near [Index: 23001 (Start: 1708707741-Stop: 1708707741) ='-', type<22> Line: 1858 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1858) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1861) : error 3 : , at offset 28
near [Index: 23028 (Start: 1708707863-Stop: 1708707863) ='-', type<22> Line: 1861 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1861) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1873) : error 3 : , at offset 27
near [Index: 23130 (Start: 1708708299-Stop: 1708708299) ='-', type<22> Line: 1873 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1873) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1878) : error 3 : , at offset 27
near [Index: 23163 (Start: 1708708460-Stop: 1708708460) ='-', type<22> Line: 1878 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1878) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1892) : error 3 : , at offset 27
near [Index: 23271 (Start: 1708708948-Stop: 1708708948) ='-', type<22> Line: 1892 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1892) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1896) : error 3 : , at offset 31
near [Index: 23301 (Start: 1708709075-Stop: 1708709075) ='-', type<22> Line: 1896 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1896) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1901) : error 3 : , at offset 31
near [Index: 23381 (Start: 1708709293-Stop: 1708709293) ='-', type<22> Line: 1901 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1901) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1904) : error 3 : , at offset 31
near [Index: 23437 (Start: 1708709455-Stop: 1708709455) ='-', type<22> Line: 1904 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1904) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1906) : error 3 : , at offset 31
near [Index: 23469 (Start: 1708709555-Stop: 1708709555) ='-', type<22> Line: 1906 LinePos:31]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1906) : error 10 : org.antlr.runtime.MissingTokenException, at offset 31
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1913) : error 3 : , at offset 32
near [Index: 23559 (Start: 1708709820-Stop: 1708709820) ='-', type<22> Line: 1913 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1913) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1916) : error 3 : , at offset 32
near [Index: 23603 (Start: 1708709956-Stop: 1708709956) ='-', type<22> Line: 1916 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1916) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1921) : error 3 : , at offset 32
near [Index: 23671 (Start: 1708710148-Stop: 1708710148) ='-', type<22> Line: 1921 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1921) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1940) : error 3 : , at offset 32
near [Index: 23931 (Start: 1708710913-Stop: 1708710913) ='-', type<22> Line: 1940 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1940) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1948) : error 3 : , at offset 32
near [Index: 24047 (Start: 1708711282-Stop: 1708711282) ='-', type<22> Line: 1948 LinePos:32]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1948) : error 10 : org.antlr.runtime.MissingTokenException, at offset 32
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(1954) : error 3 : , at offset 33
near [Index: 24125 (Start: 1708711535-Stop: 1708711535) ='-', type<22> Line: 1954 LinePos:33]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(1954) : error 10 : org.antlr.runtime.MissingTokenException, at offset 33
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2027) : error 3 : , at offset 28
near [Index: 25211 (Start: 1708714870-Stop: 1708714870) ='-', type<22> Line: 2027 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2027) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2061) : error 3 : , at offset 28
near [Index: 25489 (Start: 1708716164-Stop: 1708716164) ='-', type<22> Line: 2061 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2061) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2064) : error 3 : , at offset 28
near [Index: 25516 (Start: 1708716286-Stop: 1708716286) ='-', type<22> Line: 2064 LinePos:28]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2064) : error 10 : org.antlr.runtime.MissingTokenException, at offset 28
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2076) : error 3 : , at offset 27
near [Index: 25618 (Start: 1708716724-Stop: 1708716724) ='-', type<22> Line: 2076 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2076) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2081) : error 3 : , at offset 27
near [Index: 25651 (Start: 1708716886-Stop: 1708716886) ='-', type<22> Line: 2081 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2081) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2095) : error 3 : , at offset 27
near [Index: 25759 (Start: 1708717381-Stop: 1708717381) ='-', type<22> Line: 2095 LinePos:27]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2095) : error 10 : org.antlr.runtime.MissingTokenException, at offset 27
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2120) : error 3 : , at offset 34
near [Index: 26077 (Start: 1708718391-Stop: 1708718391) ='-', type<22> Line: 2120 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2120) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2147) : error 3 : , at offset 34
near [Index: 26451 (Start: 1708719560-Stop: 1708719560) ='-', type<22> Line: 2147 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2147) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2174) : error 3 : , at offset 34
near [Index: 26825 (Start: 1708720729-Stop: 1708720729) ='-', type<22> Line: 2174 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2174) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2187) : error 3 : , at offset 34
near [Index: 26999 (Start: 1708721310-Stop: 1708721310) ='-', type<22> Line: 2187 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2187) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2210) : error 3 : , at offset 34
near [Index: 27311 (Start: 1708722277-Stop: 1708722277) ='-', type<22> Line: 2210 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2210) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2220) : error 3 : , at offset 34
near [Index: 27443 (Start: 1708722720-Stop: 1708722720) ='-', type<22> Line: 2220 LinePos:34]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2220) : error 10 : org.antlr.runtime.MissingTokenException, at offset 34
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2244) : error 3 : , at offset 29
near [Index: 27660 (Start: 1708723747-Stop: 1708723747) ='-', type<22> Line: 2244 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2244) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2247) : error 3 : , at offset 29
near [Index: 27687 (Start: 1708723876-Stop: 1708723876) ='-', type<22> Line: 2247 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2247) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2250) : error 3 : , at offset 29
near [Index: 27714 (Start: 1708724005-Stop: 1708724005) ='-', type<22> Line: 2250 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2250) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2333) : error 3 : , at offset 29
near [Index: 28307 (Start: 1708726833-Stop: 1708726833) ='-', type<22> Line: 2333 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2333) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2336) : error 3 : , at offset 29
near [Index: 28334 (Start: 1708726962-Stop: 1708726962) ='-', type<22> Line: 2336 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2336) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(2339) : error 3 : , at offset 29
near [Index: 28361 (Start: 1708727091-Stop: 1708727091) ='-', type<22> Line: 2339 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(2339) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3423) : error 3 : , at offset 24
near [Index: 34945 (Start: 1708756228-Stop: 1708756228) ='-', type<22> Line: 3423 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3423) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3428) : error 3 : , at offset 24
near [Index: 34976 (Start: 1708756387-Stop: 1708756387) ='-', type<22> Line: 3428 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3428) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3433) : error 3 : , at offset 24
near [Index: 35007 (Start: 1708756542-Stop: 1708756542) ='-', type<22> Line: 3433 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3433) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3438) : error 3 : , at offset 24
near [Index: 35038 (Start: 1708756701-Stop: 1708756701) ='-', type<22> Line: 3438 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3438) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3443) : error 3 : , at offset 24
near [Index: 35069 (Start: 1708756860-Stop: 1708756860) ='-', type<22> Line: 3443 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3443) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3448) : error 3 : , at offset 24
near [Index: 35100 (Start: 1708757015-Stop: 1708757015) ='-', type<22> Line: 3448 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3448) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3453) : error 3 : , at offset 24
near [Index: 35131 (Start: 1708757170-Stop: 1708757170) ='-', type<22> Line: 3453 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3453) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3458) : error 3 : , at offset 24
near [Index: 35162 (Start: 1708757325-Stop: 1708757325) ='-', type<22> Line: 3458 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3458) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3462) : error 3 : , at offset 24
near [Index: 35188 (Start: 1708757444-Stop: 1708757444) ='-', type<22> Line: 3462 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3462) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3467) : error 3 : , at offset 24
near [Index: 35219 (Start: 1708757603-Stop: 1708757603) ='-', type<22> Line: 3467 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3467) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3472) : error 3 : , at offset 24
near [Index: 35250 (Start: 1708757758-Stop: 1708757758) ='-', type<22> Line: 3472 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3472) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3477) : error 3 : , at offset 24
near [Index: 35281 (Start: 1708757917-Stop: 1708757917) ='-', type<22> Line: 3477 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3477) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3482) : error 3 : , at offset 24
near [Index: 35312 (Start: 1708758076-Stop: 1708758076) ='-', type<22> Line: 3482 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3482) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3487) : error 3 : , at offset 24
near [Index: 35343 (Start: 1708758231-Stop: 1708758231) ='-', type<22> Line: 3487 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3487) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(3492) : error 3 : , at offset 24
near [Index: 35374 (Start: 1708758386-Stop: 1708758386) ='-', type<22> Line: 3492 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(3492) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(4051) : error 3 : , at offset 24
near [Index: 38671 (Start: 1708774375-Stop: 1708774375) ='-', type<22> Line: 4051 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(4051) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(4055) : error 3 : , at offset 24
near [Index: 38697 (Start: 1708774498-Stop: 1708774498) ='-', type<22> Line: 4055 LinePos:24]
: cannot match to any predicted input...
/tmp/UpperBounds11369611331526598747.gal(4055) : error 10 : org.antlr.runtime.MissingTokenException, at offset 24
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds11369611331526598747.gal(4059) : error 3 : , at offset 24
near [Index: 38723 (Start: 1708774620-Stop: 1708774620) ='-', type<22> Line: 4059 LinePos:24]
: cannot match to any predicted input...
The parser returned 332 errors, parsing aborted
ITS-tools command line returned an error code 1
[2021-05-13 04:36:26] [INFO ] Applying decomposition
[2021-05-13 04:36:26] [INFO ] Flatten gal took : 50 ms
[2021-05-13 04:36:26] [INFO ] Decomposing Gal with order
[2021-05-13 04:36:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-13 04:36:26] [INFO ] Removed a total of 1403 redundant transitions.
[2021-05-13 04:36:26] [INFO ] Flatten gal took : 98 ms
[2021-05-13 04:36:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 40 labels/synchronizations in 13 ms.
[2021-05-13 04:36:26] [INFO ] Time to serialize gal into /tmp/UpperBounds17562347858271481609.gal : 4 ms
[2021-05-13 04:36:26] [INFO ] Time to serialize properties into /tmp/UpperBounds10033366112067505323.prop : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/UpperBounds17562347858271481609.gal, -t, CGAL, -reachable-file, /tmp/UpperBounds10033366112067505323.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/UpperBounds17562347858271481609.gal -t CGAL -reachable-file /tmp/UpperBounds10033366112067505323.prop --nowitness --gen-order FOLLOW
/tmp/UpperBounds17562347858271481609.gal(253) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(253) : error 3 : , at offset 36
near [Index: 2761 (Start: 854277790-Stop: 854277790) ='-', type<22> Line: 253 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(253) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(256) : error 3 : , at offset 36
near [Index: 2799 (Start: 854277938-Stop: 854277938) ='-', type<22> Line: 256 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(256) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(258) : error 3 : , at offset 36
near [Index: 2827 (Start: 854278053-Stop: 854278053) ='-', type<22> Line: 258 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(258) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(261) : error 3 : , at offset 36
near [Index: 2859 (Start: 854278182-Stop: 854278182) ='-', type<22> Line: 261 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(261) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(264) : error 3 : , at offset 36
near [Index: 2891 (Start: 854278311-Stop: 854278311) ='-', type<22> Line: 264 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(264) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(266) : error 3 : , at offset 36
near [Index: 2919 (Start: 854278426-Stop: 854278426) ='-', type<22> Line: 266 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(266) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(269) : error 3 : , at offset 36
near [Index: 2957 (Start: 854278574-Stop: 854278574) ='-', type<22> Line: 269 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(269) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(272) : error 3 : , at offset 36
near [Index: 2995 (Start: 854278722-Stop: 854278722) ='-', type<22> Line: 272 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(272) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(274) : error 3 : , at offset 36
near [Index: 3023 (Start: 854278837-Stop: 854278837) ='-', type<22> Line: 274 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(274) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(277) : error 3 : , at offset 36
near [Index: 3055 (Start: 854278966-Stop: 854278966) ='-', type<22> Line: 277 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(277) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(280) : error 3 : , at offset 36
near [Index: 3087 (Start: 854279095-Stop: 854279095) ='-', type<22> Line: 280 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(280) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(282) : error 3 : , at offset 36
near [Index: 3115 (Start: 854279210-Stop: 854279210) ='-', type<22> Line: 282 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(282) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(285) : error 3 : , at offset 36
near [Index: 3153 (Start: 854279358-Stop: 854279358) ='-', type<22> Line: 285 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(285) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(288) : error 3 : , at offset 36
near [Index: 3191 (Start: 854279506-Stop: 854279506) ='-', type<22> Line: 288 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(288) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(290) : error 3 : , at offset 36
near [Index: 3219 (Start: 854279621-Stop: 854279621) ='-', type<22> Line: 290 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(290) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(293) : error 3 : , at offset 36
near [Index: 3251 (Start: 854279750-Stop: 854279750) ='-', type<22> Line: 293 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(293) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(296) : error 3 : , at offset 36
near [Index: 3283 (Start: 854279879-Stop: 854279879) ='-', type<22> Line: 296 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(296) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(298) : error 3 : , at offset 36
near [Index: 3311 (Start: 854279994-Stop: 854279994) ='-', type<22> Line: 298 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(298) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(301) : error 3 : , at offset 36
near [Index: 3349 (Start: 854280142-Stop: 854280142) ='-', type<22> Line: 301 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(301) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(304) : error 3 : , at offset 36
near [Index: 3387 (Start: 854280290-Stop: 854280290) ='-', type<22> Line: 304 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(304) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(306) : error 3 : , at offset 36
near [Index: 3415 (Start: 854280405-Stop: 854280405) ='-', type<22> Line: 306 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(306) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(309) : error 3 : , at offset 36
near [Index: 3447 (Start: 854280534-Stop: 854280534) ='-', type<22> Line: 309 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(309) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(312) : error 3 : , at offset 36
near [Index: 3479 (Start: 854280663-Stop: 854280663) ='-', type<22> Line: 312 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(312) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(314) : error 3 : , at offset 36
near [Index: 3507 (Start: 854280778-Stop: 854280778) ='-', type<22> Line: 314 LinePos:36]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(314) : error 10 : org.antlr.runtime.MissingTokenException, at offset 36
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(317) : error 3 : , at offset 37
near [Index: 3545 (Start: 854280927-Stop: 854280927) ='-', type<22> Line: 317 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(317) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(320) : error 3 : , at offset 37
near [Index: 3583 (Start: 854281081-Stop: 854281081) ='-', type<22> Line: 320 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(320) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(322) : error 3 : , at offset 37
near [Index: 3611 (Start: 854281200-Stop: 854281200) ='-', type<22> Line: 322 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(322) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(325) : error 3 : , at offset 37
near [Index: 3643 (Start: 854281333-Stop: 854281333) ='-', type<22> Line: 325 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(325) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(328) : error 3 : , at offset 37
near [Index: 3675 (Start: 854281466-Stop: 854281466) ='-', type<22> Line: 328 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(328) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(330) : error 3 : , at offset 37
near [Index: 3703 (Start: 854281585-Stop: 854281585) ='-', type<22> Line: 330 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(330) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(333) : error 3 : , at offset 37
near [Index: 3741 (Start: 854281739-Stop: 854281739) ='-', type<22> Line: 333 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(333) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(336) : error 3 : , at offset 37
near [Index: 3779 (Start: 854281893-Stop: 854281893) ='-', type<22> Line: 336 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(336) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(338) : error 3 : , at offset 37
near [Index: 3807 (Start: 854282012-Stop: 854282012) ='-', type<22> Line: 338 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(338) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(341) : error 3 : , at offset 37
near [Index: 3839 (Start: 854282145-Stop: 854282145) ='-', type<22> Line: 341 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(341) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(344) : error 3 : , at offset 37
near [Index: 3871 (Start: 854282278-Stop: 854282278) ='-', type<22> Line: 344 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(344) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(346) : error 3 : , at offset 37
near [Index: 3899 (Start: 854282397-Stop: 854282397) ='-', type<22> Line: 346 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(346) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(349) : error 3 : , at offset 37
near [Index: 3937 (Start: 854282551-Stop: 854282551) ='-', type<22> Line: 349 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(349) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(352) : error 3 : , at offset 37
near [Index: 3975 (Start: 854282705-Stop: 854282705) ='-', type<22> Line: 352 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(352) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(354) : error 3 : , at offset 37
near [Index: 4003 (Start: 854282824-Stop: 854282824) ='-', type<22> Line: 354 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(354) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(357) : error 3 : , at offset 37
near [Index: 4035 (Start: 854282957-Stop: 854282957) ='-', type<22> Line: 357 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(357) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(360) : error 3 : , at offset 37
near [Index: 4067 (Start: 854283090-Stop: 854283090) ='-', type<22> Line: 360 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(360) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(362) : error 3 : , at offset 37
near [Index: 4095 (Start: 854283209-Stop: 854283209) ='-', type<22> Line: 362 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(362) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(365) : error 3 : , at offset 37
near [Index: 4133 (Start: 854283363-Stop: 854283363) ='-', type<22> Line: 365 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(365) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(368) : error 3 : , at offset 37
near [Index: 4171 (Start: 854283517-Stop: 854283517) ='-', type<22> Line: 368 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(368) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(370) : error 3 : , at offset 37
near [Index: 4199 (Start: 854283636-Stop: 854283636) ='-', type<22> Line: 370 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(370) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(373) : error 3 : , at offset 37
near [Index: 4231 (Start: 854283769-Stop: 854283769) ='-', type<22> Line: 373 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(373) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(376) : error 3 : , at offset 37
near [Index: 4263 (Start: 854283902-Stop: 854283902) ='-', type<22> Line: 376 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(376) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(378) : error 3 : , at offset 37
near [Index: 4291 (Start: 854284021-Stop: 854284021) ='-', type<22> Line: 378 LinePos:37]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(378) : error 10 : org.antlr.runtime.MissingTokenException, at offset 37
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(394) : error 3 : , at offset 29
near [Index: 4483 (Start: 854284651-Stop: 854284651) ='-', type<22> Line: 394 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(394) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(420) : error 3 : , at offset 29
near [Index: 4799 (Start: 854285626-Stop: 854285626) ='-', type<22> Line: 420 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(420) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(450) : error 3 : , at offset 30
near [Index: 5155 (Start: 854286765-Stop: 854286765) ='-', type<22> Line: 450 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(450) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(470) : error 3 : , at offset 30
near [Index: 5403 (Start: 854287559-Stop: 854287559) ='-', type<22> Line: 470 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(470) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(480) : error 3 : , at offset 29
near [Index: 5521 (Start: 854287996-Stop: 854287996) ='-', type<22> Line: 480 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(480) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(506) : error 3 : , at offset 29
near [Index: 5837 (Start: 854288971-Stop: 854288971) ='-', type<22> Line: 506 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(506) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(536) : error 3 : , at offset 30
near [Index: 6193 (Start: 854290110-Stop: 854290110) ='-', type<22> Line: 536 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(536) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(556) : error 3 : , at offset 30
ITS-tools command line returned an error code 1
near [Index: 6441 (Start: 854290904-Stop: 854290904) ='-', type<22> Line: 556 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(556) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(566) : error 3 : , at offset 29
near [Index: 6559 (Start: 854291341-Stop: 854291341) ='-', type<22> Line: 566 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(566) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(592) : error 3 : , at offset 29
near [Index: 6875 (Start: 854292316-Stop: 854292316) ='-', type<22> Line: 592 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(592) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(622) : error 3 : , at offset 30
near [Index: 7231 (Start: 854293456-Stop: 854293456) ='-', type<22> Line: 622 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(622) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(642) : error 3 : , at offset 30
near [Index: 7479 (Start: 854294251-Stop: 854294251) ='-', type<22> Line: 642 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(642) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(652) : error 3 : , at offset 29
near [Index: 7597 (Start: 854294689-Stop: 854294689) ='-', type<22> Line: 652 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(652) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(678) : error 3 : , at offset 29
near [Index: 7913 (Start: 854295664-Stop: 854295664) ='-', type<22> Line: 678 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(678) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(708) : error 3 : , at offset 30
near [Index: 8269 (Start: 854296803-Stop: 854296803) ='-', type<22> Line: 708 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(708) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(728) : error 3 : , at offset 30
near [Index: 8517 (Start: 854297597-Stop: 854297597) ='-', type<22> Line: 728 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(728) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(738) : error 3 : , at offset 29
near [Index: 8635 (Start: 854298034-Stop: 854298034) ='-', type<22> Line: 738 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(738) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(764) : error 3 : , at offset 29
near [Index: 8951 (Start: 854299009-Stop: 854299009) ='-', type<22> Line: 764 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(764) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(794) : error 3 : , at offset 30
near [Index: 9307 (Start: 854300149-Stop: 854300149) ='-', type<22> Line: 794 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(794) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(814) : error 3 : , at offset 30
near [Index: 9555 (Start: 854300944-Stop: 854300944) ='-', type<22> Line: 814 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(814) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(824) : error 3 : , at offset 29
near [Index: 9673 (Start: 854301382-Stop: 854301382) ='-', type<22> Line: 824 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(824) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(850) : error 3 : , at offset 29
near [Index: 9989 (Start: 854302357-Stop: 854302357) ='-', type<22> Line: 850 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(850) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(880) : error 3 : , at offset 30
near [Index: 10345 (Start: 854303497-Stop: 854303497) ='-', type<22> Line: 880 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(880) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(900) : error 3 : , at offset 30
near [Index: 10593 (Start: 854304292-Stop: 854304292) ='-', type<22> Line: 900 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(900) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(910) : error 3 : , at offset 29
near [Index: 10711 (Start: 854304730-Stop: 854304730) ='-', type<22> Line: 910 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(910) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(936) : error 3 : , at offset 29
near [Index: 11027 (Start: 854305705-Stop: 854305705) ='-', type<22> Line: 936 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(936) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(966) : error 3 : , at offset 30
near [Index: 11383 (Start: 854306845-Stop: 854306845) ='-', type<22> Line: 966 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(966) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(986) : error 3 : , at offset 30
near [Index: 11631 (Start: 854307640-Stop: 854307640) ='-', type<22> Line: 986 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(986) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(996) : error 3 : , at offset 29
near [Index: 11749 (Start: 854308078-Stop: 854308078) ='-', type<22> Line: 996 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(996) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(1022) : error 3 : , at offset 29
near [Index: 12065 (Start: 854309053-Stop: 854309053) ='-', type<22> Line: 1022 LinePos:29]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(1022) : error 10 : org.antlr.runtime.MissingTokenException, at offset 29
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(1052) : error 3 : , at offset 30
near [Index: 12421 (Start: 854310193-Stop: 854310193) ='-', type<22> Line: 1052 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(1052) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(1072) : error 3 : , at offset 30
near [Index: 12669 (Start: 854310988-Stop: 854310988) ='-', type<22> Line: 1072 LinePos:30]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(1072) : error 10 : org.antlr.runtime.MissingTokenException, at offset 30
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(1722) : error 3 : , at offset 23
near [Index: 20081 (Start: 854342780-Stop: 854342780) ='-', type<22> Line: 1722 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(1722) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(1727) : error 3 : , at offset 23
near [Index: 20112 (Start: 854342944-Stop: 854342944) ='-', type<22> Line: 1727 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(1727) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(1732) : error 3 : , at offset 23
near [Index: 20143 (Start: 854343108-Stop: 854343108) ='-', type<22> Line: 1732 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(1732) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(1737) : error 3 : , at offset 23
near [Index: 20174 (Start: 854343272-Stop: 854343272) ='-', type<22> Line: 1737 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(1737) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='
: Missing '['
/tmp/UpperBounds17562347858271481609.gal(1742) : error 3 : , at offset 23
near [Index: 20205 (Start: 854343436-Stop: 854343436) ='-', type<22> Line: 1742 LinePos:23]
: cannot match to any predicted input...
/tmp/UpperBounds17562347858271481609.gal(1742) : error 10 : org.antlr.runtime.MissingTokenException, at offset 23
near [Index: 0 (Start: 0-Stop: 0) ='