About the Execution of ITS-Tools for DatabaseWithMutex-COL-04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15741.690 | 146428.00 | 275314.00 | 164.90 | T????????F?F?F?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2020-input.r066-tajo-158922814000234.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DatabaseWithMutex-COL-04, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-tajo-158922814000234
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.3K Mar 31 05:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 31 05:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 20:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 29 20:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 28 13:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 06:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 06:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 21K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DatabaseWithMutex-COL-04-00
FORMULA_NAME DatabaseWithMutex-COL-04-01
FORMULA_NAME DatabaseWithMutex-COL-04-02
FORMULA_NAME DatabaseWithMutex-COL-04-03
FORMULA_NAME DatabaseWithMutex-COL-04-04
FORMULA_NAME DatabaseWithMutex-COL-04-05
FORMULA_NAME DatabaseWithMutex-COL-04-06
FORMULA_NAME DatabaseWithMutex-COL-04-07
FORMULA_NAME DatabaseWithMutex-COL-04-08
FORMULA_NAME DatabaseWithMutex-COL-04-09
FORMULA_NAME DatabaseWithMutex-COL-04-10
FORMULA_NAME DatabaseWithMutex-COL-04-11
FORMULA_NAME DatabaseWithMutex-COL-04-12
FORMULA_NAME DatabaseWithMutex-COL-04-13
FORMULA_NAME DatabaseWithMutex-COL-04-14
FORMULA_NAME DatabaseWithMutex-COL-04-15
=== Now, execution of the tool begins
BK_START 1590105133663
[2020-05-21 23:52:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -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]
[2020-05-21 23:52:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-21 23:52:16] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2020-05-21 23:52:16] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 577 ms
[2020-05-21 23:52:16] [INFO ] sort/places :
site->all_active,all_passive,
file->Mutex,
SF->RecBuff,Active,Message,Modify,MesBuffReply,Acknowledge,updating,WaitMutex,
[2020-05-21 23:52:17] [WARNING] Unknown color function,Subtract skipping symmetry detection on parameters for transition Release
[2020-05-21 23:52:17] [INFO ] Imported 11 HL places and 8 HL transitions for a total of 140 PT places and 128.0 transition bindings in 37 ms.
[2020-05-21 23:52:17] [INFO ] Computed order based on color domains.
[2020-05-21 23:52:17] [INFO ] Unfolded HLPN to a Petri net with 140 places and 128 transitions in 109 ms.
[2020-05-21 23:52:17] [INFO ] Unfolded HLPN properties in 5 ms.
[2020-05-21 23:52:17] [INFO ] Reduced 12 identical enabling conditions.
[2020-05-21 23:52:17] [INFO ] Reduced 12 identical enabling conditions.
[2020-05-21 23:52:17] [INFO ] Reduced 12 identical enabling conditions.
[2020-05-21 23:52:17] [INFO ] Reduced 12 identical enabling conditions.
[2020-05-21 23:52:17] [INFO ] Reduced 12 identical enabling conditions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 191 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 568 steps, including 0 resets, run visited all 113 properties in 11 ms. (steps per millisecond=51 )
[2020-05-21 23:52:17] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-05-21 23:52:17] [INFO ] Flatten gal took : 60 ms
FORMULA DatabaseWithMutex-COL-04-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DatabaseWithMutex-COL-04-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DatabaseWithMutex-COL-04-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-05-21 23:52:17] [INFO ] Flatten gal took : 20 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2020-05-21 23:52:17] [INFO ] Applying decomposition
[2020-05-21 23:52:17] [INFO ] Flatten gal took : 46 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph14716994726836669092.txt, -o, /tmp/graph14716994726836669092.bin, -w, /tmp/graph14716994726836669092.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/louvain-linux64, /tmp/graph14716994726836669092.bin, -l, -1, -v, -w, /tmp/graph14716994726836669092.weights, -q, 0, -e, 0.001], workingDir=null]
[2020-05-21 23:52:17] [INFO ] Decomposing Gal with order
[2020-05-21 23:52:17] [INFO ] Input system was already deterministic with 128 transitions.
[2020-05-21 23:52:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-21 23:52:17] [INFO ] Removed a total of 75 redundant transitions.
[2020-05-21 23:52:18] [INFO ] Flatten gal took : 167 ms
[2020-05-21 23:52:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 3 ms.
[2020-05-21 23:52:18] [INFO ] Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 4 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 128 rows 140 cols
[2020-05-21 23:52:18] [INFO ] Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 10 ms
[2020-05-21 23:52:18] [INFO ] Computed 28 place invariants in 8 ms
inv : RecBuff_6 - RecBuff_14 + Active_6 - Active_14 + Message_6 - Message_14 + MesBuffReply_6 - MesBuffReply_14 + Acknowledge_6 - Acknowledge_14 + updating_6 - updating_14 = 0
inv : RecBuff_4 + RecBuff_5 + RecBuff_6 + RecBuff_7 + all_active_0 + all_active_2 + all_active_3 + Message_4 + Message_5 + Message_6 + Message_7 + Modify_0 + Modify_1 + Modify_2 + Modify_3 + Modify_8 + Modify_9 + Modify_10 + Modify_11 + Modify_12 + Modify_13 + Modify_14 + Modify_15 + MesBuffReply_4 + MesBuffReply_5 + MesBuffReply_6 + MesBuffReply_7 + Acknowledge_4 + Acknowledge_5 + Acknowledge_6 + Acknowledge_7 + updating_4 + updating_5 + updating_6 + updating_7 + WaitMutex_0 + WaitMutex_1 + WaitMutex_2 + WaitMutex_3 + WaitMutex_8 + WaitMutex_9 + WaitMutex_10 + WaitMutex_11 + WaitMutex_12 + WaitMutex_13 + WaitMutex_14 + WaitMutex_15 = 3
inv : -RecBuff_7 + Active_3 + Active_11 + Active_15 - Message_7 - MesBuffReply_7 - Acknowledge_7 - updating_7 = 0
inv : all_active_2 + Active_8 + Active_9 + Active_10 + Active_11 + Modify_8 + Modify_9 + Modify_10 + Modify_11 + WaitMutex_8 + WaitMutex_9 + WaitMutex_10 + WaitMutex_11 = 1
inv : RecBuff_11 - RecBuff_15 + Active_11 - Active_15 + Message_11 - Message_15 + MesBuffReply_11 - MesBuffReply_15 + Acknowledge_11 - Acknowledge_15 + updating_11 - updating_15 = 0
inv : -RecBuff_5 - RecBuff_6 - RecBuff_7 + RecBuff_13 + RecBuff_14 + RecBuff_15 + all_active_1 + Active_4 + Active_13 + Active_14 + Active_15 - Message_5 - Message_6 - Message_7 + Message_13 + Message_14 + Message_15 + Modify_4 + Modify_5 + Modify_6 + Modify_7 - MesBuffReply_5 - MesBuffReply_6 - MesBuffReply_7 + MesBuffReply_13 + MesBuffReply_14 + MesBuffReply_15 - Acknowledge_5 - Acknowledge_6 - Acknowledge_7 + Acknowledge_13 + Acknowledge_14 + Acknowledge_15 - updating_5 - updating_6 - updating_7 + updating_13 + updating_14 + updating_15 + WaitMutex_4 + WaitMutex_5 + WaitMutex_6 + WaitMutex_7 = 1
inv : RecBuff_12 + RecBuff_13 + RecBuff_14 + RecBuff_15 + all_active_0 + all_active_1 + all_active_2 + Message_12 + Message_13 + Message_14 + Message_15 + Modify_0 + Modify_1 + Modify_2 + Modify_3 + Modify_4 + Modify_5 + Modify_6 + Modify_7 + Modify_8 + Modify_9 + Modify_10 + Modify_11 + MesBuffReply_12 + MesBuffReply_13 + MesBuffReply_14 + MesBuffReply_15 + Acknowledge_12 + Acknowledge_13 + Acknowledge_14 + Acknowledge_15 + updating_12 + updating_13 + updating_14 + updating_15 + WaitMutex_0 + WaitMutex_1 + WaitMutex_2 + WaitMutex_3 + WaitMutex_4 + WaitMutex_5 + WaitMutex_6 + WaitMutex_7 + WaitMutex_8 + WaitMutex_9 + WaitMutex_10 + WaitMutex_11 = 3
inv : -RecBuff_5 + Active_1 + Active_9 + Active_13 - Message_5 - MesBuffReply_5 - Acknowledge_5 - updating_5 = 0
inv : all_passive_3 + updating_12 + updating_13 + updating_14 + updating_15 = 1
inv : -RecBuff_6 + Active_2 + Active_10 + Active_14 - Message_6 - MesBuffReply_6 - Acknowledge_6 - updating_6 = 0
inv : RecBuff_13 + Active_13 + Mutex_1 + Message_13 + Modify_1 + Modify_5 + Modify_9 + Modify_13 + MesBuffReply_13 + Acknowledge_13 + updating_13 = 1
inv : RecBuff_1 + RecBuff_5 - RecBuff_13 - Active_9 - 2*Active_13 + Message_1 + Message_5 - Message_13 + MesBuffReply_1 + MesBuffReply_5 - MesBuffReply_13 + Acknowledge_1 + Acknowledge_5 - Acknowledge_13 + updating_1 + updating_5 - updating_13 = 0
inv : all_passive_0 + updating_0 + updating_1 + updating_2 + updating_3 = 1
inv : RecBuff_3 + RecBuff_7 - RecBuff_15 - Active_11 - 2*Active_15 + Message_3 + Message_7 - Message_15 + MesBuffReply_3 + MesBuffReply_7 - MesBuffReply_15 + Acknowledge_3 + Acknowledge_7 - Acknowledge_15 + updating_3 + updating_7 - updating_15 = 0
inv : all_active_3 + Active_12 + Active_13 + Active_14 + Active_15 + Modify_12 + Modify_13 + Modify_14 + Modify_15 + WaitMutex_12 + WaitMutex_13 + WaitMutex_14 + WaitMutex_15 = 1
inv : RecBuff_2 + RecBuff_6 - RecBuff_14 - Active_10 - 2*Active_14 + Message_2 + Message_6 - Message_14 + MesBuffReply_2 + MesBuffReply_6 - MesBuffReply_14 + Acknowledge_2 + Acknowledge_6 - Acknowledge_14 + updating_2 + updating_6 - updating_14 = 0
inv : RecBuff_10 - RecBuff_14 + Active_10 - Active_14 + Message_10 - Message_14 + MesBuffReply_10 - MesBuffReply_14 + Acknowledge_10 - Acknowledge_14 + updating_10 - updating_14 = 0
inv : RecBuff_8 + RecBuff_13 + RecBuff_14 + RecBuff_15 + all_active_0 + all_active_1 + all_active_3 - Active_9 - Active_10 - Active_11 + Active_13 + Active_14 + Active_15 + Message_8 + Message_13 + Message_14 + Message_15 + Modify_0 + Modify_1 + Modify_2 + Modify_3 + Modify_4 + Modify_5 + Modify_6 + Modify_7 + Modify_12 + Modify_13 + Modify_14 + Modify_15 + MesBuffReply_8 + MesBuffReply_13 + MesBuffReply_14 + MesBuffReply_15 + Acknowledge_8 + Acknowledge_13 + Acknowledge_14 + Acknowledge_15 + updating_8 + updating_13 + updating_14 + updating_15 + WaitMutex_0 + WaitMutex_1 + WaitMutex_2 + WaitMutex_3 + WaitMutex_4 + WaitMutex_5 + WaitMutex_6 + WaitMutex_7 + WaitMutex_12 + WaitMutex_13 + WaitMutex_14 + WaitMutex_15 = 3
inv : RecBuff_7 - RecBuff_15 + Active_7 - Active_15 + Message_7 - Message_15 + MesBuffReply_7 - MesBuffReply_15 + Acknowledge_7 - Acknowledge_15 + updating_7 - updating_15 = 0
inv : -RecBuff_13 - RecBuff_14 - RecBuff_15 - all_active_0 - all_active_1 - all_active_2 - all_active_3 - Active_13 - Active_14 - Active_15 + Mutex_0 - Message_13 - Message_14 - Message_15 - Modify_1 - Modify_2 - Modify_3 - Modify_5 - Modify_6 - Modify_7 - Modify_9 - Modify_10 - Modify_11 - Modify_13 - Modify_14 - Modify_15 - MesBuffReply_13 - MesBuffReply_14 - MesBuffReply_15 - Acknowledge_13 - Acknowledge_14 - Acknowledge_15 - updating_13 - updating_14 - updating_15 - WaitMutex_0 - WaitMutex_1 - WaitMutex_2 - WaitMutex_3 - WaitMutex_4 - WaitMutex_5 - WaitMutex_6 - WaitMutex_7 - WaitMutex_8 - WaitMutex_9 - WaitMutex_10 - WaitMutex_11 - WaitMutex_12 - WaitMutex_13 - WaitMutex_14 - WaitMutex_15 = -3
inv : RecBuff_5 - RecBuff_13 + Active_5 - Active_13 + Message_5 - Message_13 + MesBuffReply_5 - MesBuffReply_13 + Acknowledge_5 - Acknowledge_13 + updating_5 - updating_13 = 0
inv : RecBuff_14 + Active_14 + Mutex_2 + Message_14 + Modify_2 + Modify_6 + Modify_10 + Modify_14 + MesBuffReply_14 + Acknowledge_14 + updating_14 = 1
inv : all_passive_2 + updating_8 + updating_9 + updating_10 + updating_11 = 1
inv : all_passive_1 + updating_4 + updating_5 + updating_6 + updating_7 = 1
inv : RecBuff_15 + Active_15 + Mutex_3 + Message_15 + Modify_3 + Modify_7 + Modify_11 + Modify_15 + MesBuffReply_15 + Acknowledge_15 + updating_15 = 1
inv : RecBuff_5 + RecBuff_6 + RecBuff_7 + all_active_0 + Active_0 - Active_9 - Active_10 - Active_11 - Active_13 - Active_14 - Active_15 + Message_5 + Message_6 + Message_7 + Modify_0 + Modify_1 + Modify_2 + Modify_3 + MesBuffReply_5 + MesBuffReply_6 + MesBuffReply_7 + Acknowledge_5 + Acknowledge_6 + Acknowledge_7 + updating_5 + updating_6 + updating_7 + WaitMutex_0 + WaitMutex_1 + WaitMutex_2 + WaitMutex_3 = 1
inv : RecBuff_9 - RecBuff_13 + Active_9 - Active_13 + Message_9 - Message_13 + MesBuffReply_9 - MesBuffReply_13 + Acknowledge_9 - Acknowledge_13 + updating_9 - updating_13 = 0
inv : RecBuff_0 - RecBuff_5 - RecBuff_6 - RecBuff_7 + RecBuff_13 + RecBuff_14 + RecBuff_15 + all_active_1 + all_active_2 + all_active_3 + Active_9 + Active_10 + Active_11 + 2*Active_13 + 2*Active_14 + 2*Active_15 + Message_0 - Message_5 - Message_6 - Message_7 + Message_13 + Message_14 + Message_15 + Modify_4 + Modify_5 + Modify_6 + Modify_7 + Modify_8 + Modify_9 + Modify_10 + Modify_11 + Modify_12 + Modify_13 + Modify_14 + Modify_15 + MesBuffReply_0 - MesBuffReply_5 - MesBuffReply_6 - MesBuffReply_7 + MesBuffReply_13 + MesBuffReply_14 + MesBuffReply_15 + Acknowledge_0 - Acknowledge_5 - Acknowledge_6 - Acknowledge_7 + Acknowledge_13 + Acknowledge_14 + Acknowledge_15 + updating_0 - updating_5 - updating_6 - updating_7 + updating_13 + updating_14 + updating_15 + WaitMutex_4 + WaitMutex_5 + WaitMutex_6 + WaitMutex_7 + WaitMutex_8 + WaitMutex_9 + WaitMutex_10 + WaitMutex_11 + WaitMutex_12 + WaitMutex_13 + WaitMutex_14 + WaitMutex_15 = 3
Total of 28 invariants.
[2020-05-21 23:52:18] [INFO ] Computed 28 place invariants in 10 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-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 13 LTL properties
Checking formula 0 : !(((("((((((((((((((((i6.u37.updating_2>=1)||(i6.u37.updating_3>=1))||(i6.u37.updating_0>=1))||(i6.u37.updating_1>=1))||(i7.u38.updating_6>=1))||(i7.u38.updating_7>=1))||(i7.u38.updating_4>=1))||(i7.u38.updating_5>=1))||(i8.u39.updating_10>=1))||(i8.u39.updating_11>=1))||(i8.u39.updating_8>=1))||(i8.u39.updating_9>=1))||(i9.u40.updating_14>=1))||(i9.u40.updating_15>=1))||(i9.u40.updating_12>=1))||(i9.u40.updating_13>=1))")U((((((((((((((((((F("((((((((((((((((i6.u37.updating_2>=1)||(i6.u37.updating_3>=1))||(i6.u37.updating_0>=1))||(i6.u37.updating_1>=1))||(i7.u38.updating_6>=1))||(i7.u38.updating_7>=1))||(i7.u38.updating_4>=1))||(i7.u38.updating_5>=1))||(i8.u39.updating_10>=1))||(i8.u39.updating_11>=1))||(i8.u39.updating_8>=1))||(i8.u39.updating_9>=1))||(i9.u40.updating_14>=1))||(i9.u40.updating_15>=1))||(i9.u40.updating_12>=1))||(i9.u40.updating_13>=1))"))U("((((((((((((((((i3.u9.Modify_9>=1)||(u42.Modify_8>=1))||(i5.u11.Modify_11>=1))||(i4.u10.Modify_10>=1))||(i3.u9.Modify_13>=1))||(i0.u8.Modify_12>=1))||(i5.u11.Modify_15>=1))||(i4.u10.Modify_14>=1))||(i3.u9.Modify_1>=1))||(i0.u8.Modify_0>=1))||(i5.u11.Modify_3>=1))||(i4.u10.Modify_2>=1))||(i3.u9.Modify_5>=1))||(i0.u8.Modify_4>=1))||(i5.u11.Modify_7>=1))||(i4.u10.Modify_6>=1))"))||("(i6.u37.updating_2>=1)"))||("(i6.u37.updating_3>=1)"))||("(i6.u37.updating_0>=1)"))||("(i6.u37.updating_1>=1)"))||("(i7.u38.updating_6>=1)"))||("(i7.u38.updating_7>=1)"))||("(i7.u38.updating_4>=1)"))||("(i7.u38.updating_5>=1)"))||("(i8.u39.updating_10>=1)"))||("(i8.u39.updating_11>=1)"))||("(i8.u39.updating_8>=1)"))||("(i8.u39.updating_9>=1)"))||("(i9.u40.updating_14>=1)"))||("(i9.u40.updating_15>=1)"))||("(i9.u40.updating_12>=1)"))||("(i9.u40.updating_13>=1)")))||(!(F(X("(((((((((((((((((i3.u9.Modify_9>=1)||(u42.Modify_8>=1))||(i5.u11.Modify_11>=1))||(i4.u10.Modify_10>=1))||(i3.u9.Modify_13>=1))||(i0.u8.Modify_12>=1))||(i5.u11.Modify_15>=1))||(i4.u10.Modify_14>=1))||(i3.u9.Modify_1>=1))||(i0.u8.Modify_0>=1))||(i5.u11.Modify_3>=1))||(i4.u10.Modify_2>=1))||(i3.u9.Modify_5>=1))||(i0.u8.Modify_4>=1))||(i5.u11.Modify_7>=1))||(i4.u10.Modify_6>=1))&&((((((((((((((((i6.u37.updating_2>=1)||(i6.u37.updating_3>=1))||(i6.u37.updating_0>=1))||(i6.u37.updating_1>=1))||(i7.u38.updating_6>=1))||(i7.u38.updating_7>=1))||(i7.u38.updating_4>=1))||(i7.u38.updating_5>=1))||(i8.u39.updating_10>=1))||(i8.u39.updating_11>=1))||(i8.u39.updating_8>=1))||(i8.u39.updating_9>=1))||(i9.u40.updating_14>=1))||(i9.u40.updating_15>=1))||(i9.u40.updating_12>=1))||(i9.u40.updating_13>=1)))"))))))
Formula 0 simplified : !(("((((((((((((((((i6.u37.updating_2>=1)||(i6.u37.updating_3>=1))||(i6.u37.updating_0>=1))||(i6.u37.updating_1>=1))||(i7.u38.updating_6>=1))||(i7.u38.updating_7>=1))||(i7.u38.updating_4>=1))||(i7.u38.updating_5>=1))||(i8.u39.updating_10>=1))||(i8.u39.updating_11>=1))||(i8.u39.updating_8>=1))||(i8.u39.updating_9>=1))||(i9.u40.updating_14>=1))||(i9.u40.updating_15>=1))||(i9.u40.updating_12>=1))||(i9.u40.updating_13>=1))" U ("(i6.u37.updating_0>=1)" | "(i6.u37.updating_1>=1)" | "(i6.u37.updating_2>=1)" | "(i6.u37.updating_3>=1)" | "(i7.u38.updating_4>=1)" | "(i7.u38.updating_5>=1)" | "(i7.u38.updating_6>=1)" | "(i7.u38.updating_7>=1)" | "(i8.u39.updating_8>=1)" | "(i8.u39.updating_9>=1)" | "(i8.u39.updating_10>=1)" | "(i8.u39.updating_11>=1)" | "(i9.u40.updating_12>=1)" | "(i9.u40.updating_13>=1)" | "(i9.u40.updating_14>=1)" | "(i9.u40.updating_15>=1)" | (F"((((((((((((((((i6.u37.updating_2>=1)||(i6.u37.updating_3>=1))||(i6.u37.updating_0>=1))||(i6.u37.updating_1>=1))||(i7.u38.updating_6>=1))||(i7.u38.updating_7>=1))||(i7.u38.updating_4>=1))||(i7.u38.updating_5>=1))||(i8.u39.updating_10>=1))||(i8.u39.updating_11>=1))||(i8.u39.updating_8>=1))||(i8.u39.updating_9>=1))||(i9.u40.updating_14>=1))||(i9.u40.updating_15>=1))||(i9.u40.updating_12>=1))||(i9.u40.updating_13>=1))" U "((((((((((((((((i3.u9.Modify_9>=1)||(u42.Modify_8>=1))||(i5.u11.Modify_11>=1))||(i4.u10.Modify_10>=1))||(i3.u9.Modify_13>=1))||(i0.u8.Modify_12>=1))||(i5.u11.Modify_15>=1))||(i4.u10.Modify_14>=1))||(i3.u9.Modify_1>=1))||(i0.u8.Modify_0>=1))||(i5.u11.Modify_3>=1))||(i4.u10.Modify_2>=1))||(i3.u9.Modify_5>=1))||(i0.u8.Modify_4>=1))||(i5.u11.Modify_7>=1))||(i4.u10.Modify_6>=1))"))) | !FX"(((((((((((((((((i3.u9.Modify_9>=1)||(u42.Modify_8>=1))||(i5.u11.Modify_11>=1))||(i4.u10.Modify_10>=1))||(i3.u9.Modify_13>=1))||(i0.u8.Modify_12>=1))||(i5.u11.Modify_15>=1))||(i4.u10.Modify_14>=1))||(i3.u9.Modify_1>=1))||(i0.u8.Modify_0>=1))||(i5.u11.Modify_3>=1))||(i4.u10.Modify_2>=1))||(i3.u9.Modify_5>=1))||(i0.u8.Modify_4>=1))||(i5.u11.Modify_7>=1))||(i4.u10.Modify_6>=1))&&((((((((((((((((i6.u37.updating_2>=1)||(i6.u37.updating_3>=1))||(i6.u37.updating_0>=1))||(i6.u37.updating_1>=1))||(i7.u38.updating_6>=1))||(i7.u38.updating_7>=1))||(i7.u38.updating_4>=1))||(i7.u38.updating_5>=1))||(i8.u39.updating_10>=1))||(i8.u39.updating_11>=1))||(i8.u39.updating_8>=1))||(i8.u39.updating_9>=1))||(i9.u40.updating_14>=1))||(i9.u40.updating_15>=1))||(i9.u40.updating_12>=1))||(i9.u40.updating_13>=1)))")
[2020-05-21 23:52:18] [INFO ] Proved 140 variables to be positive in 304 ms
[2020-05-21 23:52:18] [INFO ] Computing symmetric may disable matrix : 128 transitions.
[2020-05-21 23:52:18] [INFO ] Computation of disable matrix completed :0/128 took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-21 23:52:18] [INFO ] Computation of Complete disable matrix. took 4 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-21 23:52:18] [INFO ] Computing symmetric may enable matrix : 128 transitions.
[2020-05-21 23:52:18] [INFO ] Computation of Complete enable matrix. took 8 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-21 23:52:31] [INFO ] Computing symmetric co enabling matrix : 128 transitions.
[2020-05-21 23:52:31] [INFO ] Computation of co-enabling matrix(0/128) took 355 ms. Total solver calls (SAT/UNSAT): 78(78/0)
[2020-05-21 23:52:34] [INFO ] Computation of co-enabling matrix(3/128) took 3443 ms. Total solver calls (SAT/UNSAT): 270(270/0)
[2020-05-21 23:52:38] [INFO ] Computation of co-enabling matrix(5/128) took 6737 ms. Total solver calls (SAT/UNSAT): 381(381/0)
[2020-05-21 23:52:41] [INFO ] Computation of co-enabling matrix(7/128) took 9803 ms. Total solver calls (SAT/UNSAT): 493(478/15)
[2020-05-21 23:52:46] [INFO ] Computation of co-enabling matrix(13/128) took 14915 ms. Total solver calls (SAT/UNSAT): 819(789/30)
[2020-05-21 23:52:49] [INFO ] Computation of co-enabling matrix(19/128) took 18062 ms. Total solver calls (SAT/UNSAT): 1178(1133/45)
[2020-05-21 23:52:52] [INFO ] Computation of co-enabling matrix(21/128) took 21193 ms. Total solver calls (SAT/UNSAT): 1277(1232/45)
[2020-05-21 23:52:55] [INFO ] Computation of co-enabling matrix(26/128) took 24254 ms. Total solver calls (SAT/UNSAT): 1482(1423/59)
[2020-05-21 23:53:02] [INFO ] Computation of co-enabling matrix(29/128) took 31090 ms. Total solver calls (SAT/UNSAT): 1665(1592/73)
[2020-05-21 23:53:06] [INFO ] Computation of co-enabling matrix(32/128) took 34714 ms. Total solver calls (SAT/UNSAT): 1841(1754/87)
[2020-05-21 23:53:11] [INFO ] Computation of co-enabling matrix(36/128) took 39484 ms. Total solver calls (SAT/UNSAT): 2155(2025/130)
[2020-05-21 23:53:15] [INFO ] Computation of co-enabling matrix(40/128) took 43738 ms. Total solver calls (SAT/UNSAT): 2453(2253/200)
[2020-05-21 23:53:20] [INFO ] Computation of co-enabling matrix(48/128) took 48617 ms. Total solver calls (SAT/UNSAT): 3001(2680/321)
[2020-05-21 23:53:24] [INFO ] Computation of co-enabling matrix(56/128) took 53057 ms. Total solver calls (SAT/UNSAT): 3485(3076/409)
[2020-05-21 23:53:28] [INFO ] Computation of co-enabling matrix(64/128) took 57038 ms. Total solver calls (SAT/UNSAT): 3905(3424/481)
[2020-05-21 23:53:32] [INFO ] Computation of co-enabling matrix(70/128) took 60692 ms. Total solver calls (SAT/UNSAT): 4194(3663/531)
[2020-05-21 23:53:35] [INFO ] Computation of co-enabling matrix(76/128) took 64301 ms. Total solver calls (SAT/UNSAT): 4461(3857/604)
[2020-05-21 23:53:39] [INFO ] Computation of co-enabling matrix(85/128) took 67756 ms. Total solver calls (SAT/UNSAT): 4714(4051/663)
[2020-05-21 23:53:42] [INFO ] Computation of co-enabling matrix(103/128) took 71043 ms. Total solver calls (SAT/UNSAT): 5010(4287/723)
[2020-05-21 23:53:45] [INFO ] Computation of Finished co-enabling matrix. took 73976 ms. Total solver calls (SAT/UNSAT): 5208(4481/727)
[2020-05-21 23:53:45] [INFO ] Computing Do-Not-Accords matrix : 128 transitions.
[2020-05-21 23:53:45] [INFO ] Computation of Completed DNA matrix. took 188 ms. Total solver calls (SAT/UNSAT): 174(0/174)
[2020-05-21 23:53:45] [INFO ] Built C files in 87961ms conformant to PINS in folder :/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Compilation finished in 1952 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 79 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ( ((LTLAP0==true))U(( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( (<>((LTLAP0==true)))U((LTLAP1==true))) || ( (LTLAP2==true)) ) || ( (LTLAP3==true)) ) || ( (LTLAP4==true)) ) || ( (LTLAP5==true)) ) || ( (LTLAP6==true)) ) || ( (LTLAP7==true)) ) || ( (LTLAP8==true)) ) || ( (LTLAP9==true)) ) || ( (LTLAP10==true)) ) || ( (LTLAP11==true)) ) || ( (LTLAP12==true)) ) || ( (LTLAP13==true)) ) || ( (LTLAP14==true)) ) || ( (LTLAP15==true)) ) || ( (LTLAP16==true)) ) || ( (LTLAP17==true)) )) || ( !( <>(X((LTLAP18==true)))) ) , --buchi-type=spotba], workingDir=/home/mcc/execution]
/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc: error while loading shared libraries: libltdl.so.7: cannot open shared object file: No such file or directory
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ( ((LTLAP0==true))U(( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( (<>((LTLAP0==true)))U((LTLAP1==true))) || ( (LTLAP2==true)) ) || ( (LTLAP3==true)) ) || ( (LTLAP4==true)) ) || ( (LTLAP5==true)) ) || ( (LTLAP6==true)) ) || ( (LTLAP7==true)) ) || ( (LTLAP8==true)) ) || ( (LTLAP9==true)) ) || ( (LTLAP10==true)) ) || ( (LTLAP11==true)) ) || ( (LTLAP12==true)) ) || ( (LTLAP13==true)) ) || ( (LTLAP14==true)) ) || ( (LTLAP15==true)) ) || ( (LTLAP16==true)) ) || ( (LTLAP17==true)) )) || ( !( <>(X((LTLAP18==true)))) ) , --buchi-type=spotba], workingDir=/home/mcc/execution]
127
java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, ( ((LTLAP0==true))U(( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( (<>((LTLAP0==true)))U((LTLAP1==true))) || ( (LTLAP2==true)) ) || ( (LTLAP3==true)) ) || ( (LTLAP4==true)) ) || ( (LTLAP5==true)) ) || ( (LTLAP6==true)) ) || ( (LTLAP7==true)) ) || ( (LTLAP8==true)) ) || ( (LTLAP9==true)) ) || ( (LTLAP10==true)) ) || ( (LTLAP11==true)) ) || ( (LTLAP12==true)) ) || ( (LTLAP13==true)) ) || ( (LTLAP14==true)) ) || ( (LTLAP15==true)) ) || ( (LTLAP16==true)) ) || ( (LTLAP17==true)) )) || ( !( <>(X((LTLAP18==true)))) ) , --buchi-type=spotba], workingDir=/home/mcc/execution]
127
at fr.lip6.move.gal.application.LTSminRunner.checkProperty(LTSminRunner.java:170)
at fr.lip6.move.gal.application.LTSminRunner.access$10(LTSminRunner.java:124)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:834)
built 48 ordering constraints for composite.
built 18 ordering constraints for composite.
built 16 ordering constraints for composite.
built 12 ordering constraints for composite.
built 12 ordering constraints for composite.
built 16 ordering constraints for composite.
built 12 ordering constraints for composite.
built 12 ordering constraints for composite.
built 16 ordering constraints for composite.
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
61 unique states visited
0 strongly connected components in search stack
64 transitions explored
26 items max in DFS search stack
519 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,110.412,176888,1,0,338711,753,1539,245890,261,3182,534259
no accepting run found
Formula 0 is TRUE no accepting run found.
FORMULA DatabaseWithMutex-COL-04-00 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !((G((X((X("((((((((((((((((i3.u0.Message_1>=1)||(i0.u12.Message_0>=1))||(i5.u14.Message_3>=1))||(i4.u13.Message_2>=1))||(i3.u16.Message_5>=1))||(i0.u15.Message_4>=1))||(i5.u2.Message_7>=1))||(i4.u1.Message_6>=1))||(i3.u4.Message_9>=1))||(i0.u3.Message_8>=1))||(i5.u18.Message_11>=1))||(i4.u17.Message_10>=1))||(i3.u5.Message_13>=1))||(i0.u19.Message_12>=1))||(i5.u6.Message_15>=1))||(i4.u20.Message_14>=1))"))U("((((((((((((((((i3.u0.Message_1>=1)||(i0.u12.Message_0>=1))||(i5.u14.Message_3>=1))||(i4.u13.Message_2>=1))||(i3.u16.Message_5>=1))||(i0.u15.Message_4>=1))||(i5.u2.Message_7>=1))||(i4.u1.Message_6>=1))||(i3.u4.Message_9>=1))||(i0.u3.Message_8>=1))||(i5.u18.Message_11>=1))||(i4.u17.Message_10>=1))||(i3.u5.Message_13>=1))||(i0.u19.Message_12>=1))||(i5.u6.Message_15>=1))||(i4.u20.Message_14>=1))")))U(((((((((((((((((((((((((((((((((G("((((((((((((((((i6.u37.updating_2<1)&&(i6.u37.updating_3<1))&&(i6.u37.updating_0<1))&&(i6.u37.updating_1<1))&&(i7.u38.updating_6<1))&&(i7.u38.updating_7<1))&&(i7.u38.updating_4<1))&&(i7.u38.updating_5<1))&&(i8.u39.updating_10<1))&&(i8.u39.updating_11<1))&&(i8.u39.updating_8<1))&&(i8.u39.updating_9<1))&&(i9.u40.updating_14<1))&&(i9.u40.updating_15<1))&&(i9.u40.updating_12<1))&&(i9.u40.updating_13<1))"))&&("(i6.u37.updating_2<1)"))&&("(i6.u37.updating_3<1)"))&&("(i6.u37.updating_0<1)"))&&("(i6.u37.updating_1<1)"))&&("(i7.u38.updating_6<1)"))&&("(i7.u38.updating_7<1)"))&&("(i7.u38.updating_4<1)"))&&("(i7.u38.updating_5<1)"))&&("(i8.u39.updating_10<1)"))&&("(i8.u39.updating_11<1)"))&&("(i8.u39.updating_8<1)"))&&("(i8.u39.updating_9<1)"))&&("(i9.u40.updating_14<1)"))&&("(i9.u40.updating_15<1)"))&&("(i9.u40.updating_12<1)"))&&("(i9.u40.updating_13<1)"))&&("((i0.u15.RecBuff_4<1)||(i7.u38.all_passive_1<1))"))&&("((i4.u1.RecBuff_6<1)||(i7.u38.all_passive_1<1))"))&&("((i5.u18.RecBuff_11<1)||(i8.u39.all_passive_2<1))"))&&("((i4.u20.RecBuff_14<1)||(i9.u40.all_passive_3<1))"))&&("((i3.u4.RecBuff_9<1)||(i8.u39.all_passive_2<1))"))&&("((i0.u19.RecBuff_12<1)||(i9.u40.all_passive_3<1))"))&&("((i5.u2.RecBuff_7<1)||(i7.u38.all_passive_1<1))"))&&("((i5.u14.RecBuff_3<1)||(i6.u37.all_passive_0<1))"))&&("((i3.u0.RecBuff_1<1)||(i6.u37.all_passive_0<1))"))&&("((i5.u6.RecBuff_15<1)||(i9.u40.all_passive_3<1))"))&&("((i3.u16.RecBuff_5<1)||(i7.u38.all_passive_1<1))"))&&("((i0.u3.RecBuff_8<1)||(i8.u39.all_passive_2<1))"))&&("((i3.u5.RecBuff_13<1)||(i9.u40.all_passive_3<1))"))&&("((i4.u17.RecBuff_10<1)||(i8.u39.all_passive_2<1))"))&&("((i4.u13.RecBuff_2<1)||(i6.u37.all_passive_0<1))"))&&("((i0.u12.RecBuff_0<1)||(i6.u37.all_passive_0<1))")))))
Formula 1 simplified : !G(X(X"((((((((((((((((i3.u0.Message_1>=1)||(i0.u12.Message_0>=1))||(i5.u14.Message_3>=1))||(i4.u13.Message_2>=1))||(i3.u16.Message_5>=1))||(i0.u15.Message_4>=1))||(i5.u2.Message_7>=1))||(i4.u1.Message_6>=1))||(i3.u4.Message_9>=1))||(i0.u3.Message_8>=1))||(i5.u18.Message_11>=1))||(i4.u17.Message_10>=1))||(i3.u5.Message_13>=1))||(i0.u19.Message_12>=1))||(i5.u6.Message_15>=1))||(i4.u20.Message_14>=1))" U "((((((((((((((((i3.u0.Message_1>=1)||(i0.u12.Message_0>=1))||(i5.u14.Message_3>=1))||(i4.u13.Message_2>=1))||(i3.u16.Message_5>=1))||(i0.u15.Message_4>=1))||(i5.u2.Message_7>=1))||(i4.u1.Message_6>=1))||(i3.u4.Message_9>=1))||(i0.u3.Message_8>=1))||(i5.u18.Message_11>=1))||(i4.u17.Message_10>=1))||(i3.u5.Message_13>=1))||(i0.u19.Message_12>=1))||(i5.u6.Message_15>=1))||(i4.u20.Message_14>=1))") U ("((i0.u3.RecBuff_8<1)||(i8.u39.all_passive_2<1))" & "((i0.u12.RecBuff_0<1)||(i6.u37.all_passive_0<1))" & "((i0.u15.RecBuff_4<1)||(i7.u38.all_passive_1<1))" & "((i0.u19.RecBuff_12<1)||(i9.u40.all_passive_3<1))" & "((i3.u0.RecBuff_1<1)||(i6.u37.all_passive_0<1))" & "((i3.u4.RecBuff_9<1)||(i8.u39.all_passive_2<1))" & "((i3.u5.RecBuff_13<1)||(i9.u40.all_passive_3<1))" & "((i3.u16.RecBuff_5<1)||(i7.u38.all_passive_1<1))" & "((i4.u1.RecBuff_6<1)||(i7.u38.all_passive_1<1))" & "((i4.u13.RecBuff_2<1)||(i6.u37.all_passive_0<1))" & "((i4.u17.RecBuff_10<1)||(i8.u39.all_passive_2<1))" & "((i4.u20.RecBuff_14<1)||(i9.u40.all_passive_3<1))" & "((i5.u2.RecBuff_7<1)||(i7.u38.all_passive_1<1))" & "((i5.u6.RecBuff_15<1)||(i9.u40.all_passive_3<1))" & "((i5.u14.RecBuff_3<1)||(i6.u37.all_passive_0<1))" & "((i5.u18.RecBuff_11<1)||(i8.u39.all_passive_2<1))" & "(i6.u37.updating_0<1)" & "(i6.u37.updating_1<1)" & "(i6.u37.updating_2<1)" & "(i6.u37.updating_3<1)" & "(i7.u38.updating_4<1)" & "(i7.u38.updating_5<1)" & "(i7.u38.updating_6<1)" & "(i7.u38.updating_7<1)" & "(i8.u39.updating_8<1)" & "(i8.u39.updating_9<1)" & "(i8.u39.updating_10<1)" & "(i8.u39.updating_11<1)" & "(i9.u40.updating_12<1)" & "(i9.u40.updating_13<1)" & "(i9.u40.updating_14<1)" & "(i9.u40.updating_15<1)" & G"((((((((((((((((i6.u37.updating_2<1)&&(i6.u37.updating_3<1))&&(i6.u37.updating_0<1))&&(i6.u37.updating_1<1))&&(i7.u38.updating_6<1))&&(i7.u38.updating_7<1))&&(i7.u38.updating_4<1))&&(i7.u38.updating_5<1))&&(i8.u39.updating_10<1))&&(i8.u39.updating_11<1))&&(i8.u39.updating_8<1))&&(i8.u39.updating_9<1))&&(i9.u40.updating_14<1))&&(i9.u40.updating_15<1))&&(i9.u40.updating_12<1))&&(i9.u40.updating_13<1))"))
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
ITS-tools command line returned an error code 134
[2020-05-21 23:54:08] [INFO ] Applying decomposition
[2020-05-21 23:54:08] [INFO ] Flatten gal took : 25 ms
[2020-05-21 23:54:08] [INFO ] Decomposing Gal with order
[2020-05-21 23:54:08] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-21 23:54:09] [INFO ] Removed a total of 136 redundant transitions.
[2020-05-21 23:54:09] [INFO ] Flatten gal took : 38 ms
[2020-05-21 23:54:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 2 ms.
[2020-05-21 23:54:09] [INFO ] Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 4 ms
[2020-05-21 23:54:09] [INFO ] Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 5 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-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 12 LTL properties
Checking formula 0 : !((G((X((X("((((((((((((((((SF1.Message_1>=1)||(SF0.Message_0>=1))||(SF3.Message_3>=1))||(SF2.Message_2>=1))||(SF5.Message_5>=1))||(SF4.Message_4>=1))||(SF7.Message_7>=1))||(SF6.Message_6>=1))||(SF9.Message_9>=1))||(SF8.Message_8>=1))||(SF11.Message_11>=1))||(SF10.Message_10>=1))||(SF13.Message_13>=1))||(SF12.Message_12>=1))||(SF15.Message_15>=1))||(SF14.Message_14>=1))"))U("((((((((((((((((SF1.Message_1>=1)||(SF0.Message_0>=1))||(SF3.Message_3>=1))||(SF2.Message_2>=1))||(SF5.Message_5>=1))||(SF4.Message_4>=1))||(SF7.Message_7>=1))||(SF6.Message_6>=1))||(SF9.Message_9>=1))||(SF8.Message_8>=1))||(SF11.Message_11>=1))||(SF10.Message_10>=1))||(SF13.Message_13>=1))||(SF12.Message_12>=1))||(SF15.Message_15>=1))||(SF14.Message_14>=1))")))U(((((((((((((((((((((((((((((((((G("((((((((((((((((SF2.updating_2<1)&&(SF3.updating_3<1))&&(SF0.updating_0<1))&&(SF1.updating_1<1))&&(SF6.updating_6<1))&&(SF7.updating_7<1))&&(SF4.updating_4<1))&&(SF5.updating_5<1))&&(SF10.updating_10<1))&&(SF11.updating_11<1))&&(SF8.updating_8<1))&&(SF9.updating_9<1))&&(SF14.updating_14<1))&&(SF15.updating_15<1))&&(SF12.updating_12<1))&&(SF13.updating_13<1))"))&&("(SF2.updating_2<1)"))&&("(SF3.updating_3<1)"))&&("(SF0.updating_0<1)"))&&("(SF1.updating_1<1)"))&&("(SF6.updating_6<1)"))&&("(SF7.updating_7<1)"))&&("(SF4.updating_4<1)"))&&("(SF5.updating_5<1)"))&&("(SF10.updating_10<1)"))&&("(SF11.updating_11<1)"))&&("(SF8.updating_8<1)"))&&("(SF9.updating_9<1)"))&&("(SF14.updating_14<1)"))&&("(SF15.updating_15<1)"))&&("(SF12.updating_12<1)"))&&("(SF13.updating_13<1)"))&&("((SF4.RecBuff_4<1)||(site1.all_passive_1<1))"))&&("((SF6.RecBuff_6<1)||(site1.all_passive_1<1))"))&&("((SF11.RecBuff_11<1)||(site2.all_passive_2<1))"))&&("((SF14.RecBuff_14<1)||(site3.all_passive_3<1))"))&&("((SF9.RecBuff_9<1)||(site2.all_passive_2<1))"))&&("((SF12.RecBuff_12<1)||(site3.all_passive_3<1))"))&&("((SF7.RecBuff_7<1)||(site1.all_passive_1<1))"))&&("((SF3.RecBuff_3<1)||(site0.all_passive_0<1))"))&&("((SF1.RecBuff_1<1)||(site0.all_passive_0<1))"))&&("((SF15.RecBuff_15<1)||(site3.all_passive_3<1))"))&&("((SF5.RecBuff_5<1)||(site1.all_passive_1<1))"))&&("((SF8.RecBuff_8<1)||(site2.all_passive_2<1))"))&&("((SF13.RecBuff_13<1)||(site3.all_passive_3<1))"))&&("((SF10.RecBuff_10<1)||(site2.all_passive_2<1))"))&&("((SF2.RecBuff_2<1)||(site0.all_passive_0<1))"))&&("((SF0.RecBuff_0<1)||(site0.all_passive_0<1))")))))
ITS-tools command line returned an error code 134
Formula 0 simplified : !G(X(X"((((((((((((((((SF1.Message_1>=1)||(SF0.Message_0>=1))||(SF3.Message_3>=1))||(SF2.Message_2>=1))||(SF5.Message_5>=1))||(SF4.Message_4>=1))||(SF7.Message_7>=1))||(SF6.Message_6>=1))||(SF9.Message_9>=1))||(SF8.Message_8>=1))||(SF11.Message_11>=1))||(SF10.Message_10>=1))||(SF13.Message_13>=1))||(SF12.Message_12>=1))||(SF15.Message_15>=1))||(SF14.Message_14>=1))" U "((((((((((((((((SF1.Message_1>=1)||(SF0.Message_0>=1))||(SF3.Message_3>=1))||(SF2.Message_2>=1))||(SF5.Message_5>=1))||(SF4.Message_4>=1))||(SF7.Message_7>=1))||(SF6.Message_6>=1))||(SF9.Message_9>=1))||(SF8.Message_8>=1))||(SF11.Message_11>=1))||(SF10.Message_10>=1))||(SF13.Message_13>=1))||(SF12.Message_12>=1))||(SF15.Message_15>=1))||(SF14.Message_14>=1))") U ("((SF0.RecBuff_0<1)||(site0.all_passive_0<1))" & "((SF1.RecBuff_1<1)||(site0.all_passive_0<1))" & "((SF2.RecBuff_2<1)||(site0.all_passive_0<1))" & "((SF3.RecBuff_3<1)||(site0.all_passive_0<1))" & "((SF4.RecBuff_4<1)||(site1.all_passive_1<1))" & "((SF5.RecBuff_5<1)||(site1.all_passive_1<1))" & "((SF6.RecBuff_6<1)||(site1.all_passive_1<1))" & "((SF7.RecBuff_7<1)||(site1.all_passive_1<1))" & "((SF8.RecBuff_8<1)||(site2.all_passive_2<1))" & "((SF9.RecBuff_9<1)||(site2.all_passive_2<1))" & "((SF10.RecBuff_10<1)||(site2.all_passive_2<1))" & "((SF11.RecBuff_11<1)||(site2.all_passive_2<1))" & "((SF12.RecBuff_12<1)||(site3.all_passive_3<1))" & "((SF13.RecBuff_13<1)||(site3.all_passive_3<1))" & "((SF14.RecBuff_14<1)||(site3.all_passive_3<1))" & "((SF15.RecBuff_15<1)||(site3.all_passive_3<1))" & "(SF0.updating_0<1)" & "(SF1.updating_1<1)" & "(SF2.updating_2<1)" & "(SF3.updating_3<1)" & "(SF4.updating_4<1)" & "(SF5.updating_5<1)" & "(SF6.updating_6<1)" & "(SF7.updating_7<1)" & "(SF8.updating_8<1)" & "(SF9.updating_9<1)" & "(SF10.updating_10<1)" & "(SF11.updating_11<1)" & "(SF12.updating_12<1)" & "(SF13.updating_13<1)" & "(SF14.updating_14<1)" & "(SF15.updating_15<1)" & G"((((((((((((((((SF2.updating_2<1)&&(SF3.updating_3<1))&&(SF0.updating_0<1))&&(SF1.updating_1<1))&&(SF6.updating_6<1))&&(SF7.updating_7<1))&&(SF4.updating_4<1))&&(SF5.updating_5<1))&&(SF10.updating_10<1))&&(SF11.updating_11<1))&&(SF8.updating_8<1))&&(SF9.updating_9<1))&&(SF14.updating_14<1))&&(SF15.updating_15<1))&&(SF12.updating_12<1))&&(SF13.updating_13<1))"))
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
[2020-05-21 23:54:09] [INFO ] Flatten gal took : 14 ms
[2020-05-21 23:54:09] [INFO ] Input system was already deterministic with 128 transitions.
[2020-05-21 23:54:09] [INFO ] Transformed 140 places.
[2020-05-21 23:54:09] [INFO ] Transformed 128 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
[2020-05-21 23:54:39] [INFO ] Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 5 ms
[2020-05-21 23:54:39] [INFO ] Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 12 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((G((X((X("((((((((((((((((Message_1>=1)||(Message_0>=1))||(Message_3>=1))||(Message_2>=1))||(Message_5>=1))||(Message_4>=1))||(Message_7>=1))||(Message_6>=1))||(Message_9>=1))||(Message_8>=1))||(Message_11>=1))||(Message_10>=1))||(Message_13>=1))||(Message_12>=1))||(Message_15>=1))||(Message_14>=1))"))U("((((((((((((((((Message_1>=1)||(Message_0>=1))||(Message_3>=1))||(Message_2>=1))||(Message_5>=1))||(Message_4>=1))||(Message_7>=1))||(Message_6>=1))||(Message_9>=1))||(Message_8>=1))||(Message_11>=1))||(Message_10>=1))||(Message_13>=1))||(Message_12>=1))||(Message_15>=1))||(Message_14>=1))")))U(((((((((((((((((((((((((((((((((G("((((((((((((((((updating_2<1)&&(updating_3<1))&&(updating_0<1))&&(updating_1<1))&&(updating_6<1))&&(updating_7<1))&&(updating_4<1))&&(updating_5<1))&&(updating_10<1))&&(updating_11<1))&&(updating_8<1))&&(updating_9<1))&&(updating_14<1))&&(updating_15<1))&&(updating_12<1))&&(updating_13<1))"))&&("(updating_2<1)"))&&("(updating_3<1)"))&&("(updating_0<1)"))&&("(updating_1<1)"))&&("(updating_6<1)"))&&("(updating_7<1)"))&&("(updating_4<1)"))&&("(updating_5<1)"))&&("(updating_10<1)"))&&("(updating_11<1)"))&&("(updating_8<1)"))&&("(updating_9<1)"))&&("(updating_14<1)"))&&("(updating_15<1)"))&&("(updating_12<1)"))&&("(updating_13<1)"))&&("((RecBuff_4<1)||(all_passive_1<1))"))&&("((RecBuff_6<1)||(all_passive_1<1))"))&&("((RecBuff_11<1)||(all_passive_2<1))"))&&("((RecBuff_14<1)||(all_passive_3<1))"))&&("((RecBuff_9<1)||(all_passive_2<1))"))&&("((RecBuff_12<1)||(all_passive_3<1))"))&&("((RecBuff_7<1)||(all_passive_1<1))"))&&("((RecBuff_3<1)||(all_passive_0<1))"))&&("((RecBuff_1<1)||(all_passive_0<1))"))&&("((RecBuff_15<1)||(all_passive_3<1))"))&&("((RecBuff_5<1)||(all_passive_1<1))"))&&("((RecBuff_8<1)||(all_passive_2<1))"))&&("((RecBuff_13<1)||(all_passive_3<1))"))&&("((RecBuff_10<1)||(all_passive_2<1))"))&&("((RecBuff_2<1)||(all_passive_0<1))"))&&("((RecBuff_0<1)||(all_passive_0<1))")))))
Formula 0 simplified : !G(X(X"((((((((((((((((Message_1>=1)||(Message_0>=1))||(Message_3>=1))||(Message_2>=1))||(Message_5>=1))||(Message_4>=1))||(Message_7>=1))||(Message_6>=1))||(Message_9>=1))||(Message_8>=1))||(Message_11>=1))||(Message_10>=1))||(Message_13>=1))||(Message_12>=1))||(Message_15>=1))||(Message_14>=1))" U "((((((((((((((((Message_1>=1)||(Message_0>=1))||(Message_3>=1))||(Message_2>=1))||(Message_5>=1))||(Message_4>=1))||(Message_7>=1))||(Message_6>=1))||(Message_9>=1))||(Message_8>=1))||(Message_11>=1))||(Message_10>=1))||(Message_13>=1))||(Message_12>=1))||(Message_15>=1))||(Message_14>=1))") U ("((RecBuff_0<1)||(all_passive_0<1))" & "((RecBuff_1<1)||(all_passive_0<1))" & "((RecBuff_2<1)||(all_passive_0<1))" & "((RecBuff_3<1)||(all_passive_0<1))" & "((RecBuff_4<1)||(all_passive_1<1))" & "((RecBuff_5<1)||(all_passive_1<1))" & "((RecBuff_6<1)||(all_passive_1<1))" & "((RecBuff_7<1)||(all_passive_1<1))" & "((RecBuff_8<1)||(all_passive_2<1))" & "((RecBuff_9<1)||(all_passive_2<1))" & "((RecBuff_10<1)||(all_passive_2<1))" & "((RecBuff_11<1)||(all_passive_2<1))" & "((RecBuff_12<1)||(all_passive_3<1))" & "((RecBuff_13<1)||(all_passive_3<1))" & "((RecBuff_14<1)||(all_passive_3<1))" & "((RecBuff_15<1)||(all_passive_3<1))" & "(updating_0<1)" & "(updating_1<1)" & "(updating_2<1)" & "(updating_3<1)" & "(updating_4<1)" & "(updating_5<1)" & "(updating_6<1)" & "(updating_7<1)" & "(updating_8<1)" & "(updating_9<1)" & "(updating_10<1)" & "(updating_11<1)" & "(updating_12<1)" & "(updating_13<1)" & "(updating_14<1)" & "(updating_15<1)" & G"((((((((((((((((updating_2<1)&&(updating_3<1))&&(updating_0<1))&&(updating_1<1))&&(updating_6<1))&&(updating_7<1))&&(updating_4<1))&&(updating_5<1))&&(updating_10<1))&&(updating_11<1))&&(updating_8<1))&&(updating_9<1))&&(updating_14<1))&&(updating_15<1))&&(updating_12<1))&&(updating_13<1))"))
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
ITS-tools command line returned an error code 134
BK_STOP 1590105280091
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -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-COL-04"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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 itstools"
echo " Input is DatabaseWithMutex-COL-04, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-tajo-158922814000234"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-COL-04.tgz
mv DatabaseWithMutex-COL-04 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;