About the Execution of ITS-Tools for LeafsetExtension-PT-S32C3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 508.508 | 14349.00 | 32331.00 | 451.60 | FTFFFTFFFTFFTFFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r132-tall-165271821000507.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is LeafsetExtension-PT-S32C3, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r132-tall-165271821000507
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 11K Apr 29 12:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Apr 29 12:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 29 12:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Apr 29 12:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.6K May 9 08:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 9 08:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K May 9 08:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 08:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.2K May 9 08:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K May 9 08:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 6 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 3.4M May 10 09:34 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 LeafsetExtension-PT-S32C3-LTLCardinality-00
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-01
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-02
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-03
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-04
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-05
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-06
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-07
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-08
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-09
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-10
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-11
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-12
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-13
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-14
FORMULA_NAME LeafsetExtension-PT-S32C3-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1652798889699
Running Version 202205111006
[2022-05-17 14:48:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-05-17 14:48:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-17 14:48:11] [INFO ] Load time of PNML (sax parser for PT used): 322 ms
[2022-05-17 14:48:11] [INFO ] Transformed 5622 places.
[2022-05-17 14:48:11] [INFO ] Transformed 5449 transitions.
[2022-05-17 14:48:11] [INFO ] Parsed PT model containing 5622 places and 5449 transitions in 482 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 12 ms.
Working with output stream class java.io.PrintStream
Initial state reduction rules removed 4 formulas.
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 29 out of 5622 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 5622/5622 places, 5449/5449 transitions.
Reduce places removed 1088 places and 0 transitions.
Iterating post reduction 0 with 1088 rules applied. Total rules applied 1088 place count 4534 transition count 5449
Discarding 1044 places :
Symmetric choice reduction at 1 with 1044 rule applications. Total rules 2132 place count 3490 transition count 4405
Iterating global reduction 1 with 1044 rules applied. Total rules applied 3176 place count 3490 transition count 4405
Discarding 973 places :
Symmetric choice reduction at 1 with 973 rule applications. Total rules 4149 place count 2517 transition count 3432
Iterating global reduction 1 with 973 rules applied. Total rules applied 5122 place count 2517 transition count 3432
Discarding 968 places :
Symmetric choice reduction at 1 with 968 rule applications. Total rules 6090 place count 1549 transition count 2464
Iterating global reduction 1 with 968 rules applied. Total rules applied 7058 place count 1549 transition count 2464
Discarding 47 places :
Implicit places reduction removed 47 places
Iterating post reduction 1 with 47 rules applied. Total rules applied 7105 place count 1502 transition count 2464
Discarding 45 places :
Symmetric choice reduction at 2 with 45 rule applications. Total rules 7150 place count 1457 transition count 2419
Iterating global reduction 2 with 45 rules applied. Total rules applied 7195 place count 1457 transition count 2419
Discarding 45 places :
Symmetric choice reduction at 2 with 45 rule applications. Total rules 7240 place count 1412 transition count 2374
Iterating global reduction 2 with 45 rules applied. Total rules applied 7285 place count 1412 transition count 2374
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 7329 place count 1368 transition count 2330
Iterating global reduction 2 with 44 rules applied. Total rules applied 7373 place count 1368 transition count 2330
Discarding 44 places :
Symmetric choice reduction at 2 with 44 rule applications. Total rules 7417 place count 1324 transition count 2286
Iterating global reduction 2 with 44 rules applied. Total rules applied 7461 place count 1324 transition count 2286
Discarding 668 places :
Symmetric choice reduction at 2 with 668 rule applications. Total rules 8129 place count 656 transition count 1618
Iterating global reduction 2 with 668 rules applied. Total rules applied 8797 place count 656 transition count 1618
Applied a total of 8797 rules in 3168 ms. Remains 656 /5622 variables (removed 4966) and now considering 1618/5449 (removed 3831) transitions.
[2022-05-17 14:48:14] [INFO ] Flow matrix only has 951 transitions (discarded 667 similar events)
// Phase 1: matrix 951 rows 656 cols
[2022-05-17 14:48:14] [INFO ] Computed 55 place invariants in 70 ms
[2022-05-17 14:48:15] [INFO ] Implicit Places using invariants in 977 ms returned [43, 70, 75, 80, 100, 104, 109, 129, 133, 137, 162, 167, 196, 200, 206, 226, 253, 285, 289, 309, 311, 315, 319, 323, 327, 377, 400, 404, 408, 412, 439, 487, 513, 541, 566, 593, 624, 629]
Discarding 38 places :
Implicit Place search using SMT only with invariants took 1030 ms to find 38 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 618/5622 places, 1618/5449 transitions.
Discarding 343 places :
Symmetric choice reduction at 0 with 343 rule applications. Total rules 343 place count 275 transition count 1275
Iterating global reduction 0 with 343 rules applied. Total rules applied 686 place count 275 transition count 1275
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 690 place count 271 transition count 1271
Iterating global reduction 0 with 4 rules applied. Total rules applied 694 place count 271 transition count 1271
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 698 place count 267 transition count 1267
Iterating global reduction 0 with 4 rules applied. Total rules applied 702 place count 267 transition count 1267
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 706 place count 263 transition count 1263
Iterating global reduction 0 with 4 rules applied. Total rules applied 710 place count 263 transition count 1263
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 714 place count 259 transition count 1259
Iterating global reduction 0 with 4 rules applied. Total rules applied 718 place count 259 transition count 1259
Applied a total of 718 rules in 68 ms. Remains 259 /618 variables (removed 359) and now considering 1259/1618 (removed 359) transitions.
[2022-05-17 14:48:15] [INFO ] Flow matrix only has 503 transitions (discarded 756 similar events)
// Phase 1: matrix 503 rows 259 cols
[2022-05-17 14:48:15] [INFO ] Computed 17 place invariants in 6 ms
[2022-05-17 14:48:15] [INFO ] Implicit Places using invariants in 224 ms returned []
[2022-05-17 14:48:15] [INFO ] Flow matrix only has 503 transitions (discarded 756 similar events)
// Phase 1: matrix 503 rows 259 cols
[2022-05-17 14:48:15] [INFO ] Computed 17 place invariants in 5 ms
[2022-05-17 14:48:16] [INFO ] Implicit Places using invariants and state equation in 416 ms returned []
Implicit Place search using SMT with State Equation took 644 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 259/5622 places, 1259/5449 transitions.
Finished structural reductions, in 2 iterations. Remains : 259/5622 places, 1259/5449 transitions.
Support contains 29 out of 259 places after structural reductions.
[2022-05-17 14:48:16] [INFO ] Flatten gal took : 109 ms
[2022-05-17 14:48:16] [INFO ] Flatten gal took : 66 ms
[2022-05-17 14:48:16] [INFO ] Input system was already deterministic with 1259 transitions.
Support contains 27 out of 259 places (down from 29) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 369 resets, run finished after 503 ms. (steps per millisecond=19 ) properties (out of 18) seen :7
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 46 ms. (steps per millisecond=217 ) properties (out of 11) seen :0
Incomplete Best-First random walk after 10001 steps, including 37 resets, run finished after 39 ms. (steps per millisecond=256 ) properties (out of 11) seen :1
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 39 ms. (steps per millisecond=256 ) properties (out of 10) seen :1
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 40 ms. (steps per millisecond=250 ) properties (out of 9) seen :1
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 32 ms. (steps per millisecond=312 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 37 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 31 ms. (steps per millisecond=322 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 8) seen :0
Incomplete Best-First random walk after 10001 steps, including 38 resets, run finished after 23 ms. (steps per millisecond=434 ) properties (out of 8) seen :0
Running SMT prover for 8 properties.
[2022-05-17 14:48:17] [INFO ] Flow matrix only has 503 transitions (discarded 756 similar events)
// Phase 1: matrix 503 rows 259 cols
[2022-05-17 14:48:17] [INFO ] Computed 17 place invariants in 6 ms
[2022-05-17 14:48:18] [INFO ] [Real]Absence check using 0 positive and 17 generalized place invariants in 8 ms returned sat
[2022-05-17 14:48:18] [INFO ] After 1008ms SMT Verify possible using all constraints in real domain returned unsat :8 sat :0
Fused 8 Parikh solutions to 0 different solutions.
Parikh walk visited 0 properties in 2 ms.
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-03 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-00 FALSE TECHNIQUES REACHABILITY_KNOWLEDGE
Successfully simplified 8 atomic propositions for a total of 8 simplifications.
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Computed a total of 259 stabilizing places and 1259 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 259 transition count 1259
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!(G(F(p0)))'
Support contains 2 out of 259 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 259/259 places, 1259/1259 transitions.
Graph (complete) has 1845 edges and 259 vertex of which 253 are kept as prefixes of interest. Removing 6 places using SCC suffix rule.10 ms
Discarding 6 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Drop transitions removed 49 transitions
Trivial Post-agglo rules discarded 49 transitions
Performed 49 trivial Post agglomeration. Transition count delta: 49
Iterating post reduction 0 with 49 rules applied. Total rules applied 50 place count 253 transition count 1209
Reduce places removed 49 places and 0 transitions.
Iterating post reduction 1 with 49 rules applied. Total rules applied 99 place count 204 transition count 1209
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 99 place count 204 transition count 1189
Deduced a syphon composed of 20 places in 0 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 139 place count 184 transition count 1189
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 156 place count 167 transition count 1172
Iterating global reduction 2 with 17 rules applied. Total rules applied 173 place count 167 transition count 1172
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 179 place count 161 transition count 1166
Iterating global reduction 2 with 6 rules applied. Total rules applied 185 place count 161 transition count 1166
Discarding 5 places :
Implicit places reduction removed 5 places
Iterating post reduction 2 with 5 rules applied. Total rules applied 190 place count 156 transition count 1166
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 190 place count 156 transition count 1161
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 200 place count 151 transition count 1161
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 205 place count 146 transition count 1156
Iterating global reduction 3 with 5 rules applied. Total rules applied 210 place count 146 transition count 1156
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 215 place count 141 transition count 1151
Iterating global reduction 3 with 5 rules applied. Total rules applied 220 place count 141 transition count 1151
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 0 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 270 place count 116 transition count 1126
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 279 place count 107 transition count 1117
Iterating global reduction 3 with 9 rules applied. Total rules applied 288 place count 107 transition count 1117
Applied a total of 288 rules in 157 ms. Remains 107 /259 variables (removed 152) and now considering 1117/1259 (removed 142) transitions.
[2022-05-17 14:48:19] [INFO ] Flow matrix only has 255 transitions (discarded 862 similar events)
// Phase 1: matrix 255 rows 107 cols
[2022-05-17 14:48:19] [INFO ] Computed 12 place invariants in 2 ms
[2022-05-17 14:48:19] [INFO ] Implicit Places using invariants in 138 ms returned [6, 26, 52, 53, 66, 70, 80, 86]
Discarding 8 places :
Implicit Place search using SMT only with invariants took 140 ms to find 8 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 99/259 places, 1117/1259 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 93 transition count 1111
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 93 transition count 1111
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 18 place count 87 transition count 1105
Iterating global reduction 0 with 6 rules applied. Total rules applied 24 place count 87 transition count 1105
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 28 place count 85 transition count 1103
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 30 place count 83 transition count 1101
Iterating global reduction 0 with 2 rules applied. Total rules applied 32 place count 83 transition count 1101
Applied a total of 32 rules in 77 ms. Remains 83 /99 variables (removed 16) and now considering 1101/1117 (removed 16) transitions.
[2022-05-17 14:48:19] [INFO ] Flow matrix only has 111 transitions (discarded 990 similar events)
// Phase 1: matrix 111 rows 83 cols
[2022-05-17 14:48:19] [INFO ] Computed 4 place invariants in 1 ms
[2022-05-17 14:48:19] [INFO ] Implicit Places using invariants in 101 ms returned []
[2022-05-17 14:48:19] [INFO ] Flow matrix only has 111 transitions (discarded 990 similar events)
// Phase 1: matrix 111 rows 83 cols
[2022-05-17 14:48:19] [INFO ] Computed 4 place invariants in 0 ms
[2022-05-17 14:48:19] [INFO ] Implicit Places using invariants and state equation in 139 ms returned []
Implicit Place search using SMT with State Equation took 251 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 83/259 places, 1101/1259 transitions.
Finished structural reductions, in 2 iterations. Remains : 83/259 places, 1101/1259 transitions.
Stuttering acceptance computed with spot in 186 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : LeafsetExtension-PT-S32C3-LTLCardinality-01 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(LEQ s34 s64)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Product exploration explored 100000 steps with 8356 reset in 492 ms.
Product exploration explored 100000 steps with 8361 reset in 302 ms.
Computed a total of 83 stabilizing places and 1101 stable transitions
Complete graph has no SCC; deadlocks are unavoidable. place count 83 transition count 1101
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge (and all enablings converge to false).
Detected that all paths lead to deadlock. Applying this knowledge to assert that all AP eventually converge : F ( (Ga|G!a) & (Gb|G!b)...)
Knowledge obtained : [p0, (X p0), (X (X p0)), (F (G p0))]
False Knowledge obtained : []
Property proved to be true thanks to knowledge :(F (G p0))
Knowledge based reduction with 4 factoid took 451 ms. Reduced automaton from 2 states, 3 edges and 1 AP to 1 states, 0 edges and 0 AP.
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-01 TRUE TECHNIQUES KNOWLEDGE
Treatment of property LeafsetExtension-PT-S32C3-LTLCardinality-01 finished in 2239 ms.
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!(X(G(X(F(G((!(false U p0)&&p1)))))))'
Support contains 4 out of 259 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 259/259 places, 1259/1259 transitions.
Graph (complete) has 1845 edges and 259 vertex of which 254 are kept as prefixes of interest. Removing 5 places using SCC suffix rule.3 ms
Discarding 5 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Drop transitions removed 48 transitions
Trivial Post-agglo rules discarded 48 transitions
Performed 48 trivial Post agglomeration. Transition count delta: 48
Iterating post reduction 0 with 48 rules applied. Total rules applied 49 place count 254 transition count 1210
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 1 with 48 rules applied. Total rules applied 97 place count 206 transition count 1210
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 97 place count 206 transition count 1190
Deduced a syphon composed of 20 places in 0 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 137 place count 186 transition count 1190
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 153 place count 170 transition count 1174
Iterating global reduction 2 with 16 rules applied. Total rules applied 169 place count 170 transition count 1174
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 175 place count 164 transition count 1168
Iterating global reduction 2 with 6 rules applied. Total rules applied 181 place count 164 transition count 1168
Discarding 5 places :
Implicit places reduction removed 5 places
Iterating post reduction 2 with 5 rules applied. Total rules applied 186 place count 159 transition count 1168
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 186 place count 159 transition count 1163
Deduced a syphon composed of 5 places in 1 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 196 place count 154 transition count 1163
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 201 place count 149 transition count 1158
Iterating global reduction 3 with 5 rules applied. Total rules applied 206 place count 149 transition count 1158
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 211 place count 144 transition count 1153
Iterating global reduction 3 with 5 rules applied. Total rules applied 216 place count 144 transition count 1153
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 0 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 266 place count 119 transition count 1128
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 274 place count 111 transition count 1120
Iterating global reduction 3 with 8 rules applied. Total rules applied 282 place count 111 transition count 1120
Applied a total of 282 rules in 71 ms. Remains 111 /259 variables (removed 148) and now considering 1120/1259 (removed 139) transitions.
[2022-05-17 14:48:21] [INFO ] Flow matrix only has 258 transitions (discarded 862 similar events)
// Phase 1: matrix 258 rows 111 cols
[2022-05-17 14:48:21] [INFO ] Computed 12 place invariants in 1 ms
[2022-05-17 14:48:21] [INFO ] Implicit Places using invariants in 98 ms returned [41, 55, 56, 76, 80, 84, 90]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 100 ms to find 7 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 104/259 places, 1120/1259 transitions.
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 99 transition count 1115
Iterating global reduction 0 with 5 rules applied. Total rules applied 10 place count 99 transition count 1115
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 15 place count 94 transition count 1110
Iterating global reduction 0 with 5 rules applied. Total rules applied 20 place count 94 transition count 1110
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 24 place count 92 transition count 1108
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 26 place count 90 transition count 1106
Iterating global reduction 0 with 2 rules applied. Total rules applied 28 place count 90 transition count 1106
Applied a total of 28 rules in 32 ms. Remains 90 /104 variables (removed 14) and now considering 1106/1120 (removed 14) transitions.
[2022-05-17 14:48:21] [INFO ] Flow matrix only has 133 transitions (discarded 973 similar events)
// Phase 1: matrix 133 rows 90 cols
[2022-05-17 14:48:21] [INFO ] Computed 5 place invariants in 1 ms
[2022-05-17 14:48:21] [INFO ] Implicit Places using invariants in 96 ms returned []
[2022-05-17 14:48:21] [INFO ] Flow matrix only has 133 transitions (discarded 973 similar events)
// Phase 1: matrix 133 rows 90 cols
[2022-05-17 14:48:21] [INFO ] Computed 5 place invariants in 1 ms
[2022-05-17 14:48:21] [INFO ] Implicit Places using invariants and state equation in 149 ms returned []
Implicit Place search using SMT with State Equation took 252 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 90/259 places, 1106/1259 transitions.
Finished structural reductions, in 2 iterations. Remains : 90/259 places, 1106/1259 transitions.
Stuttering acceptance computed with spot in 70 ms :[(OR (NOT p1) p0)]
Running random walk in product with property : LeafsetExtension-PT-S32C3-LTLCardinality-02 automaton TGBA Formula[mat=[[{ cond=(AND (NOT p0) p1), acceptance={} source=0 dest: 0}, { cond=(OR p0 (NOT p1)), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(LEQ s31 s53), p1:(OR (GT s66 s9) (GT s31 s53))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 8 steps with 0 reset in 1 ms.
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-02 FALSE TECHNIQUES STUTTER_TEST
Treatment of property LeafsetExtension-PT-S32C3-LTLCardinality-02 finished in 541 ms.
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!(G((F(X(F(p1)))||p0)))'
Support contains 3 out of 259 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 259/259 places, 1259/1259 transitions.
Graph (complete) has 1845 edges and 259 vertex of which 253 are kept as prefixes of interest. Removing 6 places using SCC suffix rule.4 ms
Discarding 6 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Drop transitions removed 48 transitions
Trivial Post-agglo rules discarded 48 transitions
Performed 48 trivial Post agglomeration. Transition count delta: 48
Iterating post reduction 0 with 48 rules applied. Total rules applied 49 place count 253 transition count 1210
Reduce places removed 48 places and 0 transitions.
Iterating post reduction 1 with 48 rules applied. Total rules applied 97 place count 205 transition count 1210
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 19 Pre rules applied. Total rules applied 97 place count 205 transition count 1191
Deduced a syphon composed of 19 places in 0 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 2 with 38 rules applied. Total rules applied 135 place count 186 transition count 1191
Discarding 16 places :
Symmetric choice reduction at 2 with 16 rule applications. Total rules 151 place count 170 transition count 1175
Iterating global reduction 2 with 16 rules applied. Total rules applied 167 place count 170 transition count 1175
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 174 place count 163 transition count 1168
Iterating global reduction 2 with 7 rules applied. Total rules applied 181 place count 163 transition count 1168
Discarding 5 places :
Implicit places reduction removed 5 places
Iterating post reduction 2 with 5 rules applied. Total rules applied 186 place count 158 transition count 1168
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 186 place count 158 transition count 1163
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 196 place count 153 transition count 1163
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 201 place count 148 transition count 1158
Iterating global reduction 3 with 5 rules applied. Total rules applied 206 place count 148 transition count 1158
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 211 place count 143 transition count 1153
Iterating global reduction 3 with 5 rules applied. Total rules applied 216 place count 143 transition count 1153
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 0 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 3 with 50 rules applied. Total rules applied 266 place count 118 transition count 1128
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 275 place count 109 transition count 1119
Iterating global reduction 3 with 9 rules applied. Total rules applied 284 place count 109 transition count 1119
Applied a total of 284 rules in 68 ms. Remains 109 /259 variables (removed 150) and now considering 1119/1259 (removed 140) transitions.
[2022-05-17 14:48:21] [INFO ] Flow matrix only has 274 transitions (discarded 845 similar events)
// Phase 1: matrix 274 rows 109 cols
[2022-05-17 14:48:21] [INFO ] Computed 12 place invariants in 3 ms
[2022-05-17 14:48:21] [INFO ] Implicit Places using invariants in 105 ms returned [6, 28, 38, 52, 53, 68, 78, 82, 88]
Discarding 9 places :
Implicit Place search using SMT only with invariants took 108 ms to find 9 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 100/259 places, 1119/1259 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 93 transition count 1112
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 93 transition count 1112
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 21 place count 86 transition count 1105
Iterating global reduction 0 with 7 rules applied. Total rules applied 28 place count 86 transition count 1105
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 32 place count 84 transition count 1103
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 34 place count 82 transition count 1101
Iterating global reduction 0 with 2 rules applied. Total rules applied 36 place count 82 transition count 1101
Applied a total of 36 rules in 28 ms. Remains 82 /100 variables (removed 18) and now considering 1101/1119 (removed 18) transitions.
[2022-05-17 14:48:21] [INFO ] Flow matrix only has 112 transitions (discarded 989 similar events)
// Phase 1: matrix 112 rows 82 cols
[2022-05-17 14:48:21] [INFO ] Computed 3 place invariants in 1 ms
[2022-05-17 14:48:22] [INFO ] Implicit Places using invariants in 91 ms returned []
[2022-05-17 14:48:22] [INFO ] Flow matrix only has 112 transitions (discarded 989 similar events)
// Phase 1: matrix 112 rows 82 cols
[2022-05-17 14:48:22] [INFO ] Computed 3 place invariants in 1 ms
[2022-05-17 14:48:22] [INFO ] Implicit Places using invariants and state equation in 129 ms returned []
Implicit Place search using SMT with State Equation took 224 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 82/259 places, 1101/1259 transitions.
Finished structural reductions, in 2 iterations. Remains : 82/259 places, 1101/1259 transitions.
Stuttering acceptance computed with spot in 65 ms :[(AND (NOT p0) (NOT p1)), (NOT p1)]
Running random walk in product with property : LeafsetExtension-PT-S32C3-LTLCardinality-07 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 0}, { cond=(NOT p0), acceptance={} source=0 dest: 1}], [{ cond=(NOT p1), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(OR (LEQ 2 s49) (LEQ 3 s62)), p1:(LEQ 1 s15)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 11 steps with 0 reset in 1 ms.
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-07 FALSE TECHNIQUES STUTTER_TEST
Treatment of property LeafsetExtension-PT-S32C3-LTLCardinality-07 finished in 518 ms.
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!((X((false U false)) U false))'
Support contains 0 out of 259 places. Attempting structural reductions.
Starting structural reductions in SI_LTL mode, iteration 0 : 259/259 places, 1259/1259 transitions.
Graph (complete) has 1845 edges and 259 vertex of which 253 are kept as prefixes of interest. Removing 6 places using SCC suffix rule.2 ms
Discarding 6 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Drop transitions removed 51 transitions
Trivial Post-agglo rules discarded 51 transitions
Performed 51 trivial Post agglomeration. Transition count delta: 51
Iterating post reduction 0 with 51 rules applied. Total rules applied 52 place count 253 transition count 1207
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 1 with 51 rules applied. Total rules applied 103 place count 202 transition count 1207
Performed 20 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 20 Pre rules applied. Total rules applied 103 place count 202 transition count 1187
Deduced a syphon composed of 20 places in 1 ms
Reduce places removed 20 places and 0 transitions.
Iterating global reduction 2 with 40 rules applied. Total rules applied 143 place count 182 transition count 1187
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 161 place count 164 transition count 1169
Iterating global reduction 2 with 18 rules applied. Total rules applied 179 place count 164 transition count 1169
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 186 place count 157 transition count 1162
Iterating global reduction 2 with 7 rules applied. Total rules applied 193 place count 157 transition count 1162
Discarding 5 places :
Implicit places reduction removed 5 places
Iterating post reduction 2 with 5 rules applied. Total rules applied 198 place count 152 transition count 1162
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 5 Pre rules applied. Total rules applied 198 place count 152 transition count 1157
Deduced a syphon composed of 5 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 3 with 10 rules applied. Total rules applied 208 place count 147 transition count 1157
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 213 place count 142 transition count 1152
Iterating global reduction 3 with 5 rules applied. Total rules applied 218 place count 142 transition count 1152
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 223 place count 137 transition count 1147
Iterating global reduction 3 with 5 rules applied. Total rules applied 228 place count 137 transition count 1147
Performed 24 Post agglomeration using F-continuation condition.Transition count delta: 24
Deduced a syphon composed of 24 places in 0 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 3 with 48 rules applied. Total rules applied 276 place count 113 transition count 1123
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 286 place count 103 transition count 1113
Iterating global reduction 3 with 10 rules applied. Total rules applied 296 place count 103 transition count 1113
Applied a total of 296 rules in 58 ms. Remains 103 /259 variables (removed 156) and now considering 1113/1259 (removed 146) transitions.
[2022-05-17 14:48:22] [INFO ] Flow matrix only has 251 transitions (discarded 862 similar events)
// Phase 1: matrix 251 rows 103 cols
[2022-05-17 14:48:22] [INFO ] Computed 12 place invariants in 1 ms
[2022-05-17 14:48:22] [INFO ] Implicit Places using invariants in 105 ms returned [6, 26, 36, 50, 51, 64, 68, 72, 76, 82]
Discarding 10 places :
Implicit Place search using SMT only with invariants took 108 ms to find 10 implicit places.
Starting structural reductions in SI_LTL mode, iteration 1 : 93/259 places, 1113/1259 transitions.
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 8 place count 85 transition count 1105
Iterating global reduction 0 with 8 rules applied. Total rules applied 16 place count 85 transition count 1105
Discarding 8 places :
Symmetric choice reduction at 0 with 8 rule applications. Total rules 24 place count 77 transition count 1097
Iterating global reduction 0 with 8 rules applied. Total rules applied 32 place count 77 transition count 1097
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 0 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 36 place count 75 transition count 1095
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 38 place count 73 transition count 1093
Iterating global reduction 0 with 2 rules applied. Total rules applied 40 place count 73 transition count 1093
Applied a total of 40 rules in 24 ms. Remains 73 /93 variables (removed 20) and now considering 1093/1113 (removed 20) transitions.
[2022-05-17 14:48:22] [INFO ] Flow matrix only has 71 transitions (discarded 1022 similar events)
// Phase 1: matrix 71 rows 73 cols
[2022-05-17 14:48:22] [INFO ] Computed 2 place invariants in 1 ms
[2022-05-17 14:48:22] [INFO ] Implicit Places using invariants in 86 ms returned []
[2022-05-17 14:48:22] [INFO ] Flow matrix only has 71 transitions (discarded 1022 similar events)
// Phase 1: matrix 71 rows 73 cols
[2022-05-17 14:48:22] [INFO ] Computed 2 place invariants in 0 ms
[2022-05-17 14:48:22] [INFO ] Implicit Places using invariants and state equation in 114 ms returned []
Implicit Place search using SMT with State Equation took 204 ms to find 0 implicit places.
Starting structural reductions in SI_LTL mode, iteration 2 : 73/259 places, 1093/1259 transitions.
Finished structural reductions, in 2 iterations. Remains : 73/259 places, 1093/1259 transitions.
Stuttering acceptance computed with spot in 10 ms :[true]
Running random walk in product with property : LeafsetExtension-PT-S32C3-LTLCardinality-10 automaton TGBA Formula[mat=[[{ cond=true, acceptance={0} source=0 dest: 0}]], initial=0, aps=[], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, terminal, very-weak, weak, inherently-weak], stateDesc=[null][true]]
Entered a terminal (fully accepting) state of product in 0 steps with 0 reset in 0 ms.
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property LeafsetExtension-PT-S32C3-LTLCardinality-10 finished in 418 ms.
Running Spot : cd /home/mcc/execution;'/home/mcc/BenchKit/bin//..//ltl2tgba' '--check=stutter' '--hoaf=tv' '-f' '!((F(G(p0)) U X(X(!F(!(false U p1))))))'
Support contains 5 out of 259 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 259/259 places, 1259/1259 transitions.
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 0 with 4 rules applied. Total rules applied 4 place count 255 transition count 1259
Discarding 23 places :
Symmetric choice reduction at 1 with 23 rule applications. Total rules 27 place count 232 transition count 1236
Iterating global reduction 1 with 23 rules applied. Total rules applied 50 place count 232 transition count 1236
Discarding 18 places :
Symmetric choice reduction at 1 with 18 rule applications. Total rules 68 place count 214 transition count 1218
Iterating global reduction 1 with 18 rules applied. Total rules applied 86 place count 214 transition count 1218
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 1 with 3 rules applied. Total rules applied 89 place count 211 transition count 1218
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 106 place count 194 transition count 1201
Iterating global reduction 2 with 17 rules applied. Total rules applied 123 place count 194 transition count 1201
Discarding 7 places :
Implicit places reduction removed 7 places
Iterating post reduction 2 with 7 rules applied. Total rules applied 130 place count 187 transition count 1201
Discarding 19 places :
Symmetric choice reduction at 3 with 19 rule applications. Total rules 149 place count 168 transition count 1182
Iterating global reduction 3 with 19 rules applied. Total rules applied 168 place count 168 transition count 1182
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 178 place count 158 transition count 1172
Iterating global reduction 3 with 10 rules applied. Total rules applied 188 place count 158 transition count 1172
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 198 place count 148 transition count 1162
Iterating global reduction 3 with 10 rules applied. Total rules applied 208 place count 148 transition count 1162
Discarding 10 places :
Symmetric choice reduction at 3 with 10 rule applications. Total rules 218 place count 138 transition count 1152
Iterating global reduction 3 with 10 rules applied. Total rules applied 228 place count 138 transition count 1152
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 235 place count 131 transition count 1145
Iterating global reduction 3 with 7 rules applied. Total rules applied 242 place count 131 transition count 1145
Applied a total of 242 rules in 33 ms. Remains 131 /259 variables (removed 128) and now considering 1145/1259 (removed 114) transitions.
[2022-05-17 14:48:22] [INFO ] Flow matrix only has 205 transitions (discarded 940 similar events)
// Phase 1: matrix 205 rows 131 cols
[2022-05-17 14:48:22] [INFO ] Computed 7 place invariants in 2 ms
[2022-05-17 14:48:23] [INFO ] Implicit Places using invariants in 107 ms returned [42]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 110 ms to find 1 implicit places.
Starting structural reductions in LTL mode, iteration 1 : 130/259 places, 1145/1259 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 129 transition count 1144
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 129 transition count 1144
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 3 place count 128 transition count 1143
Iterating global reduction 0 with 1 rules applied. Total rules applied 4 place count 128 transition count 1143
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 5 place count 127 transition count 1142
Iterating global reduction 0 with 1 rules applied. Total rules applied 6 place count 127 transition count 1142
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 7 place count 126 transition count 1141
Iterating global reduction 0 with 1 rules applied. Total rules applied 8 place count 126 transition count 1141
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 9 place count 125 transition count 1140
Iterating global reduction 0 with 1 rules applied. Total rules applied 10 place count 125 transition count 1140
Applied a total of 10 rules in 19 ms. Remains 125 /130 variables (removed 5) and now considering 1140/1145 (removed 5) transitions.
[2022-05-17 14:48:23] [INFO ] Flow matrix only has 185 transitions (discarded 955 similar events)
// Phase 1: matrix 185 rows 125 cols
[2022-05-17 14:48:23] [INFO ] Computed 6 place invariants in 2 ms
[2022-05-17 14:48:23] [INFO ] Implicit Places using invariants in 109 ms returned []
[2022-05-17 14:48:23] [INFO ] Flow matrix only has 185 transitions (discarded 955 similar events)
// Phase 1: matrix 185 rows 125 cols
[2022-05-17 14:48:23] [INFO ] Computed 6 place invariants in 6 ms
[2022-05-17 14:48:23] [INFO ] Implicit Places using invariants and state equation in 184 ms returned []
Implicit Place search using SMT with State Equation took 294 ms to find 0 implicit places.
Starting structural reductions in LTL mode, iteration 2 : 125/259 places, 1140/1259 transitions.
Finished structural reductions, in 2 iterations. Remains : 125/259 places, 1140/1259 transitions.
Stuttering acceptance computed with spot in 147 ms :[(NOT p1), (NOT p1), (NOT p1), (NOT p0)]
Running random walk in product with property : LeafsetExtension-PT-S32C3-LTLCardinality-14 automaton TGBA Formula[mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=p1, acceptance={} source=2 dest: 2}, { cond=(NOT p1), acceptance={0} source=2 dest: 2}, { cond=(NOT p1), acceptance={} source=2 dest: 3}], [{ cond=p0, acceptance={} source=3 dest: 3}, { cond=(NOT p0), acceptance={0} source=3 dest: 3}]], initial=0, aps=[p1:(GT s60 s68), p0:(OR (LEQ 1 s108) (LEQ s90 s41))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, no-univ-branch, stutter-sensitive], stateDesc=[null, null, null, null][false, false, false, false]]
Stuttering criterion allowed to conclude after 35111 steps with 1361 reset in 100 ms.
FORMULA LeafsetExtension-PT-S32C3-LTLCardinality-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property LeafsetExtension-PT-S32C3-LTLCardinality-14 finished in 1010 ms.
All properties solved by simple procedures.
Total runtime 12855 ms.
BK_STOP 1652798904048
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination LTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
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="LeafsetExtension-PT-S32C3"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is LeafsetExtension-PT-S32C3, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r132-tall-165271821000507"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S32C3.tgz
mv LeafsetExtension-PT-S32C3 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;