About the Execution of 2020-gold for DatabaseWithMutex-PT-20
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16247.096 | 3600000.00 | 3010388.00 | 326397.90 | [undef] | Time out reached |
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.r074-tall-162039095200093.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is DatabaseWithMutex-PT-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r074-tall-162039095200093
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 32M
-rw-r--r-- 1 mcc users 2.4M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 10M May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 10M May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 205K Mar 28 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 650K Mar 28 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 188K Mar 28 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 691K Mar 28 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 170K Mar 23 10:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 493K Mar 23 10:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 108K Mar 22 17:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 375K Mar 22 17:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 32K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 67K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 4.1M 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 DatabaseWithMutex-PT-20-UpperBounds-00
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-01
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-02
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-03
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-04
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-05
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-06
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-07
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-08
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-09
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-10
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-11
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-12
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-13
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-14
FORMULA_NAME DatabaseWithMutex-PT-20-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1620522535193
[2021-05-09 01:08:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-09 01:08:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 01:08:57] [INFO ] Load time of PNML (sax parser for PT used): 318 ms
[2021-05-09 01:08:57] [INFO ] Transformed 3260 places.
[2021-05-09 01:08:57] [INFO ] Transformed 3200 transitions.
[2021-05-09 01:08:57] [INFO ] Found NUPN structural information;
[2021-05-09 01:08:57] [INFO ] Parsed PT model containing 3260 places and 3200 transitions in 398 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 60 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 2 ms. (steps per millisecond=0 )
[2021-05-09 01:08:58] [INFO ] Flatten gal took : 518 ms
[2021-05-09 01:08:58] [INFO ] Applying decomposition
[2021-05-09 01:08:58] [INFO ] Flatten gal took : 316 ms
[2021-05-09 01:08:58] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 64 ms
[2021-05-09 01:08:58] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-00 with value :Acknowledge_16_13+Acknowledge_8_1+Acknowledge_11_13+Acknowledge_5_14+Acknowledge_2_13+Acknowledge_4_19+Acknowledge_15_19+Acknowledge_18_15+Acknowledge_7_18+Acknowledge_19_14+Acknowledge_7_5+Acknowledge_11_17+Acknowledge_3_1+Acknowledge_5_5+Acknowledge_18_4+Acknowledge_8_7+Acknowledge_12_20+Acknowledge_12_5+Acknowledge_5_10+Acknowledge_4_15+Acknowledge_13_15+Acknowledge_10_9+Acknowledge_10_14+Acknowledge_19_10+Acknowledge_20_11+Acknowledge_7_3+Acknowledge_15_11+Acknowledge_6_11+Acknowledge_16_2+Acknowledge_1_17+Acknowledge_9_12+Acknowledge_18_3+Acknowledge_16_17+Acknowledge_14_12+Acknowledge_2_8+Acknowledge_11_9+Acknowledge_7_16+Acknowledge_5_20+Acknowledge_2_2+Acknowledge_2_1+Acknowledge_6_17+Acknowledge_17_8+Acknowledge_15_4+Acknowledge_13_3+Acknowledge_15_6+Acknowledge_12_16+Acknowledge_1_4+Acknowledge_2_14+Acknowledge_3_20+Acknowledge_19_1+Acknowledge_19_13+Acknowledge_18_5+Acknowledge_11_10+Acknowledge_8_20+Acknowledge_5_13+Acknowledge_7_15+Acknowledge_6_18+Acknowledge_8_13+Acknowledge_4_10+Acknowledge_9_1+Acknowledge_16_8+Acknowledge_10_3+Acknowledge_9_19+Acknowledge_4_4+Acknowledge_1_18+Acknowledge_14_19+Acknowledge_16_7+Acknowledge_13_2+Acknowledge_18_10+Acknowledge_19_4+Acknowledge_1_16+Acknowledge_3_9+Acknowledge_16_14+Acknowledge_17_2+Acknowledge_15_18+Acknowledge_14_1+Acknowledge_4_9+Acknowledge_20_18+Acknowledge_1_12+Acknowledge_6_5+Acknowledge_2_3+Acknowledge_15_3+Acknowledge_14_11+Acknowledge_12_11+Acknowledge_8_12+Acknowledge_6_7+Acknowledge_9_17+Acknowledge_5_1+Acknowledge_2_10+Acknowledge_7_11+Acknowledge_13_9+Acknowledge_15_7+Acknowledge_14_6+Acknowledge_17_20+Acknowledge_14_8+Acknowledge_13_14+Acknowledge_20_3+Acknowledge_5_4+Acknowledge_1_11+Acknowledge_5_8+Acknowledge_18_13+Acknowledge_15_16+Acknowledge_6_15+Acknowledge_13_13+Acknowledge_12_2+Acknowledge_18_17+Acknowledge_1_6+Acknowledge_10_4+Acknowledge_7_2+Acknowledge_15_8+Acknowledge_4_16+Acknowledge_6_19+Acknowledge_12_10+Acknowledge_17_6+Acknowledge_6_1+Acknowledge_20_19+Acknowledge_1_15+Acknowledge_12_3+Acknowledge_12_18+Acknowledge_17_1+Acknowledge_5_9+Acknowledge_9_16+Acknowledge_12_17+Acknowledge_11_12+Acknowledge_4_1+Acknowledge_17_7+Acknowledge_19_15+Acknowledge_7_17+Acknowledge_4_8+Acknowledge_9_5+Acknowledge_2_12+Acknowledge_3_10+Acknowledge_14_20+Acknowledge_14_16+Acknowledge_2_9+Acknowledge_19_5+Acknowledge_10_10+Acknowledge_14_2+Acknowledge_20_10+Acknowledge_11_20+Acknowledge_20_4+Acknowledge_7_6+Acknowledge_15_17+Acknowledge_12_9+Acknowledge_7_7+Acknowledge_20_17+Acknowledge_16_6+Acknowledge_7_8+Acknowledge_1_20+Acknowledge_13_10+Acknowledge_10_13+Acknowledge_9_6+Acknowledge_6_9+Acknowledge_12_8+Acknowledge_5_3+Acknowledge_13_4+Acknowledge_10_12+Acknowledge_4_2+Acknowledge_3_19+Acknowledge_18_14+Acknowledge_3_13+Acknowledge_18_18+Acknowledge_3_4+Acknowledge_1_14+Acknowledge_4_17+Acknowledge_8_5+Acknowledge_3_12+Acknowledge_9_10+Acknowledge_16_15+Acknowledge_16_5+Acknowledge_8_19+Acknowledge_1_5+Acknowledge_11_14+Acknowledge_20_12+Acknowledge_14_10+Acknowledge_13_18+Acknowledge_15_9+Acknowledge_17_16+Acknowledge_15_2+Acknowledge_9_15+Acknowledge_7_1+Acknowledge_18_7+Acknowledge_20_9+Acknowledge_13_7+Acknowledge_12_1+Acknowledge_6_20+Acknowledge_5_7+Acknowledge_8_14+Acknowledge_6_16+Acknowledge_10_11+Acknowledge_3_15+Acknowledge_11_4+Acknowledge_17_3+Acknowledge_10_17+Acknowledge_4_7+Acknowledge_16_4+Acknowledge_1_9+Acknowledge_8_3+Acknowledge_3_11+Acknowledge_4_12+Acknowledge_2_4+Acknowledge_14_14+Acknowledge_6_6+Acknowledge_3_18+Acknowledge_13_12+Acknowledge_6_8+Acknowledge_5_17+Acknowledge_19_7+Acknowledge_9_20+Acknowledge_3_3+Acknowledge_19_11+Acknowledge_11_16+Acknowledge_6_13+Acknowledge_8_10+Acknowledge_14_9+Acknowledge_12_7+Acknowledge_16_20+Acknowledge_9_2+Acknowledge_15_13+Acknowledge_1_10+Acknowledge_13_1+Acknowledge_2_6+Acknowledge_13_11+Acknowledge_19_20+Acknowledge_1_19+Acknowledge_8_15+Acknowledge_9_14+Acknowledge_17_17+Acknowledge_20_13+Acknowledge_16_16+Acknowledge_17_5+Acknowledge_2_16+Acknowledge_2_11+Acknowledge_11_19+Acknowledge_12_12+Acknowledge_2_5+Acknowledge_1_13+Acknowledge_2_18+Acknowledge_14_3+Acknowledge_11_5+Acknowledge_10_18+Acknowledge_18_19+Acknowledge_15_1+Acknowledge_18_11+Acknowledge_8_9+Acknowledge_11_18+Acknowledge_13_8+Acknowledge_17_15+Acknowledge_17_9+Acknowledge_5_6+Acknowledge_5_12+Acknowledge_5_19+Acknowledge_13_20+Acknowledge_19_6+Acknowledge_6_2+Acknowledge_9_8+Acknowledge_16_10+Acknowledge_5_16+Acknowledge_2_7+Acknowledge_7_9+Acknowledge_13_17+Acknowledge_8_4+Acknowledge_17_14+Acknowledge_15_10+Acknowledge_20_8+Acknowledge_16_18+Acknowledge_10_6+Acknowledge_11_7+Acknowledge_8_6+Acknowledge_19_16+Acknowledge_3_14+Acknowledge_20_14+Acknowledge_18_12+Acknowledge_8_16+Acknowledge_4_20+Acknowledge_3_5+Acknowledge_12_13+Acknowledge_3_2+Acknowledge_10_1+Acknowledge_14_17+Acknowledge_19_19+Acknowledge_10_5+Acknowledge_2_19+Acknowledge_18_20+Acknowledge_9_13+Acknowledge_20_2+Acknowledge_6_3+Acknowledge_20_7+Acknowledge_11_15+Acknowledge_18_6+Acknowledge_14_5+Acknowledge_5_11+Acknowledge_10_19+Acknowledge_8_2+Acknowledge_6_14+Acknowledge_2_17+Acknowledge_4_11+Acknowledge_8_18+Acknowledge_18_9+Acknowledge_11_3+Acknowledge_15_15+Acknowledge_7_10+Acknowledge_19_8+Acknowledge_13_16+Acknowledge_8_11+Acknowledge_7_20+Acknowledge_11_6+Acknowledge_14_15+Acknowledge_18_16+Acknowledge_18_1+Acknowledge_10_20+Acknowledge_6_12+Acknowledge_9_4+Acknowledge_17_10+Acknowledge_10_8+Acknowledge_19_18+Acknowledge_9_9+Acknowledge_18_8+Acknowledge_1_3+Acknowledge_1_1+Acknowledge_15_12+Acknowledge_16_9+Acknowledge_4_6+Acknowledge_20_15+Acknowledge_16_3+Acknowledge_5_15+Acknowledge_10_15+Acknowledge_20_1+Acknowledge_8_8+Acknowledge_13_19+Acknowledge_7_14+Acknowledge_17_11+Acknowledge_6_10+Acknowledge_4_13+Acknowledge_10_7+Acknowledge_11_11+Acknowledge_16_12+Acknowledge_3_7+Acknowledge_5_18+Acknowledge_11_1+Acknowledge_14_4+Acknowledge_7_12+Acknowledge_16_19+Acknowledge_1_7+Acknowledge_11_2+Acknowledge_20_5+Acknowledge_19_12+Acknowledge_11_8+Acknowledge_1_2+Acknowledge_16_11+Acknowledge_19_3+Acknowledge_14_7+Acknowledge_15_5+Acknowledge_4_5+Acknowledge_18_2+Acknowledge_15_14+Acknowledge_2_20+Acknowledge_12_19+Acknowledge_12_14+Acknowledge_13_5+Acknowledge_4_14+Acknowledge_19_9+Acknowledge_17_4+Acknowledge_10_16+Acknowledge_2_15+Acknowledge_9_18+Acknowledge_14_18+Acknowledge_12_6+Acknowledge_7_19+Acknowledge_9_3+Acknowledge_9_7+Acknowledge_20_20+Acknowledge_1_8+Acknowledge_8_17+Acknowledge_3_17+Acknowledge_12_15+Acknowledge_17_13+Acknowledge_19_17+Acknowledge_3_16+Acknowledge_7_13+Acknowledge_17_12+Acknowledge_9_11+Acknowledge_14_13+Acknowledge_20_16+Acknowledge_17_19+Acknowledge_13_6+Acknowledge_4_3+Acknowledge_10_2+Acknowledge_3_8+Acknowledge_17_18+Acknowledge_12_4+Acknowledge_20_6+Acknowledge_5_2+Acknowledge_15_20+Acknowledge_3_6+Acknowledge_16_1+Acknowledge_6_4+Acknowledge_4_18+Acknowledge_7_4+Acknowledge_19_2
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-01 with value :Mutex_14+Mutex_17+Mutex_6+Mutex_7+Mutex_16+Mutex_19+Mutex_11+Mutex_10+Mutex_4+Mutex_5+Mutex_18+Mutex_13+Mutex_2+Mutex_15+Mutex_12+Mutex_20+Mutex_1+Mutex_3+Mutex_9+Mutex_8
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-02 with value :Active_18_16+Active_17_16+Active_14_18+Active_8_4+Active_13_14+Active_11_1+Active_6_18+Active_17_4+Active_14_19+Active_13_19+Active_11_13+Active_12_20+Active_19_18+Active_4_3+Active_1_6+Active_1_16+Active_19_14+Active_16_10+Active_6_7+Active_16_14+Active_10_15+Active_8_16+Active_8_13+Active_10_5+Active_5_18+Active_16_17+Active_19_6+Active_2_12+Active_15_11+Active_6_2+Active_7_8+Active_8_17+Active_16_12+Active_9_18+Active_10_4+Active_11_3+Active_12_6+Active_1_17+Active_11_20+Active_2_14+Active_8_3+Active_10_19+Active_19_9+Active_1_10+Active_17_10+Active_8_11+Active_3_4+Active_14_8+Active_16_13+Active_2_19+Active_7_16+Active_7_6+Active_14_16+Active_19_1+Active_9_9+Active_16_2+Active_6_8+Active_2_13+Active_7_7+Active_4_15+Active_1_1+Active_17_19+Active_18_5+Active_15_17+Active_17_11+Active_8_1+Active_19_4+Active_4_20+Active_13_15+Active_2_18+Active_11_18+Active_18_20+Active_3_13+Active_9_10+Active_11_19+Active_15_8+Active_19_12+Active_16_3+Active_11_4+Active_8_9+Active_14_10+Active_1_8+Active_20_1+Active_8_18+Active_9_1+Active_7_14+Active_20_16+Active_4_5+Active_5_14+Active_2_4+Active_7_10+Active_13_5+Active_3_12+Active_13_6+Active_15_1+Active_18_15+Active_4_14+Active_10_14+Active_17_13+Active_20_7+Active_9_2+Active_19_20+Active_12_4+Active_18_6+Active_14_14+Active_12_15+Active_2_3+Active_16_19+Active_11_12+Active_1_12+Active_9_17+Active_16_18+Active_19_8+Active_15_10+Active_6_16+Active_5_4+Active_5_20+Active_5_19+Active_15_4+Active_16_8+Active_14_17+Active_20_9+Active_15_15+Active_5_15+Active_3_11+Active_17_2+Active_10_20+Active_1_2+Active_15_16+Active_8_12+Active_1_19+Active_3_18+Active_2_17+Active_12_5+Active_6_13+Active_10_11+Active_20_17+Active_9_12+Active_14_1+Active_17_3+Active_1_7+Active_10_6+Active_4_13+Active_6_9+Active_8_2+Active_2_6+Active_13_17+Active_9_8+Active_11_11+Active_12_16+Active_7_15+Active_15_5+Active_3_17+Active_13_10+Active_12_1+Active_3_1+Active_14_2+Active_7_1+Active_8_7+Active_10_12+Active_4_4+Active_2_2+Active_11_7+Active_8_8+Active_20_11+Active_6_1+Active_17_14+Active_14_3+Active_14_13+Active_7_9+Active_18_7+Active_2_11+Active_20_5+Active_11_2+Active_19_13+Active_5_16+Active_15_9+Active_2_10+Active_3_10+Active_9_13+Active_5_5+Active_20_10+Active_6_3+Active_14_4+Active_20_15+Active_18_19+Active_13_18+Active_16_20+Active_19_11+Active_20_6+Active_3_19+Active_1_13+Active_2_15+Active_1_18+Active_7_5+Active_13_4+Active_10_7+Active_2_5+Active_15_2+Active_17_8+Active_19_3+Active_6_15+Active_4_16+Active_13_16+Active_8_19+Active_18_8+Active_5_6+Active_6_12+Active_12_14+Active_12_13+Active_11_6+Active_4_1+Active_5_9+Active_12_11+Active_15_3+Active_18_13+Active_10_2+Active_6_4+Active_14_9+Active_9_7+Active_17_7+Active_8_10+Active_3_5+Active_12_9+Active_9_14+Active_12_10+Active_16_6+Active_13_12+Active_9_19+Active_1_3+Active_20_4+Active_19_19+Active_12_3+Active_1_11+Active_19_7+Active_17_15+Active_17_20+Active_8_6+Active_14_15+Active_3_16+Active_3_2+Active_12_18+Active_5_11+Active_11_17+Active_15_18+Active_15_13+Active_1_20+Active_10_16+Active_15_6+Active_3_3+Active_2_7+Active_10_18+Active_12_2+Active_18_12+Active_8_20+Active_3_15+Active_13_3+Active_20_14+Active_18_17+Active_7_13+Active_18_3+Active_8_5+Active_11_10+Active_4_8+Active_17_6+Active_20_3+Active_18_10+Active_11_8+Active_18_11+Active_20_2+Active_10_17+Active_5_17+Active_17_5+Active_6_19+Active_5_10+Active_7_4+Active_13_2+Active_4_9+Active_20_13+Active_1_14+Active_6_14+Active_12_17+Active_7_12+Active_7_3+Active_6_6+Active_3_7+Active_14_11+Active_19_10+Active_13_11+Active_20_19+Active_5_1+Active_9_20+Active_10_8+Active_7_20+Active_17_9+Active_14_20+Active_14_5+Active_10_3+Active_13_9+Active_1_4+Active_8_15+Active_4_11+Active_2_16+Active_3_6+Active_19_17+Active_20_18+Active_10_1+Active_18_18+Active_15_14+Active_18_4+Active_5_12+Active_8_14+Active_11_16+Active_7_19+Active_15_12+Active_16_7+Active_4_17+Active_19_5+Active_15_20+Active_19_2+Active_10_10+Active_7_11+Active_6_20+Active_16_5+Active_14_6+Active_12_12+Active_13_1+Active_5_8+Active_16_1+Active_5_2+Active_20_8+Active_18_14+Active_14_12+Active_11_14+Active_2_8+Active_16_9+Active_12_7+Active_16_15+Active_16_4+Active_10_9+Active_9_15+Active_9_4+Active_13_20+Active_2_1+Active_9_5+Active_20_20+Active_19_15+Active_5_7+Active_6_10+Active_12_19+Active_4_18+Active_2_20+Active_15_7+Active_11_5+Active_3_9+Active_15_19+Active_7_18+Active_13_8+Active_20_12+Active_19_16+Active_9_6+Active_1_5+Active_4_2+Active_17_18+Active_6_17+Active_4_19+Active_1_15+Active_18_2+Active_9_16+Active_6_5+Active_4_6+Active_4_12+Active_10_13+Active_6_11+Active_16_16+Active_14_7+Active_17_1+Active_17_17+Active_13_13+Active_12_8+Active_17_12+Active_16_11+Active_5_3+Active_3_14+Active_7_17+Active_13_7+Active_2_9+Active_7_2+Active_3_20+Active_9_11+Active_4_10+Active_1_9+Active_18_1+Active_9_3+Active_5_13+Active_3_8+Active_18_9+Active_11_9+Active_4_7+Active_11_15
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-03 with value :updating_20_9+updating_7_16+updating_20_14+updating_16_12+updating_16_5+updating_9_15+updating_10_7+updating_13_2+updating_8_17+updating_18_4+updating_2_2+updating_11_6+updating_19_8+updating_13_8+updating_2_6+updating_8_20+updating_19_5+updating_20_18+updating_6_10+updating_7_19+updating_9_5+updating_15_1+updating_4_8+updating_12_13+updating_9_16+updating_17_17+updating_7_9+updating_3_4+updating_1_8+updating_14_19+updating_8_9+updating_2_14+updating_11_8+updating_1_14+updating_19_16+updating_20_6+updating_11_14+updating_10_16+updating_8_8+updating_18_17+updating_11_5+updating_20_15+updating_4_12+updating_3_7+updating_10_15+updating_9_20+updating_4_1+updating_11_15+updating_20_2+updating_5_18+updating_1_19+updating_8_4+updating_17_16+updating_13_3+updating_15_18+updating_3_14+updating_2_19+updating_1_5+updating_18_9+updating_10_3+updating_16_10+updating_15_6+updating_7_17+updating_9_10+updating_5_12+updating_11_19+updating_15_20+updating_18_8+updating_13_1+updating_17_12+updating_4_13+updating_19_10+updating_6_11+updating_6_18+updating_3_2+updating_20_19+updating_5_6+updating_11_9+updating_3_8+updating_19_15+updating_19_11+updating_10_1+updating_13_13+updating_11_2+updating_7_18+updating_2_16+updating_13_7+updating_3_1+updating_18_7+updating_1_15+updating_16_8+updating_12_6+updating_20_16+updating_3_5+updating_9_19+updating_15_3+updating_12_3+updating_1_3+updating_1_9+updating_19_19+updating_7_11+updating_14_6+updating_20_13+updating_13_6+updating_14_12+updating_9_9+updating_5_2+updating_17_10+updating_19_9+updating_9_4+updating_3_15+updating_4_18+updating_14_18+updating_20_4+updating_6_17+updating_12_2+updating_18_3+updating_4_6+updating_6_12+updating_17_9+updating_15_12+updating_20_17+updating_6_5+updating_10_20+updating_7_3+updating_12_7+updating_10_2+updating_17_20+updating_10_17+updating_2_1+updating_17_5+updating_4_10+updating_15_7+updating_9_14+updating_11_17+updating_18_2+updating_7_12+updating_8_15+updating_5_17+updating_8_5+updating_8_7+updating_11_10+updating_1_4+updating_14_14+updating_6_13+updating_6_8+updating_12_18+updating_1_13+updating_12_11+updating_15_13+updating_18_19+updating_12_16+updating_20_20+updating_10_9+updating_15_4+updating_18_6+updating_20_3+updating_3_16+updating_11_1+updating_18_11+updating_17_19+updating_18_16+updating_18_10+updating_17_8+updating_14_5+updating_6_4+updating_2_15+updating_11_16+updating_14_13+updating_12_19+updating_19_17+updating_3_19+updating_5_10+updating_9_7+updating_5_11+updating_11_20+updating_4_2+updating_9_8+updating_8_14+updating_1_12+updating_1_7+updating_20_7+updating_12_12+updating_17_15+updating_8_12+updating_6_6+updating_10_10+updating_3_9+updating_4_19+updating_15_5+updating_4_4+updating_7_13+updating_15_14+updating_12_20+updating_9_1+updating_18_13+updating_17_13+updating_10_19+updating_2_18+updating_16_14+updating_11_18+updating_4_11+updating_16_1+updating_12_17+updating_13_18+updating_8_13+updating_4_16+updating_14_8+updating_5_20+updating_16_9+updating_6_3+updating_6_7+updating_13_12+updating_17_2+updating_20_12+updating_19_20+updating_19_1+updating_12_8+updating_14_3+updating_9_6+updating_9_12+updating_6_16+updating_7_4+updating_10_11+updating_13_11+updating_7_6+updating_19_2+updating_14_4+updating_18_20+updating_3_11+updating_17_3+updating_5_5+updating_9_3+updating_6_2+updating_5_16+updating_12_5+updating_16_6+updating_12_4+updating_20_10+updating_17_14+updating_10_12+updating_13_20+updating_2_9+updating_7_14+updating_4_17+updating_13_17+updating_14_17+updating_6_14+updating_5_15+updating_2_5+updating_6_15+updating_9_13+updating_8_1+updating_19_13+updating_14_20+updating_20_5+updating_7_2+updating_14_7+updating_17_1+updating_15_19+updating_15_16+updating_16_15+updating_15_8+updating_20_11+updating_5_8+updating_4_7+updating_19_12+updating_2_10+updating_3_18+updating_12_9+updating_12_10+updating_11_11+updating_8_3+updating_2_4+updating_17_4+updating_6_19+updating_16_2+updating_3_17+updating_5_19+updating_4_15+updating_13_10+updating_10_18+updating_15_9+updating_17_6+updating_8_2+updating_7_5+updating_18_1+updating_7_7+updating_13_4+updating_8_6+updating_1_2+updating_4_3+updating_19_3+updating_4_20+updating_7_15+updating_1_11+updating_10_5+updating_2_8+updating_15_11+updating_7_1+updating_4_14+updating_18_15+updating_1_6+updating_13_16+updating_7_8+updating_3_20+updating_6_20+updating_12_15+updating_16_13+updating_16_16+updating_14_9+updating_1_18+updating_15_17+updating_16_4+updating_18_18+updating_11_3+updating_2_11+updating_2_13+updating_15_2+updating_17_7+updating_5_3+updating_15_15+updating_13_14+updating_14_1+updating_19_6+updating_3_10+updating_16_19+updating_13_9+updating_11_12+updating_20_8+updating_19_4+updating_5_9+updating_17_18+updating_6_9+updating_14_15+updating_20_1+updating_13_19+updating_2_12+updating_11_13+updating_10_14+updating_10_6+updating_8_18+updating_19_14+updating_9_11+updating_16_11+updating_5_7+updating_9_17+updating_5_4+updating_3_6+updating_18_12+updating_14_10+updating_1_10+updating_6_1+updating_1_1+updating_10_4+updating_19_7+updating_2_3+updating_8_19+updating_1_17+updating_1_16+updating_3_12+updating_16_7+updating_8_10+updating_5_14+updating_13_5+updating_19_18+updating_16_17+updating_3_3+updating_14_2+updating_2_17+updating_12_14+updating_18_5+updating_3_13+updating_7_10+updating_10_13+updating_8_11+updating_5_1+updating_2_7+updating_16_3+updating_5_13+updating_16_20+updating_14_11+updating_11_7+updating_8_16+updating_4_9+updating_9_18+updating_2_20+updating_10_8+updating_13_15+updating_17_11+updating_7_20+updating_16_18+updating_12_1+updating_9_2+updating_15_10+updating_14_16+updating_4_5+updating_11_4+updating_1_20+updating_18_14
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-04 with value :MesBuffReply_6_19+MesBuffReply_14_19+MesBuffReply_9_8+MesBuffReply_5_12+MesBuffReply_1_7+MesBuffReply_15_7+MesBuffReply_14_4+MesBuffReply_14_8+MesBuffReply_11_5+MesBuffReply_9_20+MesBuffReply_15_2+MesBuffReply_1_19+MesBuffReply_17_11+MesBuffReply_17_17+MesBuffReply_20_19+MesBuffReply_7_13+MesBuffReply_10_11+MesBuffReply_10_13+MesBuffReply_3_17+MesBuffReply_20_13+MesBuffReply_3_9+MesBuffReply_15_19+MesBuffReply_15_15+MesBuffReply_3_4+MesBuffReply_16_12+MesBuffReply_8_9+MesBuffReply_12_18+MesBuffReply_19_2+MesBuffReply_14_14+MesBuffReply_1_14+MesBuffReply_7_1+MesBuffReply_17_4+MesBuffReply_8_2+MesBuffReply_13_14+MesBuffReply_9_11+MesBuffReply_19_16+MesBuffReply_17_10+MesBuffReply_7_6+MesBuffReply_8_20+MesBuffReply_7_4+MesBuffReply_5_7+MesBuffReply_12_15+MesBuffReply_2_10+MesBuffReply_6_3+MesBuffReply_6_11+MesBuffReply_5_5+MesBuffReply_12_6+MesBuffReply_12_5+MesBuffReply_18_5+MesBuffReply_4_4+MesBuffReply_10_12+MesBuffReply_20_18+MesBuffReply_4_14+MesBuffReply_1_16+MesBuffReply_18_9+MesBuffReply_4_18+MesBuffReply_14_20+MesBuffReply_17_1+MesBuffReply_2_13+MesBuffReply_11_15+MesBuffReply_18_2+MesBuffReply_8_1+MesBuffReply_15_4+MesBuffReply_10_1+MesBuffReply_11_9+MesBuffReply_7_3+MesBuffReply_7_19+MesBuffReply_2_15+MesBuffReply_3_8+MesBuffReply_6_4+MesBuffReply_13_18+MesBuffReply_1_20+MesBuffReply_2_12+MesBuffReply_17_3+MesBuffReply_16_2+MesBuffReply_13_12+MesBuffReply_10_8+MesBuffReply_14_13+MesBuffReply_17_12+MesBuffReply_12_10+MesBuffReply_18_16+MesBuffReply_4_6+MesBuffReply_16_3+MesBuffReply_13_8+MesBuffReply_9_1+MesBuffReply_3_14+MesBuffReply_7_18+MesBuffReply_12_7+MesBuffReply_8_19+MesBuffReply_18_17+MesBuffReply_9_10+MesBuffReply_20_10+MesBuffReply_12_12+MesBuffReply_20_15+MesBuffReply_18_1+MesBuffReply_13_5+MesBuffReply_19_18+MesBuffReply_7_11+MesBuffReply_8_10+MesBuffReply_7_12+MesBuffReply_17_5+MesBuffReply_10_16+MesBuffReply_17_19+MesBuffReply_7_2+MesBuffReply_5_4+MesBuffReply_12_14+MesBuffReply_20_8+MesBuffReply_6_18+MesBuffReply_18_11+MesBuffReply_11_16+MesBuffReply_12_13+MesBuffReply_8_17+MesBuffReply_10_18+MesBuffReply_10_9+MesBuffReply_18_3+MesBuffReply_1_9+MesBuffReply_9_17+MesBuffReply_18_19+MesBuffReply_9_19+MesBuffReply_4_3+MesBuffReply_8_11+MesBuffReply_16_5+MesBuffReply_7_20+MesBuffReply_13_7+MesBuffReply_2_8+MesBuffReply_4_5+MesBuffReply_4_7+MesBuffReply_11_3+MesBuffReply_15_13+MesBuffReply_15_11+MesBuffReply_15_6+MesBuffReply_17_2+MesBuffReply_14_6+MesBuffReply_3_15+MesBuffReply_1_10+MesBuffReply_8_13+MesBuffReply_15_12+MesBuffReply_2_14+MesBuffReply_1_1+MesBuffReply_19_17+MesBuffReply_5_6+MesBuffReply_19_10+MesBuffReply_5_13+MesBuffReply_10_15+MesBuffReply_3_13+MesBuffReply_12_8+MesBuffReply_10_10+MesBuffReply_16_19+MesBuffReply_1_17+MesBuffReply_9_2+MesBuffReply_9_6+MesBuffReply_18_18+MesBuffReply_15_17+MesBuffReply_2_6+MesBuffReply_6_20+MesBuffReply_19_19+MesBuffReply_10_14+MesBuffReply_16_20+MesBuffReply_9_18+MesBuffReply_3_7+MesBuffReply_6_17+MesBuffReply_15_1+MesBuffReply_15_5+MesBuffReply_20_17+MesBuffReply_14_10+MesBuffReply_20_9+MesBuffReply_7_10+MesBuffReply_1_11+MesBuffReply_13_15+MesBuffReply_5_3+MesBuffReply_11_18+MesBuffReply_7_16+MesBuffReply_12_16+MesBuffReply_19_3+MesBuffReply_4_12+MesBuffReply_16_11+MesBuffReply_17_7+MesBuffReply_12_9+MesBuffReply_5_9+MesBuffReply_4_8+MesBuffReply_11_8+MesBuffReply_10_7+MesBuffReply_16_13+MesBuffReply_5_14+MesBuffReply_11_13+MesBuffReply_14_12+MesBuffReply_3_6+MesBuffReply_8_14+MesBuffReply_4_15+MesBuffReply_19_14+MesBuffReply_4_20+MesBuffReply_12_4+MesBuffReply_6_5+MesBuffReply_13_4+MesBuffReply_16_6+MesBuffReply_18_20+MesBuffReply_7_5+MesBuffReply_2_1+MesBuffReply_10_2+MesBuffReply_18_15+MesBuffReply_16_1+MesBuffReply_1_18+MesBuffReply_7_17+MesBuffReply_20_12+MesBuffReply_2_11+MesBuffReply_12_2+MesBuffReply_17_13+MesBuffReply_20_16+MesBuffReply_9_12+MesBuffReply_14_1+MesBuffReply_5_8+MesBuffReply_6_16+MesBuffReply_8_5+MesBuffReply_8_18+MesBuffReply_1_2+MesBuffReply_14_17+MesBuffReply_14_9+MesBuffReply_19_15+MesBuffReply_18_8+MesBuffReply_16_7+MesBuffReply_13_10+MesBuffReply_5_15+MesBuffReply_14_5+MesBuffReply_13_16+MesBuffReply_19_9+MesBuffReply_2_7+MesBuffReply_8_6+MesBuffReply_14_11+MesBuffReply_11_14+MesBuffReply_1_5+MesBuffReply_11_2+MesBuffReply_11_4+MesBuffReply_4_2+MesBuffReply_18_14+MesBuffReply_19_20+MesBuffReply_4_17+MesBuffReply_20_3+MesBuffReply_11_6+MesBuffReply_13_9+MesBuffReply_7_15+MesBuffReply_10_19+MesBuffReply_5_20+MesBuffReply_19_8+MesBuffReply_13_3+MesBuffReply_17_18+MesBuffReply_18_4+MesBuffReply_6_13+MesBuffReply_11_19+MesBuffReply_18_6+MesBuffReply_3_1+MesBuffReply_11_7+MesBuffReply_17_6+MesBuffReply_1_12+MesBuffReply_16_10+MesBuffReply_15_9+MesBuffReply_1_4+MesBuffReply_9_14+MesBuffReply_17_14+MesBuffReply_6_12+MesBuffReply_5_10+MesBuffReply_9_5+MesBuffReply_3_3+MesBuffReply_13_11+MesBuffReply_2_2+MesBuffReply_10_3+MesBuffReply_1_13+MesBuffReply_12_3+MesBuffReply_16_15+MesBuffReply_3_19+MesBuffReply_4_9+MesBuffReply_17_8+MesBuffReply_3_11+MesBuffReply_13_1+MesBuffReply_16_18+MesBuffReply_6_15+MesBuffReply_9_13+MesBuffReply_19_4+MesBuffReply_4_1+MesBuffReply_14_16+MesBuffReply_11_20+MesBuffReply_14_18+MesBuffReply_19_7+MesBuffReply_7_9+MesBuffReply_13_17+MesBuffReply_20_4+MesBuffReply_2_20+MesBuffReply_17_15+MesBuffReply_5_16+MesBuffReply_2_3+MesBuffReply_10_6+MesBuffReply_15_20+MesBuffReply_6_8+MesBuffReply_5_1+MesBuffReply_4_19+MesBuffReply_10_4+MesBuffReply_13_19+MesBuffReply_3_18+MesBuffReply_2_18+MesBuffReply_4_10+MesBuffReply_8_12+MesBuffReply_12_1+MesBuffReply_19_13+MesBuffReply_19_1+MesBuffReply_10_20+MesBuffReply_16_8+MesBuffReply_6_14+MesBuffReply_7_8+MesBuffReply_20_5+MesBuffReply_3_2+MesBuffReply_15_16+MesBuffReply_8_7+MesBuffReply_15_18+MesBuffReply_1_6+MesBuffReply_6_2+MesBuffReply_6_10+MesBuffReply_3_12+MesBuffReply_18_12+MesBuffReply_15_10+MesBuffReply_15_14+MesBuffReply_13_2+MesBuffReply_9_15+MesBuffReply_19_6+MesBuffReply_16_4+MesBuffReply_12_11+MesBuffReply_16_14+MesBuffReply_8_3+MesBuffReply_5_17+MesBuffReply_8_16+MesBuffReply_17_16+MesBuffReply_4_16+MesBuffReply_6_9+MesBuffReply_12_17+MesBuffReply_15_3+MesBuffReply_16_9+MesBuffReply_1_3+MesBuffReply_18_7+MesBuffReply_9_7+MesBuffReply_9_4+MesBuffReply_20_14+MesBuffReply_4_11+MesBuffReply_3_20+MesBuffReply_12_20+MesBuffReply_2_4+MesBuffReply_2_19+MesBuffReply_3_16+MesBuffReply_19_11+MesBuffReply_14_15+MesBuffReply_10_5+MesBuffReply_14_2+MesBuffReply_19_5+MesBuffReply_14_3+MesBuffReply_3_5+MesBuffReply_16_17+MesBuffReply_7_14+MesBuffReply_19_12+MesBuffReply_3_10+MesBuffReply_6_6+MesBuffReply_11_12+MesBuffReply_20_20+MesBuffReply_13_13+MesBuffReply_20_11+MesBuffReply_13_20+MesBuffReply_14_7+MesBuffReply_8_8+MesBuffReply_11_17+MesBuffReply_5_18+MesBuffReply_7_7+MesBuffReply_12_19+MesBuffReply_2_5+MesBuffReply_9_9+MesBuffReply_5_19+MesBuffReply_2_9+MesBuffReply_6_1+MesBuffReply_18_13+MesBuffReply_4_13+MesBuffReply_1_8+MesBuffReply_15_8+MesBuffReply_2_17+MesBuffReply_10_17+MesBuffReply_20_6+MesBuffReply_20_7+MesBuffReply_8_4+MesBuffReply_16_16+MesBuffReply_11_1+MesBuffReply_13_6+MesBuffReply_9_3+MesBuffReply_11_11+MesBuffReply_20_1+MesBuffReply_5_11+MesBuffReply_6_7+MesBuffReply_5_2+MesBuffReply_11_10+MesBuffReply_17_20+MesBuffReply_18_10+MesBuffReply_9_16+MesBuffReply_20_2+MesBuffReply_8_15+MesBuffReply_17_9+MesBuffReply_1_15+MesBuffReply_2_16
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-05 with value :Mutex_14+Mutex_17+Mutex_6+Mutex_7+Mutex_16+Mutex_19+Mutex_11+Mutex_10+Mutex_4+Mutex_5+Mutex_18+Mutex_13+Mutex_2+Mutex_15+Mutex_12+Mutex_20+Mutex_1+Mutex_3+Mutex_9+Mutex_8
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-06 with value :Mutex_14+Mutex_17+Mutex_6+Mutex_7+Mutex_16+Mutex_19+Mutex_11+Mutex_10+Mutex_4+Mutex_5+Mutex_18+Mutex_13+Mutex_2+Mutex_15+Mutex_12+Mutex_20+Mutex_1+Mutex_3+Mutex_9+Mutex_8
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-07 with value :all_active_20+all_active_11+all_active_2+all_active_5+all_active_12+all_active_19+all_active_4+all_active_13+all_active_18+all_active_6+all_active_7+all_active_9+all_active_15+all_active_8+all_active_16+all_active_17+all_active_14+all_active_10+all_active_1+all_active_3
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-08 with value :MesBuffReply_1_12
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-09 with value :all_passive_16
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-10 with value :Message_14_11
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-11 with value :MesBuffReply_17_20
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-12 with value :Active_7_17
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-13 with value :MesBuffReply_6_2
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-14 with value :Modify_3_16
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-15 with value :all_active_3
Detected timeout of ITS tools.
[2021-05-09 01:29:02] [INFO ] Applying decomposition
[2021-05-09 01:29:03] [INFO ] Flatten gal took : 810 ms
[2021-05-09 01:29:03] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 73 ms
[2021-05-09 01:29:03] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-00 with value :Acknowledge_16_13+Acknowledge_8_1+Acknowledge_11_13+Acknowledge_5_14+Acknowledge_2_13+Acknowledge_4_19+Acknowledge_15_19+Acknowledge_18_15+Acknowledge_7_18+Acknowledge_19_14+Acknowledge_7_5+Acknowledge_11_17+Acknowledge_3_1+Acknowledge_5_5+Acknowledge_18_4+Acknowledge_8_7+Acknowledge_12_20+Acknowledge_12_5+Acknowledge_5_10+Acknowledge_4_15+Acknowledge_13_15+Acknowledge_10_9+Acknowledge_10_14+Acknowledge_19_10+Acknowledge_20_11+Acknowledge_7_3+Acknowledge_15_11+Acknowledge_6_11+Acknowledge_16_2+Acknowledge_1_17+Acknowledge_9_12+Acknowledge_18_3+Acknowledge_16_17+Acknowledge_14_12+Acknowledge_2_8+Acknowledge_11_9+Acknowledge_7_16+Acknowledge_5_20+Acknowledge_2_2+Acknowledge_2_1+Acknowledge_6_17+Acknowledge_17_8+Acknowledge_15_4+Acknowledge_13_3+Acknowledge_15_6+Acknowledge_12_16+Acknowledge_1_4+Acknowledge_2_14+Acknowledge_3_20+Acknowledge_19_1+Acknowledge_19_13+Acknowledge_18_5+Acknowledge_11_10+Acknowledge_8_20+Acknowledge_5_13+Acknowledge_7_15+Acknowledge_6_18+Acknowledge_8_13+Acknowledge_4_10+Acknowledge_9_1+Acknowledge_16_8+Acknowledge_10_3+Acknowledge_9_19+Acknowledge_4_4+Acknowledge_1_18+Acknowledge_14_19+Acknowledge_16_7+Acknowledge_13_2+Acknowledge_18_10+Acknowledge_19_4+Acknowledge_1_16+Acknowledge_3_9+Acknowledge_16_14+Acknowledge_17_2+Acknowledge_15_18+Acknowledge_14_1+Acknowledge_4_9+Acknowledge_20_18+Acknowledge_1_12+Acknowledge_6_5+Acknowledge_2_3+Acknowledge_15_3+Acknowledge_14_11+Acknowledge_12_11+Acknowledge_8_12+Acknowledge_6_7+Acknowledge_9_17+Acknowledge_5_1+Acknowledge_2_10+Acknowledge_7_11+Acknowledge_13_9+Acknowledge_15_7+Acknowledge_14_6+Acknowledge_17_20+Acknowledge_14_8+Acknowledge_13_14+Acknowledge_20_3+Acknowledge_5_4+Acknowledge_1_11+Acknowledge_5_8+Acknowledge_18_13+Acknowledge_15_16+Acknowledge_6_15+Acknowledge_13_13+Acknowledge_12_2+Acknowledge_18_17+Acknowledge_1_6+Acknowledge_10_4+Acknowledge_7_2+Acknowledge_15_8+Acknowledge_4_16+Acknowledge_6_19+Acknowledge_12_10+Acknowledge_17_6+Acknowledge_6_1+Acknowledge_20_19+Acknowledge_1_15+Acknowledge_12_3+Acknowledge_12_18+Acknowledge_17_1+Acknowledge_5_9+Acknowledge_9_16+Acknowledge_12_17+Acknowledge_11_12+Acknowledge_4_1+Acknowledge_17_7+Acknowledge_19_15+Acknowledge_7_17+Acknowledge_4_8+Acknowledge_9_5+Acknowledge_2_12+Acknowledge_3_10+Acknowledge_14_20+Acknowledge_14_16+Acknowledge_2_9+Acknowledge_19_5+Acknowledge_10_10+Acknowledge_14_2+Acknowledge_20_10+Acknowledge_11_20+Acknowledge_20_4+Acknowledge_7_6+Acknowledge_15_17+Acknowledge_12_9+Acknowledge_7_7+Acknowledge_20_17+Acknowledge_16_6+Acknowledge_7_8+Acknowledge_1_20+Acknowledge_13_10+Acknowledge_10_13+Acknowledge_9_6+Acknowledge_6_9+Acknowledge_12_8+Acknowledge_5_3+Acknowledge_13_4+Acknowledge_10_12+Acknowledge_4_2+Acknowledge_3_19+Acknowledge_18_14+Acknowledge_3_13+Acknowledge_18_18+Acknowledge_3_4+Acknowledge_1_14+Acknowledge_4_17+Acknowledge_8_5+Acknowledge_3_12+Acknowledge_9_10+Acknowledge_16_15+Acknowledge_16_5+Acknowledge_8_19+Acknowledge_1_5+Acknowledge_11_14+Acknowledge_20_12+Acknowledge_14_10+Acknowledge_13_18+Acknowledge_15_9+Acknowledge_17_16+Acknowledge_15_2+Acknowledge_9_15+Acknowledge_7_1+Acknowledge_18_7+Acknowledge_20_9+Acknowledge_13_7+Acknowledge_12_1+Acknowledge_6_20+Acknowledge_5_7+Acknowledge_8_14+Acknowledge_6_16+Acknowledge_10_11+Acknowledge_3_15+Acknowledge_11_4+Acknowledge_17_3+Acknowledge_10_17+Acknowledge_4_7+Acknowledge_16_4+Acknowledge_1_9+Acknowledge_8_3+Acknowledge_3_11+Acknowledge_4_12+Acknowledge_2_4+Acknowledge_14_14+Acknowledge_6_6+Acknowledge_3_18+Acknowledge_13_12+Acknowledge_6_8+Acknowledge_5_17+Acknowledge_19_7+Acknowledge_9_20+Acknowledge_3_3+Acknowledge_19_11+Acknowledge_11_16+Acknowledge_6_13+Acknowledge_8_10+Acknowledge_14_9+Acknowledge_12_7+Acknowledge_16_20+Acknowledge_9_2+Acknowledge_15_13+Acknowledge_1_10+Acknowledge_13_1+Acknowledge_2_6+Acknowledge_13_11+Acknowledge_19_20+Acknowledge_1_19+Acknowledge_8_15+Acknowledge_9_14+Acknowledge_17_17+Acknowledge_20_13+Acknowledge_16_16+Acknowledge_17_5+Acknowledge_2_16+Acknowledge_2_11+Acknowledge_11_19+Acknowledge_12_12+Acknowledge_2_5+Acknowledge_1_13+Acknowledge_2_18+Acknowledge_14_3+Acknowledge_11_5+Acknowledge_10_18+Acknowledge_18_19+Acknowledge_15_1+Acknowledge_18_11+Acknowledge_8_9+Acknowledge_11_18+Acknowledge_13_8+Acknowledge_17_15+Acknowledge_17_9+Acknowledge_5_6+Acknowledge_5_12+Acknowledge_5_19+Acknowledge_13_20+Acknowledge_19_6+Acknowledge_6_2+Acknowledge_9_8+Acknowledge_16_10+Acknowledge_5_16+Acknowledge_2_7+Acknowledge_7_9+Acknowledge_13_17+Acknowledge_8_4+Acknowledge_17_14+Acknowledge_15_10+Acknowledge_20_8+Acknowledge_16_18+Acknowledge_10_6+Acknowledge_11_7+Acknowledge_8_6+Acknowledge_19_16+Acknowledge_3_14+Acknowledge_20_14+Acknowledge_18_12+Acknowledge_8_16+Acknowledge_4_20+Acknowledge_3_5+Acknowledge_12_13+Acknowledge_3_2+Acknowledge_10_1+Acknowledge_14_17+Acknowledge_19_19+Acknowledge_10_5+Acknowledge_2_19+Acknowledge_18_20+Acknowledge_9_13+Acknowledge_20_2+Acknowledge_6_3+Acknowledge_20_7+Acknowledge_11_15+Acknowledge_18_6+Acknowledge_14_5+Acknowledge_5_11+Acknowledge_10_19+Acknowledge_8_2+Acknowledge_6_14+Acknowledge_2_17+Acknowledge_4_11+Acknowledge_8_18+Acknowledge_18_9+Acknowledge_11_3+Acknowledge_15_15+Acknowledge_7_10+Acknowledge_19_8+Acknowledge_13_16+Acknowledge_8_11+Acknowledge_7_20+Acknowledge_11_6+Acknowledge_14_15+Acknowledge_18_16+Acknowledge_18_1+Acknowledge_10_20+Acknowledge_6_12+Acknowledge_9_4+Acknowledge_17_10+Acknowledge_10_8+Acknowledge_19_18+Acknowledge_9_9+Acknowledge_18_8+Acknowledge_1_3+Acknowledge_1_1+Acknowledge_15_12+Acknowledge_16_9+Acknowledge_4_6+Acknowledge_20_15+Acknowledge_16_3+Acknowledge_5_15+Acknowledge_10_15+Acknowledge_20_1+Acknowledge_8_8+Acknowledge_13_19+Acknowledge_7_14+Acknowledge_17_11+Acknowledge_6_10+Acknowledge_4_13+Acknowledge_10_7+Acknowledge_11_11+Acknowledge_16_12+Acknowledge_3_7+Acknowledge_5_18+Acknowledge_11_1+Acknowledge_14_4+Acknowledge_7_12+Acknowledge_16_19+Acknowledge_1_7+Acknowledge_11_2+Acknowledge_20_5+Acknowledge_19_12+Acknowledge_11_8+Acknowledge_1_2+Acknowledge_16_11+Acknowledge_19_3+Acknowledge_14_7+Acknowledge_15_5+Acknowledge_4_5+Acknowledge_18_2+Acknowledge_15_14+Acknowledge_2_20+Acknowledge_12_19+Acknowledge_12_14+Acknowledge_13_5+Acknowledge_4_14+Acknowledge_19_9+Acknowledge_17_4+Acknowledge_10_16+Acknowledge_2_15+Acknowledge_9_18+Acknowledge_14_18+Acknowledge_12_6+Acknowledge_7_19+Acknowledge_9_3+Acknowledge_9_7+Acknowledge_20_20+Acknowledge_1_8+Acknowledge_8_17+Acknowledge_3_17+Acknowledge_12_15+Acknowledge_17_13+Acknowledge_19_17+Acknowledge_3_16+Acknowledge_7_13+Acknowledge_17_12+Acknowledge_9_11+Acknowledge_14_13+Acknowledge_20_16+Acknowledge_17_19+Acknowledge_13_6+Acknowledge_4_3+Acknowledge_10_2+Acknowledge_3_8+Acknowledge_17_18+Acknowledge_12_4+Acknowledge_20_6+Acknowledge_5_2+Acknowledge_15_20+Acknowledge_3_6+Acknowledge_16_1+Acknowledge_6_4+Acknowledge_4_18+Acknowledge_7_4+Acknowledge_19_2
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-01 with value :Mutex_14+Mutex_17+Mutex_6+Mutex_7+Mutex_16+Mutex_19+Mutex_11+Mutex_10+Mutex_4+Mutex_5+Mutex_18+Mutex_13+Mutex_2+Mutex_15+Mutex_12+Mutex_20+Mutex_1+Mutex_3+Mutex_9+Mutex_8
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-02 with value :Active_18_16+Active_17_16+Active_14_18+Active_8_4+Active_13_14+Active_11_1+Active_6_18+Active_17_4+Active_14_19+Active_13_19+Active_11_13+Active_12_20+Active_19_18+Active_4_3+Active_1_6+Active_1_16+Active_19_14+Active_16_10+Active_6_7+Active_16_14+Active_10_15+Active_8_16+Active_8_13+Active_10_5+Active_5_18+Active_16_17+Active_19_6+Active_2_12+Active_15_11+Active_6_2+Active_7_8+Active_8_17+Active_16_12+Active_9_18+Active_10_4+Active_11_3+Active_12_6+Active_1_17+Active_11_20+Active_2_14+Active_8_3+Active_10_19+Active_19_9+Active_1_10+Active_17_10+Active_8_11+Active_3_4+Active_14_8+Active_16_13+Active_2_19+Active_7_16+Active_7_6+Active_14_16+Active_19_1+Active_9_9+Active_16_2+Active_6_8+Active_2_13+Active_7_7+Active_4_15+Active_1_1+Active_17_19+Active_18_5+Active_15_17+Active_17_11+Active_8_1+Active_19_4+Active_4_20+Active_13_15+Active_2_18+Active_11_18+Active_18_20+Active_3_13+Active_9_10+Active_11_19+Active_15_8+Active_19_12+Active_16_3+Active_11_4+Active_8_9+Active_14_10+Active_1_8+Active_20_1+Active_8_18+Active_9_1+Active_7_14+Active_20_16+Active_4_5+Active_5_14+Active_2_4+Active_7_10+Active_13_5+Active_3_12+Active_13_6+Active_15_1+Active_18_15+Active_4_14+Active_10_14+Active_17_13+Active_20_7+Active_9_2+Active_19_20+Active_12_4+Active_18_6+Active_14_14+Active_12_15+Active_2_3+Active_16_19+Active_11_12+Active_1_12+Active_9_17+Active_16_18+Active_19_8+Active_15_10+Active_6_16+Active_5_4+Active_5_20+Active_5_19+Active_15_4+Active_16_8+Active_14_17+Active_20_9+Active_15_15+Active_5_15+Active_3_11+Active_17_2+Active_10_20+Active_1_2+Active_15_16+Active_8_12+Active_1_19+Active_3_18+Active_2_17+Active_12_5+Active_6_13+Active_10_11+Active_20_17+Active_9_12+Active_14_1+Active_17_3+Active_1_7+Active_10_6+Active_4_13+Active_6_9+Active_8_2+Active_2_6+Active_13_17+Active_9_8+Active_11_11+Active_12_16+Active_7_15+Active_15_5+Active_3_17+Active_13_10+Active_12_1+Active_3_1+Active_14_2+Active_7_1+Active_8_7+Active_10_12+Active_4_4+Active_2_2+Active_11_7+Active_8_8+Active_20_11+Active_6_1+Active_17_14+Active_14_3+Active_14_13+Active_7_9+Active_18_7+Active_2_11+Active_20_5+Active_11_2+Active_19_13+Active_5_16+Active_15_9+Active_2_10+Active_3_10+Active_9_13+Active_5_5+Active_20_10+Active_6_3+Active_14_4+Active_20_15+Active_18_19+Active_13_18+Active_16_20+Active_19_11+Active_20_6+Active_3_19+Active_1_13+Active_2_15+Active_1_18+Active_7_5+Active_13_4+Active_10_7+Active_2_5+Active_15_2+Active_17_8+Active_19_3+Active_6_15+Active_4_16+Active_13_16+Active_8_19+Active_18_8+Active_5_6+Active_6_12+Active_12_14+Active_12_13+Active_11_6+Active_4_1+Active_5_9+Active_12_11+Active_15_3+Active_18_13+Active_10_2+Active_6_4+Active_14_9+Active_9_7+Active_17_7+Active_8_10+Active_3_5+Active_12_9+Active_9_14+Active_12_10+Active_16_6+Active_13_12+Active_9_19+Active_1_3+Active_20_4+Active_19_19+Active_12_3+Active_1_11+Active_19_7+Active_17_15+Active_17_20+Active_8_6+Active_14_15+Active_3_16+Active_3_2+Active_12_18+Active_5_11+Active_11_17+Active_15_18+Active_15_13+Active_1_20+Active_10_16+Active_15_6+Active_3_3+Active_2_7+Active_10_18+Active_12_2+Active_18_12+Active_8_20+Active_3_15+Active_13_3+Active_20_14+Active_18_17+Active_7_13+Active_18_3+Active_8_5+Active_11_10+Active_4_8+Active_17_6+Active_20_3+Active_18_10+Active_11_8+Active_18_11+Active_20_2+Active_10_17+Active_5_17+Active_17_5+Active_6_19+Active_5_10+Active_7_4+Active_13_2+Active_4_9+Active_20_13+Active_1_14+Active_6_14+Active_12_17+Active_7_12+Active_7_3+Active_6_6+Active_3_7+Active_14_11+Active_19_10+Active_13_11+Active_20_19+Active_5_1+Active_9_20+Active_10_8+Active_7_20+Active_17_9+Active_14_20+Active_14_5+Active_10_3+Active_13_9+Active_1_4+Active_8_15+Active_4_11+Active_2_16+Active_3_6+Active_19_17+Active_20_18+Active_10_1+Active_18_18+Active_15_14+Active_18_4+Active_5_12+Active_8_14+Active_11_16+Active_7_19+Active_15_12+Active_16_7+Active_4_17+Active_19_5+Active_15_20+Active_19_2+Active_10_10+Active_7_11+Active_6_20+Active_16_5+Active_14_6+Active_12_12+Active_13_1+Active_5_8+Active_16_1+Active_5_2+Active_20_8+Active_18_14+Active_14_12+Active_11_14+Active_2_8+Active_16_9+Active_12_7+Active_16_15+Active_16_4+Active_10_9+Active_9_15+Active_9_4+Active_13_20+Active_2_1+Active_9_5+Active_20_20+Active_19_15+Active_5_7+Active_6_10+Active_12_19+Active_4_18+Active_2_20+Active_15_7+Active_11_5+Active_3_9+Active_15_19+Active_7_18+Active_13_8+Active_20_12+Active_19_16+Active_9_6+Active_1_5+Active_4_2+Active_17_18+Active_6_17+Active_4_19+Active_1_15+Active_18_2+Active_9_16+Active_6_5+Active_4_6+Active_4_12+Active_10_13+Active_6_11+Active_16_16+Active_14_7+Active_17_1+Active_17_17+Active_13_13+Active_12_8+Active_17_12+Active_16_11+Active_5_3+Active_3_14+Active_7_17+Active_13_7+Active_2_9+Active_7_2+Active_3_20+Active_9_11+Active_4_10+Active_1_9+Active_18_1+Active_9_3+Active_5_13+Active_3_8+Active_18_9+Active_11_9+Active_4_7+Active_11_15
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-03 with value :updating_20_9+updating_7_16+updating_20_14+updating_16_12+updating_16_5+updating_9_15+updating_10_7+updating_13_2+updating_8_17+updating_18_4+updating_2_2+updating_11_6+updating_19_8+updating_13_8+updating_2_6+updating_8_20+updating_19_5+updating_20_18+updating_6_10+updating_7_19+updating_9_5+updating_15_1+updating_4_8+updating_12_13+updating_9_16+updating_17_17+updating_7_9+updating_3_4+updating_1_8+updating_14_19+updating_8_9+updating_2_14+updating_11_8+updating_1_14+updating_19_16+updating_20_6+updating_11_14+updating_10_16+updating_8_8+updating_18_17+updating_11_5+updating_20_15+updating_4_12+updating_3_7+updating_10_15+updating_9_20+updating_4_1+updating_11_15+updating_20_2+updating_5_18+updating_1_19+updating_8_4+updating_17_16+updating_13_3+updating_15_18+updating_3_14+updating_2_19+updating_1_5+updating_18_9+updating_10_3+updating_16_10+updating_15_6+updating_7_17+updating_9_10+updating_5_12+updating_11_19+updating_15_20+updating_18_8+updating_13_1+updating_17_12+updating_4_13+updating_19_10+updating_6_11+updating_6_18+updating_3_2+updating_20_19+updating_5_6+updating_11_9+updating_3_8+updating_19_15+updating_19_11+updating_10_1+updating_13_13+updating_11_2+updating_7_18+updating_2_16+updating_13_7+updating_3_1+updating_18_7+updating_1_15+updating_16_8+updating_12_6+updating_20_16+updating_3_5+updating_9_19+updating_15_3+updating_12_3+updating_1_3+updating_1_9+updating_19_19+updating_7_11+updating_14_6+updating_20_13+updating_13_6+updating_14_12+updating_9_9+updating_5_2+updating_17_10+updating_19_9+updating_9_4+updating_3_15+updating_4_18+updating_14_18+updating_20_4+updating_6_17+updating_12_2+updating_18_3+updating_4_6+updating_6_12+updating_17_9+updating_15_12+updating_20_17+updating_6_5+updating_10_20+updating_7_3+updating_12_7+updating_10_2+updating_17_20+updating_10_17+updating_2_1+updating_17_5+updating_4_10+updating_15_7+updating_9_14+updating_11_17+updating_18_2+updating_7_12+updating_8_15+updating_5_17+updating_8_5+updating_8_7+updating_11_10+updating_1_4+updating_14_14+updating_6_13+updating_6_8+updating_12_18+updating_1_13+updating_12_11+updating_15_13+updating_18_19+updating_12_16+updating_20_20+updating_10_9+updating_15_4+updating_18_6+updating_20_3+updating_3_16+updating_11_1+updating_18_11+updating_17_19+updating_18_16+updating_18_10+updating_17_8+updating_14_5+updating_6_4+updating_2_15+updating_11_16+updating_14_13+updating_12_19+updating_19_17+updating_3_19+updating_5_10+updating_9_7+updating_5_11+updating_11_20+updating_4_2+updating_9_8+updating_8_14+updating_1_12+updating_1_7+updating_20_7+updating_12_12+updating_17_15+updating_8_12+updating_6_6+updating_10_10+updating_3_9+updating_4_19+updating_15_5+updating_4_4+updating_7_13+updating_15_14+updating_12_20+updating_9_1+updating_18_13+updating_17_13+updating_10_19+updating_2_18+updating_16_14+updating_11_18+updating_4_11+updating_16_1+updating_12_17+updating_13_18+updating_8_13+updating_4_16+updating_14_8+updating_5_20+updating_16_9+updating_6_3+updating_6_7+updating_13_12+updating_17_2+updating_20_12+updating_19_20+updating_19_1+updating_12_8+updating_14_3+updating_9_6+updating_9_12+updating_6_16+updating_7_4+updating_10_11+updating_13_11+updating_7_6+updating_19_2+updating_14_4+updating_18_20+updating_3_11+updating_17_3+updating_5_5+updating_9_3+updating_6_2+updating_5_16+updating_12_5+updating_16_6+updating_12_4+updating_20_10+updating_17_14+updating_10_12+updating_13_20+updating_2_9+updating_7_14+updating_4_17+updating_13_17+updating_14_17+updating_6_14+updating_5_15+updating_2_5+updating_6_15+updating_9_13+updating_8_1+updating_19_13+updating_14_20+updating_20_5+updating_7_2+updating_14_7+updating_17_1+updating_15_19+updating_15_16+updating_16_15+updating_15_8+updating_20_11+updating_5_8+updating_4_7+updating_19_12+updating_2_10+updating_3_18+updating_12_9+updating_12_10+updating_11_11+updating_8_3+updating_2_4+updating_17_4+updating_6_19+updating_16_2+updating_3_17+updating_5_19+updating_4_15+updating_13_10+updating_10_18+updating_15_9+updating_17_6+updating_8_2+updating_7_5+updating_18_1+updating_7_7+updating_13_4+updating_8_6+updating_1_2+updating_4_3+updating_19_3+updating_4_20+updating_7_15+updating_1_11+updating_10_5+updating_2_8+updating_15_11+updating_7_1+updating_4_14+updating_18_15+updating_1_6+updating_13_16+updating_7_8+updating_3_20+updating_6_20+updating_12_15+updating_16_13+updating_16_16+updating_14_9+updating_1_18+updating_15_17+updating_16_4+updating_18_18+updating_11_3+updating_2_11+updating_2_13+updating_15_2+updating_17_7+updating_5_3+updating_15_15+updating_13_14+updating_14_1+updating_19_6+updating_3_10+updating_16_19+updating_13_9+updating_11_12+updating_20_8+updating_19_4+updating_5_9+updating_17_18+updating_6_9+updating_14_15+updating_20_1+updating_13_19+updating_2_12+updating_11_13+updating_10_14+updating_10_6+updating_8_18+updating_19_14+updating_9_11+updating_16_11+updating_5_7+updating_9_17+updating_5_4+updating_3_6+updating_18_12+updating_14_10+updating_1_10+updating_6_1+updating_1_1+updating_10_4+updating_19_7+updating_2_3+updating_8_19+updating_1_17+updating_1_16+updating_3_12+updating_16_7+updating_8_10+updating_5_14+updating_13_5+updating_19_18+updating_16_17+updating_3_3+updating_14_2+updating_2_17+updating_12_14+updating_18_5+updating_3_13+updating_7_10+updating_10_13+updating_8_11+updating_5_1+updating_2_7+updating_16_3+updating_5_13+updating_16_20+updating_14_11+updating_11_7+updating_8_16+updating_4_9+updating_9_18+updating_2_20+updating_10_8+updating_13_15+updating_17_11+updating_7_20+updating_16_18+updating_12_1+updating_9_2+updating_15_10+updating_14_16+updating_4_5+updating_11_4+updating_1_20+updating_18_14
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-04 with value :MesBuffReply_6_19+MesBuffReply_14_19+MesBuffReply_9_8+MesBuffReply_5_12+MesBuffReply_1_7+MesBuffReply_15_7+MesBuffReply_14_4+MesBuffReply_14_8+MesBuffReply_11_5+MesBuffReply_9_20+MesBuffReply_15_2+MesBuffReply_1_19+MesBuffReply_17_11+MesBuffReply_17_17+MesBuffReply_20_19+MesBuffReply_7_13+MesBuffReply_10_11+MesBuffReply_10_13+MesBuffReply_3_17+MesBuffReply_20_13+MesBuffReply_3_9+MesBuffReply_15_19+MesBuffReply_15_15+MesBuffReply_3_4+MesBuffReply_16_12+MesBuffReply_8_9+MesBuffReply_12_18+MesBuffReply_19_2+MesBuffReply_14_14+MesBuffReply_1_14+MesBuffReply_7_1+MesBuffReply_17_4+MesBuffReply_8_2+MesBuffReply_13_14+MesBuffReply_9_11+MesBuffReply_19_16+MesBuffReply_17_10+MesBuffReply_7_6+MesBuffReply_8_20+MesBuffReply_7_4+MesBuffReply_5_7+MesBuffReply_12_15+MesBuffReply_2_10+MesBuffReply_6_3+MesBuffReply_6_11+MesBuffReply_5_5+MesBuffReply_12_6+MesBuffReply_12_5+MesBuffReply_18_5+MesBuffReply_4_4+MesBuffReply_10_12+MesBuffReply_20_18+MesBuffReply_4_14+MesBuffReply_1_16+MesBuffReply_18_9+MesBuffReply_4_18+MesBuffReply_14_20+MesBuffReply_17_1+MesBuffReply_2_13+MesBuffReply_11_15+MesBuffReply_18_2+MesBuffReply_8_1+MesBuffReply_15_4+MesBuffReply_10_1+MesBuffReply_11_9+MesBuffReply_7_3+MesBuffReply_7_19+MesBuffReply_2_15+MesBuffReply_3_8+MesBuffReply_6_4+MesBuffReply_13_18+MesBuffReply_1_20+MesBuffReply_2_12+MesBuffReply_17_3+MesBuffReply_16_2+MesBuffReply_13_12+MesBuffReply_10_8+MesBuffReply_14_13+MesBuffReply_17_12+MesBuffReply_12_10+MesBuffReply_18_16+MesBuffReply_4_6+MesBuffReply_16_3+MesBuffReply_13_8+MesBuffReply_9_1+MesBuffReply_3_14+MesBuffReply_7_18+MesBuffReply_12_7+MesBuffReply_8_19+MesBuffReply_18_17+MesBuffReply_9_10+MesBuffReply_20_10+MesBuffReply_12_12+MesBuffReply_20_15+MesBuffReply_18_1+MesBuffReply_13_5+MesBuffReply_19_18+MesBuffReply_7_11+MesBuffReply_8_10+MesBuffReply_7_12+MesBuffReply_17_5+MesBuffReply_10_16+MesBuffReply_17_19+MesBuffReply_7_2+MesBuffReply_5_4+MesBuffReply_12_14+MesBuffReply_20_8+MesBuffReply_6_18+MesBuffReply_18_11+MesBuffReply_11_16+MesBuffReply_12_13+MesBuffReply_8_17+MesBuffReply_10_18+MesBuffReply_10_9+MesBuffReply_18_3+MesBuffReply_1_9+MesBuffReply_9_17+MesBuffReply_18_19+MesBuffReply_9_19+MesBuffReply_4_3+MesBuffReply_8_11+MesBuffReply_16_5+MesBuffReply_7_20+MesBuffReply_13_7+MesBuffReply_2_8+MesBuffReply_4_5+MesBuffReply_4_7+MesBuffReply_11_3+MesBuffReply_15_13+MesBuffReply_15_11+MesBuffReply_15_6+MesBuffReply_17_2+MesBuffReply_14_6+MesBuffReply_3_15+MesBuffReply_1_10+MesBuffReply_8_13+MesBuffReply_15_12+MesBuffReply_2_14+MesBuffReply_1_1+MesBuffReply_19_17+MesBuffReply_5_6+MesBuffReply_19_10+MesBuffReply_5_13+MesBuffReply_10_15+MesBuffReply_3_13+MesBuffReply_12_8+MesBuffReply_10_10+MesBuffReply_16_19+MesBuffReply_1_17+MesBuffReply_9_2+MesBuffReply_9_6+MesBuffReply_18_18+MesBuffReply_15_17+MesBuffReply_2_6+MesBuffReply_6_20+MesBuffReply_19_19+MesBuffReply_10_14+MesBuffReply_16_20+MesBuffReply_9_18+MesBuffReply_3_7+MesBuffReply_6_17+MesBuffReply_15_1+MesBuffReply_15_5+MesBuffReply_20_17+MesBuffReply_14_10+MesBuffReply_20_9+MesBuffReply_7_10+MesBuffReply_1_11+MesBuffReply_13_15+MesBuffReply_5_3+MesBuffReply_11_18+MesBuffReply_7_16+MesBuffReply_12_16+MesBuffReply_19_3+MesBuffReply_4_12+MesBuffReply_16_11+MesBuffReply_17_7+MesBuffReply_12_9+MesBuffReply_5_9+MesBuffReply_4_8+MesBuffReply_11_8+MesBuffReply_10_7+MesBuffReply_16_13+MesBuffReply_5_14+MesBuffReply_11_13+MesBuffReply_14_12+MesBuffReply_3_6+MesBuffReply_8_14+MesBuffReply_4_15+MesBuffReply_19_14+MesBuffReply_4_20+MesBuffReply_12_4+MesBuffReply_6_5+MesBuffReply_13_4+MesBuffReply_16_6+MesBuffReply_18_20+MesBuffReply_7_5+MesBuffReply_2_1+MesBuffReply_10_2+MesBuffReply_18_15+MesBuffReply_16_1+MesBuffReply_1_18+MesBuffReply_7_17+MesBuffReply_20_12+MesBuffReply_2_11+MesBuffReply_12_2+MesBuffReply_17_13+MesBuffReply_20_16+MesBuffReply_9_12+MesBuffReply_14_1+MesBuffReply_5_8+MesBuffReply_6_16+MesBuffReply_8_5+MesBuffReply_8_18+MesBuffReply_1_2+MesBuffReply_14_17+MesBuffReply_14_9+MesBuffReply_19_15+MesBuffReply_18_8+MesBuffReply_16_7+MesBuffReply_13_10+MesBuffReply_5_15+MesBuffReply_14_5+MesBuffReply_13_16+MesBuffReply_19_9+MesBuffReply_2_7+MesBuffReply_8_6+MesBuffReply_14_11+MesBuffReply_11_14+MesBuffReply_1_5+MesBuffReply_11_2+MesBuffReply_11_4+MesBuffReply_4_2+MesBuffReply_18_14+MesBuffReply_19_20+MesBuffReply_4_17+MesBuffReply_20_3+MesBuffReply_11_6+MesBuffReply_13_9+MesBuffReply_7_15+MesBuffReply_10_19+MesBuffReply_5_20+MesBuffReply_19_8+MesBuffReply_13_3+MesBuffReply_17_18+MesBuffReply_18_4+MesBuffReply_6_13+MesBuffReply_11_19+MesBuffReply_18_6+MesBuffReply_3_1+MesBuffReply_11_7+MesBuffReply_17_6+MesBuffReply_1_12+MesBuffReply_16_10+MesBuffReply_15_9+MesBuffReply_1_4+MesBuffReply_9_14+MesBuffReply_17_14+MesBuffReply_6_12+MesBuffReply_5_10+MesBuffReply_9_5+MesBuffReply_3_3+MesBuffReply_13_11+MesBuffReply_2_2+MesBuffReply_10_3+MesBuffReply_1_13+MesBuffReply_12_3+MesBuffReply_16_15+MesBuffReply_3_19+MesBuffReply_4_9+MesBuffReply_17_8+MesBuffReply_3_11+MesBuffReply_13_1+MesBuffReply_16_18+MesBuffReply_6_15+MesBuffReply_9_13+MesBuffReply_19_4+MesBuffReply_4_1+MesBuffReply_14_16+MesBuffReply_11_20+MesBuffReply_14_18+MesBuffReply_19_7+MesBuffReply_7_9+MesBuffReply_13_17+MesBuffReply_20_4+MesBuffReply_2_20+MesBuffReply_17_15+MesBuffReply_5_16+MesBuffReply_2_3+MesBuffReply_10_6+MesBuffReply_15_20+MesBuffReply_6_8+MesBuffReply_5_1+MesBuffReply_4_19+MesBuffReply_10_4+MesBuffReply_13_19+MesBuffReply_3_18+MesBuffReply_2_18+MesBuffReply_4_10+MesBuffReply_8_12+MesBuffReply_12_1+MesBuffReply_19_13+MesBuffReply_19_1+MesBuffReply_10_20+MesBuffReply_16_8+MesBuffReply_6_14+MesBuffReply_7_8+MesBuffReply_20_5+MesBuffReply_3_2+MesBuffReply_15_16+MesBuffReply_8_7+MesBuffReply_15_18+MesBuffReply_1_6+MesBuffReply_6_2+MesBuffReply_6_10+MesBuffReply_3_12+MesBuffReply_18_12+MesBuffReply_15_10+MesBuffReply_15_14+MesBuffReply_13_2+MesBuffReply_9_15+MesBuffReply_19_6+MesBuffReply_16_4+MesBuffReply_12_11+MesBuffReply_16_14+MesBuffReply_8_3+MesBuffReply_5_17+MesBuffReply_8_16+MesBuffReply_17_16+MesBuffReply_4_16+MesBuffReply_6_9+MesBuffReply_12_17+MesBuffReply_15_3+MesBuffReply_16_9+MesBuffReply_1_3+MesBuffReply_18_7+MesBuffReply_9_7+MesBuffReply_9_4+MesBuffReply_20_14+MesBuffReply_4_11+MesBuffReply_3_20+MesBuffReply_12_20+MesBuffReply_2_4+MesBuffReply_2_19+MesBuffReply_3_16+MesBuffReply_19_11+MesBuffReply_14_15+MesBuffReply_10_5+MesBuffReply_14_2+MesBuffReply_19_5+MesBuffReply_14_3+MesBuffReply_3_5+MesBuffReply_16_17+MesBuffReply_7_14+MesBuffReply_19_12+MesBuffReply_3_10+MesBuffReply_6_6+MesBuffReply_11_12+MesBuffReply_20_20+MesBuffReply_13_13+MesBuffReply_20_11+MesBuffReply_13_20+MesBuffReply_14_7+MesBuffReply_8_8+MesBuffReply_11_17+MesBuffReply_5_18+MesBuffReply_7_7+MesBuffReply_12_19+MesBuffReply_2_5+MesBuffReply_9_9+MesBuffReply_5_19+MesBuffReply_2_9+MesBuffReply_6_1+MesBuffReply_18_13+MesBuffReply_4_13+MesBuffReply_1_8+MesBuffReply_15_8+MesBuffReply_2_17+MesBuffReply_10_17+MesBuffReply_20_6+MesBuffReply_20_7+MesBuffReply_8_4+MesBuffReply_16_16+MesBuffReply_11_1+MesBuffReply_13_6+MesBuffReply_9_3+MesBuffReply_11_11+MesBuffReply_20_1+MesBuffReply_5_11+MesBuffReply_6_7+MesBuffReply_5_2+MesBuffReply_11_10+MesBuffReply_17_20+MesBuffReply_18_10+MesBuffReply_9_16+MesBuffReply_20_2+MesBuffReply_8_15+MesBuffReply_17_9+MesBuffReply_1_15+MesBuffReply_2_16
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-05 with value :Mutex_14+Mutex_17+Mutex_6+Mutex_7+Mutex_16+Mutex_19+Mutex_11+Mutex_10+Mutex_4+Mutex_5+Mutex_18+Mutex_13+Mutex_2+Mutex_15+Mutex_12+Mutex_20+Mutex_1+Mutex_3+Mutex_9+Mutex_8
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-06 with value :Mutex_14+Mutex_17+Mutex_6+Mutex_7+Mutex_16+Mutex_19+Mutex_11+Mutex_10+Mutex_4+Mutex_5+Mutex_18+Mutex_13+Mutex_2+Mutex_15+Mutex_12+Mutex_20+Mutex_1+Mutex_3+Mutex_9+Mutex_8
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-07 with value :all_active_20+all_active_11+all_active_2+all_active_5+all_active_12+all_active_19+all_active_4+all_active_13+all_active_18+all_active_6+all_active_7+all_active_9+all_active_15+all_active_8+all_active_16+all_active_17+all_active_14+all_active_10+all_active_1+all_active_3
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-08 with value :MesBuffReply_1_12
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-09 with value :all_passive_16
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-10 with value :Message_14_11
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-11 with value :MesBuffReply_17_20
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-12 with value :Active_7_17
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-13 with value :MesBuffReply_6_2
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-14 with value :Modify_3_16
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-15 with value :all_active_3
Detected timeout of ITS tools.
[2021-05-09 01:49:08] [INFO ] Flatten gal took : 846 ms
[2021-05-09 01:49:09] [INFO ] Input system was already deterministic with 3200 transitions.
[2021-05-09 01:49:09] [INFO ] Transformed 3260 places.
[2021-05-09 01:49:09] [INFO ] Transformed 3200 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-09 01:49:39] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 57 ms
[2021-05-09 01:49:39] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 4 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file UpperBounds.prop.
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-00 with value :Acknowledge_16_13+Acknowledge_8_1+Acknowledge_11_13+Acknowledge_5_14+Acknowledge_2_13+Acknowledge_4_19+Acknowledge_15_19+Acknowledge_18_15+Acknowledge_7_18+Acknowledge_19_14+Acknowledge_7_5+Acknowledge_11_17+Acknowledge_3_1+Acknowledge_5_5+Acknowledge_18_4+Acknowledge_8_7+Acknowledge_12_20+Acknowledge_12_5+Acknowledge_5_10+Acknowledge_4_15+Acknowledge_13_15+Acknowledge_10_9+Acknowledge_10_14+Acknowledge_19_10+Acknowledge_20_11+Acknowledge_7_3+Acknowledge_15_11+Acknowledge_6_11+Acknowledge_16_2+Acknowledge_1_17+Acknowledge_9_12+Acknowledge_18_3+Acknowledge_16_17+Acknowledge_14_12+Acknowledge_2_8+Acknowledge_11_9+Acknowledge_7_16+Acknowledge_5_20+Acknowledge_2_2+Acknowledge_2_1+Acknowledge_6_17+Acknowledge_17_8+Acknowledge_15_4+Acknowledge_13_3+Acknowledge_15_6+Acknowledge_12_16+Acknowledge_1_4+Acknowledge_2_14+Acknowledge_3_20+Acknowledge_19_1+Acknowledge_19_13+Acknowledge_18_5+Acknowledge_11_10+Acknowledge_8_20+Acknowledge_5_13+Acknowledge_7_15+Acknowledge_6_18+Acknowledge_8_13+Acknowledge_4_10+Acknowledge_9_1+Acknowledge_16_8+Acknowledge_10_3+Acknowledge_9_19+Acknowledge_4_4+Acknowledge_1_18+Acknowledge_14_19+Acknowledge_16_7+Acknowledge_13_2+Acknowledge_18_10+Acknowledge_19_4+Acknowledge_1_16+Acknowledge_3_9+Acknowledge_16_14+Acknowledge_17_2+Acknowledge_15_18+Acknowledge_14_1+Acknowledge_4_9+Acknowledge_20_18+Acknowledge_1_12+Acknowledge_6_5+Acknowledge_2_3+Acknowledge_15_3+Acknowledge_14_11+Acknowledge_12_11+Acknowledge_8_12+Acknowledge_6_7+Acknowledge_9_17+Acknowledge_5_1+Acknowledge_2_10+Acknowledge_7_11+Acknowledge_13_9+Acknowledge_15_7+Acknowledge_14_6+Acknowledge_17_20+Acknowledge_14_8+Acknowledge_13_14+Acknowledge_20_3+Acknowledge_5_4+Acknowledge_1_11+Acknowledge_5_8+Acknowledge_18_13+Acknowledge_15_16+Acknowledge_6_15+Acknowledge_13_13+Acknowledge_12_2+Acknowledge_18_17+Acknowledge_1_6+Acknowledge_10_4+Acknowledge_7_2+Acknowledge_15_8+Acknowledge_4_16+Acknowledge_6_19+Acknowledge_12_10+Acknowledge_17_6+Acknowledge_6_1+Acknowledge_20_19+Acknowledge_1_15+Acknowledge_12_3+Acknowledge_12_18+Acknowledge_17_1+Acknowledge_5_9+Acknowledge_9_16+Acknowledge_12_17+Acknowledge_11_12+Acknowledge_4_1+Acknowledge_17_7+Acknowledge_19_15+Acknowledge_7_17+Acknowledge_4_8+Acknowledge_9_5+Acknowledge_2_12+Acknowledge_3_10+Acknowledge_14_20+Acknowledge_14_16+Acknowledge_2_9+Acknowledge_19_5+Acknowledge_10_10+Acknowledge_14_2+Acknowledge_20_10+Acknowledge_11_20+Acknowledge_20_4+Acknowledge_7_6+Acknowledge_15_17+Acknowledge_12_9+Acknowledge_7_7+Acknowledge_20_17+Acknowledge_16_6+Acknowledge_7_8+Acknowledge_1_20+Acknowledge_13_10+Acknowledge_10_13+Acknowledge_9_6+Acknowledge_6_9+Acknowledge_12_8+Acknowledge_5_3+Acknowledge_13_4+Acknowledge_10_12+Acknowledge_4_2+Acknowledge_3_19+Acknowledge_18_14+Acknowledge_3_13+Acknowledge_18_18+Acknowledge_3_4+Acknowledge_1_14+Acknowledge_4_17+Acknowledge_8_5+Acknowledge_3_12+Acknowledge_9_10+Acknowledge_16_15+Acknowledge_16_5+Acknowledge_8_19+Acknowledge_1_5+Acknowledge_11_14+Acknowledge_20_12+Acknowledge_14_10+Acknowledge_13_18+Acknowledge_15_9+Acknowledge_17_16+Acknowledge_15_2+Acknowledge_9_15+Acknowledge_7_1+Acknowledge_18_7+Acknowledge_20_9+Acknowledge_13_7+Acknowledge_12_1+Acknowledge_6_20+Acknowledge_5_7+Acknowledge_8_14+Acknowledge_6_16+Acknowledge_10_11+Acknowledge_3_15+Acknowledge_11_4+Acknowledge_17_3+Acknowledge_10_17+Acknowledge_4_7+Acknowledge_16_4+Acknowledge_1_9+Acknowledge_8_3+Acknowledge_3_11+Acknowledge_4_12+Acknowledge_2_4+Acknowledge_14_14+Acknowledge_6_6+Acknowledge_3_18+Acknowledge_13_12+Acknowledge_6_8+Acknowledge_5_17+Acknowledge_19_7+Acknowledge_9_20+Acknowledge_3_3+Acknowledge_19_11+Acknowledge_11_16+Acknowledge_6_13+Acknowledge_8_10+Acknowledge_14_9+Acknowledge_12_7+Acknowledge_16_20+Acknowledge_9_2+Acknowledge_15_13+Acknowledge_1_10+Acknowledge_13_1+Acknowledge_2_6+Acknowledge_13_11+Acknowledge_19_20+Acknowledge_1_19+Acknowledge_8_15+Acknowledge_9_14+Acknowledge_17_17+Acknowledge_20_13+Acknowledge_16_16+Acknowledge_17_5+Acknowledge_2_16+Acknowledge_2_11+Acknowledge_11_19+Acknowledge_12_12+Acknowledge_2_5+Acknowledge_1_13+Acknowledge_2_18+Acknowledge_14_3+Acknowledge_11_5+Acknowledge_10_18+Acknowledge_18_19+Acknowledge_15_1+Acknowledge_18_11+Acknowledge_8_9+Acknowledge_11_18+Acknowledge_13_8+Acknowledge_17_15+Acknowledge_17_9+Acknowledge_5_6+Acknowledge_5_12+Acknowledge_5_19+Acknowledge_13_20+Acknowledge_19_6+Acknowledge_6_2+Acknowledge_9_8+Acknowledge_16_10+Acknowledge_5_16+Acknowledge_2_7+Acknowledge_7_9+Acknowledge_13_17+Acknowledge_8_4+Acknowledge_17_14+Acknowledge_15_10+Acknowledge_20_8+Acknowledge_16_18+Acknowledge_10_6+Acknowledge_11_7+Acknowledge_8_6+Acknowledge_19_16+Acknowledge_3_14+Acknowledge_20_14+Acknowledge_18_12+Acknowledge_8_16+Acknowledge_4_20+Acknowledge_3_5+Acknowledge_12_13+Acknowledge_3_2+Acknowledge_10_1+Acknowledge_14_17+Acknowledge_19_19+Acknowledge_10_5+Acknowledge_2_19+Acknowledge_18_20+Acknowledge_9_13+Acknowledge_20_2+Acknowledge_6_3+Acknowledge_20_7+Acknowledge_11_15+Acknowledge_18_6+Acknowledge_14_5+Acknowledge_5_11+Acknowledge_10_19+Acknowledge_8_2+Acknowledge_6_14+Acknowledge_2_17+Acknowledge_4_11+Acknowledge_8_18+Acknowledge_18_9+Acknowledge_11_3+Acknowledge_15_15+Acknowledge_7_10+Acknowledge_19_8+Acknowledge_13_16+Acknowledge_8_11+Acknowledge_7_20+Acknowledge_11_6+Acknowledge_14_15+Acknowledge_18_16+Acknowledge_18_1+Acknowledge_10_20+Acknowledge_6_12+Acknowledge_9_4+Acknowledge_17_10+Acknowledge_10_8+Acknowledge_19_18+Acknowledge_9_9+Acknowledge_18_8+Acknowledge_1_3+Acknowledge_1_1+Acknowledge_15_12+Acknowledge_16_9+Acknowledge_4_6+Acknowledge_20_15+Acknowledge_16_3+Acknowledge_5_15+Acknowledge_10_15+Acknowledge_20_1+Acknowledge_8_8+Acknowledge_13_19+Acknowledge_7_14+Acknowledge_17_11+Acknowledge_6_10+Acknowledge_4_13+Acknowledge_10_7+Acknowledge_11_11+Acknowledge_16_12+Acknowledge_3_7+Acknowledge_5_18+Acknowledge_11_1+Acknowledge_14_4+Acknowledge_7_12+Acknowledge_16_19+Acknowledge_1_7+Acknowledge_11_2+Acknowledge_20_5+Acknowledge_19_12+Acknowledge_11_8+Acknowledge_1_2+Acknowledge_16_11+Acknowledge_19_3+Acknowledge_14_7+Acknowledge_15_5+Acknowledge_4_5+Acknowledge_18_2+Acknowledge_15_14+Acknowledge_2_20+Acknowledge_12_19+Acknowledge_12_14+Acknowledge_13_5+Acknowledge_4_14+Acknowledge_19_9+Acknowledge_17_4+Acknowledge_10_16+Acknowledge_2_15+Acknowledge_9_18+Acknowledge_14_18+Acknowledge_12_6+Acknowledge_7_19+Acknowledge_9_3+Acknowledge_9_7+Acknowledge_20_20+Acknowledge_1_8+Acknowledge_8_17+Acknowledge_3_17+Acknowledge_12_15+Acknowledge_17_13+Acknowledge_19_17+Acknowledge_3_16+Acknowledge_7_13+Acknowledge_17_12+Acknowledge_9_11+Acknowledge_14_13+Acknowledge_20_16+Acknowledge_17_19+Acknowledge_13_6+Acknowledge_4_3+Acknowledge_10_2+Acknowledge_3_8+Acknowledge_17_18+Acknowledge_12_4+Acknowledge_20_6+Acknowledge_5_2+Acknowledge_15_20+Acknowledge_3_6+Acknowledge_16_1+Acknowledge_6_4+Acknowledge_4_18+Acknowledge_7_4+Acknowledge_19_2
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-01 with value :Mutex_14+Mutex_17+Mutex_6+Mutex_7+Mutex_16+Mutex_19+Mutex_11+Mutex_10+Mutex_4+Mutex_5+Mutex_18+Mutex_13+Mutex_2+Mutex_15+Mutex_12+Mutex_20+Mutex_1+Mutex_3+Mutex_9+Mutex_8
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-02 with value :Active_18_16+Active_17_16+Active_14_18+Active_8_4+Active_13_14+Active_11_1+Active_6_18+Active_17_4+Active_14_19+Active_13_19+Active_11_13+Active_12_20+Active_19_18+Active_4_3+Active_1_6+Active_1_16+Active_19_14+Active_16_10+Active_6_7+Active_16_14+Active_10_15+Active_8_16+Active_8_13+Active_10_5+Active_5_18+Active_16_17+Active_19_6+Active_2_12+Active_15_11+Active_6_2+Active_7_8+Active_8_17+Active_16_12+Active_9_18+Active_10_4+Active_11_3+Active_12_6+Active_1_17+Active_11_20+Active_2_14+Active_8_3+Active_10_19+Active_19_9+Active_1_10+Active_17_10+Active_8_11+Active_3_4+Active_14_8+Active_16_13+Active_2_19+Active_7_16+Active_7_6+Active_14_16+Active_19_1+Active_9_9+Active_16_2+Active_6_8+Active_2_13+Active_7_7+Active_4_15+Active_1_1+Active_17_19+Active_18_5+Active_15_17+Active_17_11+Active_8_1+Active_19_4+Active_4_20+Active_13_15+Active_2_18+Active_11_18+Active_18_20+Active_3_13+Active_9_10+Active_11_19+Active_15_8+Active_19_12+Active_16_3+Active_11_4+Active_8_9+Active_14_10+Active_1_8+Active_20_1+Active_8_18+Active_9_1+Active_7_14+Active_20_16+Active_4_5+Active_5_14+Active_2_4+Active_7_10+Active_13_5+Active_3_12+Active_13_6+Active_15_1+Active_18_15+Active_4_14+Active_10_14+Active_17_13+Active_20_7+Active_9_2+Active_19_20+Active_12_4+Active_18_6+Active_14_14+Active_12_15+Active_2_3+Active_16_19+Active_11_12+Active_1_12+Active_9_17+Active_16_18+Active_19_8+Active_15_10+Active_6_16+Active_5_4+Active_5_20+Active_5_19+Active_15_4+Active_16_8+Active_14_17+Active_20_9+Active_15_15+Active_5_15+Active_3_11+Active_17_2+Active_10_20+Active_1_2+Active_15_16+Active_8_12+Active_1_19+Active_3_18+Active_2_17+Active_12_5+Active_6_13+Active_10_11+Active_20_17+Active_9_12+Active_14_1+Active_17_3+Active_1_7+Active_10_6+Active_4_13+Active_6_9+Active_8_2+Active_2_6+Active_13_17+Active_9_8+Active_11_11+Active_12_16+Active_7_15+Active_15_5+Active_3_17+Active_13_10+Active_12_1+Active_3_1+Active_14_2+Active_7_1+Active_8_7+Active_10_12+Active_4_4+Active_2_2+Active_11_7+Active_8_8+Active_20_11+Active_6_1+Active_17_14+Active_14_3+Active_14_13+Active_7_9+Active_18_7+Active_2_11+Active_20_5+Active_11_2+Active_19_13+Active_5_16+Active_15_9+Active_2_10+Active_3_10+Active_9_13+Active_5_5+Active_20_10+Active_6_3+Active_14_4+Active_20_15+Active_18_19+Active_13_18+Active_16_20+Active_19_11+Active_20_6+Active_3_19+Active_1_13+Active_2_15+Active_1_18+Active_7_5+Active_13_4+Active_10_7+Active_2_5+Active_15_2+Active_17_8+Active_19_3+Active_6_15+Active_4_16+Active_13_16+Active_8_19+Active_18_8+Active_5_6+Active_6_12+Active_12_14+Active_12_13+Active_11_6+Active_4_1+Active_5_9+Active_12_11+Active_15_3+Active_18_13+Active_10_2+Active_6_4+Active_14_9+Active_9_7+Active_17_7+Active_8_10+Active_3_5+Active_12_9+Active_9_14+Active_12_10+Active_16_6+Active_13_12+Active_9_19+Active_1_3+Active_20_4+Active_19_19+Active_12_3+Active_1_11+Active_19_7+Active_17_15+Active_17_20+Active_8_6+Active_14_15+Active_3_16+Active_3_2+Active_12_18+Active_5_11+Active_11_17+Active_15_18+Active_15_13+Active_1_20+Active_10_16+Active_15_6+Active_3_3+Active_2_7+Active_10_18+Active_12_2+Active_18_12+Active_8_20+Active_3_15+Active_13_3+Active_20_14+Active_18_17+Active_7_13+Active_18_3+Active_8_5+Active_11_10+Active_4_8+Active_17_6+Active_20_3+Active_18_10+Active_11_8+Active_18_11+Active_20_2+Active_10_17+Active_5_17+Active_17_5+Active_6_19+Active_5_10+Active_7_4+Active_13_2+Active_4_9+Active_20_13+Active_1_14+Active_6_14+Active_12_17+Active_7_12+Active_7_3+Active_6_6+Active_3_7+Active_14_11+Active_19_10+Active_13_11+Active_20_19+Active_5_1+Active_9_20+Active_10_8+Active_7_20+Active_17_9+Active_14_20+Active_14_5+Active_10_3+Active_13_9+Active_1_4+Active_8_15+Active_4_11+Active_2_16+Active_3_6+Active_19_17+Active_20_18+Active_10_1+Active_18_18+Active_15_14+Active_18_4+Active_5_12+Active_8_14+Active_11_16+Active_7_19+Active_15_12+Active_16_7+Active_4_17+Active_19_5+Active_15_20+Active_19_2+Active_10_10+Active_7_11+Active_6_20+Active_16_5+Active_14_6+Active_12_12+Active_13_1+Active_5_8+Active_16_1+Active_5_2+Active_20_8+Active_18_14+Active_14_12+Active_11_14+Active_2_8+Active_16_9+Active_12_7+Active_16_15+Active_16_4+Active_10_9+Active_9_15+Active_9_4+Active_13_20+Active_2_1+Active_9_5+Active_20_20+Active_19_15+Active_5_7+Active_6_10+Active_12_19+Active_4_18+Active_2_20+Active_15_7+Active_11_5+Active_3_9+Active_15_19+Active_7_18+Active_13_8+Active_20_12+Active_19_16+Active_9_6+Active_1_5+Active_4_2+Active_17_18+Active_6_17+Active_4_19+Active_1_15+Active_18_2+Active_9_16+Active_6_5+Active_4_6+Active_4_12+Active_10_13+Active_6_11+Active_16_16+Active_14_7+Active_17_1+Active_17_17+Active_13_13+Active_12_8+Active_17_12+Active_16_11+Active_5_3+Active_3_14+Active_7_17+Active_13_7+Active_2_9+Active_7_2+Active_3_20+Active_9_11+Active_4_10+Active_1_9+Active_18_1+Active_9_3+Active_5_13+Active_3_8+Active_18_9+Active_11_9+Active_4_7+Active_11_15
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-03 with value :updating_20_9+updating_7_16+updating_20_14+updating_16_12+updating_16_5+updating_9_15+updating_10_7+updating_13_2+updating_8_17+updating_18_4+updating_2_2+updating_11_6+updating_19_8+updating_13_8+updating_2_6+updating_8_20+updating_19_5+updating_20_18+updating_6_10+updating_7_19+updating_9_5+updating_15_1+updating_4_8+updating_12_13+updating_9_16+updating_17_17+updating_7_9+updating_3_4+updating_1_8+updating_14_19+updating_8_9+updating_2_14+updating_11_8+updating_1_14+updating_19_16+updating_20_6+updating_11_14+updating_10_16+updating_8_8+updating_18_17+updating_11_5+updating_20_15+updating_4_12+updating_3_7+updating_10_15+updating_9_20+updating_4_1+updating_11_15+updating_20_2+updating_5_18+updating_1_19+updating_8_4+updating_17_16+updating_13_3+updating_15_18+updating_3_14+updating_2_19+updating_1_5+updating_18_9+updating_10_3+updating_16_10+updating_15_6+updating_7_17+updating_9_10+updating_5_12+updating_11_19+updating_15_20+updating_18_8+updating_13_1+updating_17_12+updating_4_13+updating_19_10+updating_6_11+updating_6_18+updating_3_2+updating_20_19+updating_5_6+updating_11_9+updating_3_8+updating_19_15+updating_19_11+updating_10_1+updating_13_13+updating_11_2+updating_7_18+updating_2_16+updating_13_7+updating_3_1+updating_18_7+updating_1_15+updating_16_8+updating_12_6+updating_20_16+updating_3_5+updating_9_19+updating_15_3+updating_12_3+updating_1_3+updating_1_9+updating_19_19+updating_7_11+updating_14_6+updating_20_13+updating_13_6+updating_14_12+updating_9_9+updating_5_2+updating_17_10+updating_19_9+updating_9_4+updating_3_15+updating_4_18+updating_14_18+updating_20_4+updating_6_17+updating_12_2+updating_18_3+updating_4_6+updating_6_12+updating_17_9+updating_15_12+updating_20_17+updating_6_5+updating_10_20+updating_7_3+updating_12_7+updating_10_2+updating_17_20+updating_10_17+updating_2_1+updating_17_5+updating_4_10+updating_15_7+updating_9_14+updating_11_17+updating_18_2+updating_7_12+updating_8_15+updating_5_17+updating_8_5+updating_8_7+updating_11_10+updating_1_4+updating_14_14+updating_6_13+updating_6_8+updating_12_18+updating_1_13+updating_12_11+updating_15_13+updating_18_19+updating_12_16+updating_20_20+updating_10_9+updating_15_4+updating_18_6+updating_20_3+updating_3_16+updating_11_1+updating_18_11+updating_17_19+updating_18_16+updating_18_10+updating_17_8+updating_14_5+updating_6_4+updating_2_15+updating_11_16+updating_14_13+updating_12_19+updating_19_17+updating_3_19+updating_5_10+updating_9_7+updating_5_11+updating_11_20+updating_4_2+updating_9_8+updating_8_14+updating_1_12+updating_1_7+updating_20_7+updating_12_12+updating_17_15+updating_8_12+updating_6_6+updating_10_10+updating_3_9+updating_4_19+updating_15_5+updating_4_4+updating_7_13+updating_15_14+updating_12_20+updating_9_1+updating_18_13+updating_17_13+updating_10_19+updating_2_18+updating_16_14+updating_11_18+updating_4_11+updating_16_1+updating_12_17+updating_13_18+updating_8_13+updating_4_16+updating_14_8+updating_5_20+updating_16_9+updating_6_3+updating_6_7+updating_13_12+updating_17_2+updating_20_12+updating_19_20+updating_19_1+updating_12_8+updating_14_3+updating_9_6+updating_9_12+updating_6_16+updating_7_4+updating_10_11+updating_13_11+updating_7_6+updating_19_2+updating_14_4+updating_18_20+updating_3_11+updating_17_3+updating_5_5+updating_9_3+updating_6_2+updating_5_16+updating_12_5+updating_16_6+updating_12_4+updating_20_10+updating_17_14+updating_10_12+updating_13_20+updating_2_9+updating_7_14+updating_4_17+updating_13_17+updating_14_17+updating_6_14+updating_5_15+updating_2_5+updating_6_15+updating_9_13+updating_8_1+updating_19_13+updating_14_20+updating_20_5+updating_7_2+updating_14_7+updating_17_1+updating_15_19+updating_15_16+updating_16_15+updating_15_8+updating_20_11+updating_5_8+updating_4_7+updating_19_12+updating_2_10+updating_3_18+updating_12_9+updating_12_10+updating_11_11+updating_8_3+updating_2_4+updating_17_4+updating_6_19+updating_16_2+updating_3_17+updating_5_19+updating_4_15+updating_13_10+updating_10_18+updating_15_9+updating_17_6+updating_8_2+updating_7_5+updating_18_1+updating_7_7+updating_13_4+updating_8_6+updating_1_2+updating_4_3+updating_19_3+updating_4_20+updating_7_15+updating_1_11+updating_10_5+updating_2_8+updating_15_11+updating_7_1+updating_4_14+updating_18_15+updating_1_6+updating_13_16+updating_7_8+updating_3_20+updating_6_20+updating_12_15+updating_16_13+updating_16_16+updating_14_9+updating_1_18+updating_15_17+updating_16_4+updating_18_18+updating_11_3+updating_2_11+updating_2_13+updating_15_2+updating_17_7+updating_5_3+updating_15_15+updating_13_14+updating_14_1+updating_19_6+updating_3_10+updating_16_19+updating_13_9+updating_11_12+updating_20_8+updating_19_4+updating_5_9+updating_17_18+updating_6_9+updating_14_15+updating_20_1+updating_13_19+updating_2_12+updating_11_13+updating_10_14+updating_10_6+updating_8_18+updating_19_14+updating_9_11+updating_16_11+updating_5_7+updating_9_17+updating_5_4+updating_3_6+updating_18_12+updating_14_10+updating_1_10+updating_6_1+updating_1_1+updating_10_4+updating_19_7+updating_2_3+updating_8_19+updating_1_17+updating_1_16+updating_3_12+updating_16_7+updating_8_10+updating_5_14+updating_13_5+updating_19_18+updating_16_17+updating_3_3+updating_14_2+updating_2_17+updating_12_14+updating_18_5+updating_3_13+updating_7_10+updating_10_13+updating_8_11+updating_5_1+updating_2_7+updating_16_3+updating_5_13+updating_16_20+updating_14_11+updating_11_7+updating_8_16+updating_4_9+updating_9_18+updating_2_20+updating_10_8+updating_13_15+updating_17_11+updating_7_20+updating_16_18+updating_12_1+updating_9_2+updating_15_10+updating_14_16+updating_4_5+updating_11_4+updating_1_20+updating_18_14
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-04 with value :MesBuffReply_6_19+MesBuffReply_14_19+MesBuffReply_9_8+MesBuffReply_5_12+MesBuffReply_1_7+MesBuffReply_15_7+MesBuffReply_14_4+MesBuffReply_14_8+MesBuffReply_11_5+MesBuffReply_9_20+MesBuffReply_15_2+MesBuffReply_1_19+MesBuffReply_17_11+MesBuffReply_17_17+MesBuffReply_20_19+MesBuffReply_7_13+MesBuffReply_10_11+MesBuffReply_10_13+MesBuffReply_3_17+MesBuffReply_20_13+MesBuffReply_3_9+MesBuffReply_15_19+MesBuffReply_15_15+MesBuffReply_3_4+MesBuffReply_16_12+MesBuffReply_8_9+MesBuffReply_12_18+MesBuffReply_19_2+MesBuffReply_14_14+MesBuffReply_1_14+MesBuffReply_7_1+MesBuffReply_17_4+MesBuffReply_8_2+MesBuffReply_13_14+MesBuffReply_9_11+MesBuffReply_19_16+MesBuffReply_17_10+MesBuffReply_7_6+MesBuffReply_8_20+MesBuffReply_7_4+MesBuffReply_5_7+MesBuffReply_12_15+MesBuffReply_2_10+MesBuffReply_6_3+MesBuffReply_6_11+MesBuffReply_5_5+MesBuffReply_12_6+MesBuffReply_12_5+MesBuffReply_18_5+MesBuffReply_4_4+MesBuffReply_10_12+MesBuffReply_20_18+MesBuffReply_4_14+MesBuffReply_1_16+MesBuffReply_18_9+MesBuffReply_4_18+MesBuffReply_14_20+MesBuffReply_17_1+MesBuffReply_2_13+MesBuffReply_11_15+MesBuffReply_18_2+MesBuffReply_8_1+MesBuffReply_15_4+MesBuffReply_10_1+MesBuffReply_11_9+MesBuffReply_7_3+MesBuffReply_7_19+MesBuffReply_2_15+MesBuffReply_3_8+MesBuffReply_6_4+MesBuffReply_13_18+MesBuffReply_1_20+MesBuffReply_2_12+MesBuffReply_17_3+MesBuffReply_16_2+MesBuffReply_13_12+MesBuffReply_10_8+MesBuffReply_14_13+MesBuffReply_17_12+MesBuffReply_12_10+MesBuffReply_18_16+MesBuffReply_4_6+MesBuffReply_16_3+MesBuffReply_13_8+MesBuffReply_9_1+MesBuffReply_3_14+MesBuffReply_7_18+MesBuffReply_12_7+MesBuffReply_8_19+MesBuffReply_18_17+MesBuffReply_9_10+MesBuffReply_20_10+MesBuffReply_12_12+MesBuffReply_20_15+MesBuffReply_18_1+MesBuffReply_13_5+MesBuffReply_19_18+MesBuffReply_7_11+MesBuffReply_8_10+MesBuffReply_7_12+MesBuffReply_17_5+MesBuffReply_10_16+MesBuffReply_17_19+MesBuffReply_7_2+MesBuffReply_5_4+MesBuffReply_12_14+MesBuffReply_20_8+MesBuffReply_6_18+MesBuffReply_18_11+MesBuffReply_11_16+MesBuffReply_12_13+MesBuffReply_8_17+MesBuffReply_10_18+MesBuffReply_10_9+MesBuffReply_18_3+MesBuffReply_1_9+MesBuffReply_9_17+MesBuffReply_18_19+MesBuffReply_9_19+MesBuffReply_4_3+MesBuffReply_8_11+MesBuffReply_16_5+MesBuffReply_7_20+MesBuffReply_13_7+MesBuffReply_2_8+MesBuffReply_4_5+MesBuffReply_4_7+MesBuffReply_11_3+MesBuffReply_15_13+MesBuffReply_15_11+MesBuffReply_15_6+MesBuffReply_17_2+MesBuffReply_14_6+MesBuffReply_3_15+MesBuffReply_1_10+MesBuffReply_8_13+MesBuffReply_15_12+MesBuffReply_2_14+MesBuffReply_1_1+MesBuffReply_19_17+MesBuffReply_5_6+MesBuffReply_19_10+MesBuffReply_5_13+MesBuffReply_10_15+MesBuffReply_3_13+MesBuffReply_12_8+MesBuffReply_10_10+MesBuffReply_16_19+MesBuffReply_1_17+MesBuffReply_9_2+MesBuffReply_9_6+MesBuffReply_18_18+MesBuffReply_15_17+MesBuffReply_2_6+MesBuffReply_6_20+MesBuffReply_19_19+MesBuffReply_10_14+MesBuffReply_16_20+MesBuffReply_9_18+MesBuffReply_3_7+MesBuffReply_6_17+MesBuffReply_15_1+MesBuffReply_15_5+MesBuffReply_20_17+MesBuffReply_14_10+MesBuffReply_20_9+MesBuffReply_7_10+MesBuffReply_1_11+MesBuffReply_13_15+MesBuffReply_5_3+MesBuffReply_11_18+MesBuffReply_7_16+MesBuffReply_12_16+MesBuffReply_19_3+MesBuffReply_4_12+MesBuffReply_16_11+MesBuffReply_17_7+MesBuffReply_12_9+MesBuffReply_5_9+MesBuffReply_4_8+MesBuffReply_11_8+MesBuffReply_10_7+MesBuffReply_16_13+MesBuffReply_5_14+MesBuffReply_11_13+MesBuffReply_14_12+MesBuffReply_3_6+MesBuffReply_8_14+MesBuffReply_4_15+MesBuffReply_19_14+MesBuffReply_4_20+MesBuffReply_12_4+MesBuffReply_6_5+MesBuffReply_13_4+MesBuffReply_16_6+MesBuffReply_18_20+MesBuffReply_7_5+MesBuffReply_2_1+MesBuffReply_10_2+MesBuffReply_18_15+MesBuffReply_16_1+MesBuffReply_1_18+MesBuffReply_7_17+MesBuffReply_20_12+MesBuffReply_2_11+MesBuffReply_12_2+MesBuffReply_17_13+MesBuffReply_20_16+MesBuffReply_9_12+MesBuffReply_14_1+MesBuffReply_5_8+MesBuffReply_6_16+MesBuffReply_8_5+MesBuffReply_8_18+MesBuffReply_1_2+MesBuffReply_14_17+MesBuffReply_14_9+MesBuffReply_19_15+MesBuffReply_18_8+MesBuffReply_16_7+MesBuffReply_13_10+MesBuffReply_5_15+MesBuffReply_14_5+MesBuffReply_13_16+MesBuffReply_19_9+MesBuffReply_2_7+MesBuffReply_8_6+MesBuffReply_14_11+MesBuffReply_11_14+MesBuffReply_1_5+MesBuffReply_11_2+MesBuffReply_11_4+MesBuffReply_4_2+MesBuffReply_18_14+MesBuffReply_19_20+MesBuffReply_4_17+MesBuffReply_20_3+MesBuffReply_11_6+MesBuffReply_13_9+MesBuffReply_7_15+MesBuffReply_10_19+MesBuffReply_5_20+MesBuffReply_19_8+MesBuffReply_13_3+MesBuffReply_17_18+MesBuffReply_18_4+MesBuffReply_6_13+MesBuffReply_11_19+MesBuffReply_18_6+MesBuffReply_3_1+MesBuffReply_11_7+MesBuffReply_17_6+MesBuffReply_1_12+MesBuffReply_16_10+MesBuffReply_15_9+MesBuffReply_1_4+MesBuffReply_9_14+MesBuffReply_17_14+MesBuffReply_6_12+MesBuffReply_5_10+MesBuffReply_9_5+MesBuffReply_3_3+MesBuffReply_13_11+MesBuffReply_2_2+MesBuffReply_10_3+MesBuffReply_1_13+MesBuffReply_12_3+MesBuffReply_16_15+MesBuffReply_3_19+MesBuffReply_4_9+MesBuffReply_17_8+MesBuffReply_3_11+MesBuffReply_13_1+MesBuffReply_16_18+MesBuffReply_6_15+MesBuffReply_9_13+MesBuffReply_19_4+MesBuffReply_4_1+MesBuffReply_14_16+MesBuffReply_11_20+MesBuffReply_14_18+MesBuffReply_19_7+MesBuffReply_7_9+MesBuffReply_13_17+MesBuffReply_20_4+MesBuffReply_2_20+MesBuffReply_17_15+MesBuffReply_5_16+MesBuffReply_2_3+MesBuffReply_10_6+MesBuffReply_15_20+MesBuffReply_6_8+MesBuffReply_5_1+MesBuffReply_4_19+MesBuffReply_10_4+MesBuffReply_13_19+MesBuffReply_3_18+MesBuffReply_2_18+MesBuffReply_4_10+MesBuffReply_8_12+MesBuffReply_12_1+MesBuffReply_19_13+MesBuffReply_19_1+MesBuffReply_10_20+MesBuffReply_16_8+MesBuffReply_6_14+MesBuffReply_7_8+MesBuffReply_20_5+MesBuffReply_3_2+MesBuffReply_15_16+MesBuffReply_8_7+MesBuffReply_15_18+MesBuffReply_1_6+MesBuffReply_6_2+MesBuffReply_6_10+MesBuffReply_3_12+MesBuffReply_18_12+MesBuffReply_15_10+MesBuffReply_15_14+MesBuffReply_13_2+MesBuffReply_9_15+MesBuffReply_19_6+MesBuffReply_16_4+MesBuffReply_12_11+MesBuffReply_16_14+MesBuffReply_8_3+MesBuffReply_5_17+MesBuffReply_8_16+MesBuffReply_17_16+MesBuffReply_4_16+MesBuffReply_6_9+MesBuffReply_12_17+MesBuffReply_15_3+MesBuffReply_16_9+MesBuffReply_1_3+MesBuffReply_18_7+MesBuffReply_9_7+MesBuffReply_9_4+MesBuffReply_20_14+MesBuffReply_4_11+MesBuffReply_3_20+MesBuffReply_12_20+MesBuffReply_2_4+MesBuffReply_2_19+MesBuffReply_3_16+MesBuffReply_19_11+MesBuffReply_14_15+MesBuffReply_10_5+MesBuffReply_14_2+MesBuffReply_19_5+MesBuffReply_14_3+MesBuffReply_3_5+MesBuffReply_16_17+MesBuffReply_7_14+MesBuffReply_19_12+MesBuffReply_3_10+MesBuffReply_6_6+MesBuffReply_11_12+MesBuffReply_20_20+MesBuffReply_13_13+MesBuffReply_20_11+MesBuffReply_13_20+MesBuffReply_14_7+MesBuffReply_8_8+MesBuffReply_11_17+MesBuffReply_5_18+MesBuffReply_7_7+MesBuffReply_12_19+MesBuffReply_2_5+MesBuffReply_9_9+MesBuffReply_5_19+MesBuffReply_2_9+MesBuffReply_6_1+MesBuffReply_18_13+MesBuffReply_4_13+MesBuffReply_1_8+MesBuffReply_15_8+MesBuffReply_2_17+MesBuffReply_10_17+MesBuffReply_20_6+MesBuffReply_20_7+MesBuffReply_8_4+MesBuffReply_16_16+MesBuffReply_11_1+MesBuffReply_13_6+MesBuffReply_9_3+MesBuffReply_11_11+MesBuffReply_20_1+MesBuffReply_5_11+MesBuffReply_6_7+MesBuffReply_5_2+MesBuffReply_11_10+MesBuffReply_17_20+MesBuffReply_18_10+MesBuffReply_9_16+MesBuffReply_20_2+MesBuffReply_8_15+MesBuffReply_17_9+MesBuffReply_1_15+MesBuffReply_2_16
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-05 with value :Mutex_14+Mutex_17+Mutex_6+Mutex_7+Mutex_16+Mutex_19+Mutex_11+Mutex_10+Mutex_4+Mutex_5+Mutex_18+Mutex_13+Mutex_2+Mutex_15+Mutex_12+Mutex_20+Mutex_1+Mutex_3+Mutex_9+Mutex_8
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-06 with value :Mutex_14+Mutex_17+Mutex_6+Mutex_7+Mutex_16+Mutex_19+Mutex_11+Mutex_10+Mutex_4+Mutex_5+Mutex_18+Mutex_13+Mutex_2+Mutex_15+Mutex_12+Mutex_20+Mutex_1+Mutex_3+Mutex_9+Mutex_8
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-07 with value :all_active_20+all_active_11+all_active_2+all_active_5+all_active_12+all_active_19+all_active_4+all_active_13+all_active_18+all_active_6+all_active_7+all_active_9+all_active_15+all_active_8+all_active_16+all_active_17+all_active_14+all_active_10+all_active_1+all_active_3
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-08 with value :MesBuffReply_1_12
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-09 with value :all_passive_16
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-10 with value :Message_14_11
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-11 with value :MesBuffReply_17_20
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-12 with value :Active_7_17
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-13 with value :MesBuffReply_6_2
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-14 with value :Modify_3_16
Read [bounds] property : DatabaseWithMutex-PT-20-UpperBounds-15 with value :all_active_3
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination UpperBounds -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DatabaseWithMutex-PT-20"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is DatabaseWithMutex-PT-20, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r074-tall-162039095200093"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-20.tgz
mv DatabaseWithMutex-PT-20 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;