About the Execution of ITS-Tools for DLCshifumi-PT-5b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4663.896 | 314200.00 | 437778.00 | 1341.50 | FFFFTFFTFTTFFFFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r064-tall-162038397300508.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DLCshifumi-PT-5b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-tall-162038397300508
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 108K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 23 09:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 09:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 22 16:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 22 16:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 9.7M May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-5b-00
FORMULA_NAME DLCshifumi-PT-5b-01
FORMULA_NAME DLCshifumi-PT-5b-02
FORMULA_NAME DLCshifumi-PT-5b-03
FORMULA_NAME DLCshifumi-PT-5b-04
FORMULA_NAME DLCshifumi-PT-5b-05
FORMULA_NAME DLCshifumi-PT-5b-06
FORMULA_NAME DLCshifumi-PT-5b-07
FORMULA_NAME DLCshifumi-PT-5b-08
FORMULA_NAME DLCshifumi-PT-5b-09
FORMULA_NAME DLCshifumi-PT-5b-10
FORMULA_NAME DLCshifumi-PT-5b-11
FORMULA_NAME DLCshifumi-PT-5b-12
FORMULA_NAME DLCshifumi-PT-5b-13
FORMULA_NAME DLCshifumi-PT-5b-14
FORMULA_NAME DLCshifumi-PT-5b-15
=== Now, execution of the tool begins
BK_START 1620538223013
Running Version 0
[2021-05-09 05:30:24] [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]
[2021-05-09 05:30:24] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 05:30:25] [INFO ] Load time of PNML (sax parser for PT used): 746 ms
[2021-05-09 05:30:25] [INFO ] Transformed 27146 places.
[2021-05-09 05:30:25] [INFO ] Transformed 39849 transitions.
[2021-05-09 05:30:25] [INFO ] Found NUPN structural information;
[2021-05-09 05:30:26] [INFO ] Parsed PT model containing 27146 places and 39849 transitions in 1896 ms.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 21 ms.
Working with output stream class java.io.PrintStream
[2021-05-09 05:30:26] [INFO ] Initial state test concluded for 4 properties.
FORMULA DLCshifumi-PT-5b-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 19 out of 27146 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 2044 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-09 05:30:31] [INFO ] Computed 1378 place invariants in 249 ms
[2021-05-09 05:30:35] [INFO ] Implicit Places using invariants in 4599 ms returned []
Implicit Place search using SMT only with invariants took 4628 ms to find 0 implicit places.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-09 05:30:36] [INFO ] Computed 1378 place invariants in 147 ms
[2021-05-09 05:30:39] [INFO ] Dead Transitions using invariants and state equation in 3844 ms returned []
Finished structural reductions, in 1 iterations. Remains : 27146/27146 places, 39849/39849 transitions.
[2021-05-09 05:30:41] [INFO ] Initial state reduction rules for LTL removed 2 formulas.
[2021-05-09 05:30:41] [INFO ] Flatten gal took : 1351 ms
FORMULA DLCshifumi-PT-5b-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-09 05:30:42] [INFO ] Flatten gal took : 1064 ms
[2021-05-09 05:30:44] [INFO ] Input system was already deterministic with 39849 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 3862 ms. (steps per millisecond=25 ) properties (out of 6) seen :5
Running SMT prover for 1 properties.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-09 05:30:48] [INFO ] Computed 1378 place invariants in 169 ms
[2021-05-09 05:31:02] [INFO ] [Real]Absence check using 1378 positive place invariants in 6949 ms returned sat
[2021-05-09 05:31:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-09 05:32:28] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(F(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 27146 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25294 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 90 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12912 transitions
Trivial Post-agglo rules discarded 12912 transitions
Performed 12912 trivial Post agglomeration. Transition count delta: 12912
Iterating post reduction 0 with 12912 rules applied. Total rules applied 12913 place count 25040 transition count 24698
Reduce places removed 12912 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13675 rules applied. Total rules applied 26588 place count 12128 transition count 23935
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27213 place count 11749 transition count 23689
Reduce places removed 123 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 3 with 124 rules applied. Total rules applied 27337 place count 11626 transition count 23688
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 27338 place count 11625 transition count 23688
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 123 Pre rules applied. Total rules applied 27338 place count 11625 transition count 23565
Deduced a syphon composed of 123 places in 834 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 5 with 246 rules applied. Total rules applied 27584 place count 11502 transition count 23565
Discarding 3286 places :
Symmetric choice reduction at 5 with 3286 rule applications. Total rules 30870 place count 8216 transition count 20279
Iterating global reduction 5 with 3286 rules applied. Total rules applied 34156 place count 8216 transition count 20279
Performed 1248 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1248 Pre rules applied. Total rules applied 34156 place count 8216 transition count 19031
Deduced a syphon composed of 1248 places in 672 ms
Reduce places removed 1248 places and 0 transitions.
Iterating global reduction 5 with 2496 rules applied. Total rules applied 36652 place count 6968 transition count 19031
Discarding 281 places :
Symmetric choice reduction at 5 with 281 rule applications. Total rules 36933 place count 6687 transition count 13356
Iterating global reduction 5 with 281 rules applied. Total rules applied 37214 place count 6687 transition count 13356
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 5 with 256 rules applied. Total rules applied 37470 place count 6687 transition count 13100
Performed 1780 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1780 places in 5 ms
Reduce places removed 1780 places and 0 transitions.
Iterating global reduction 6 with 3560 rules applied. Total rules applied 41030 place count 4907 transition count 11315
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41035 place count 4907 transition count 11310
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 6 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41237 place count 4806 transition count 11780
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41238 place count 4806 transition count 11779
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41272 place count 4772 transition count 11439
Iterating global reduction 8 with 34 rules applied. Total rules applied 41306 place count 4772 transition count 11439
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 8 with 166 rules applied. Total rules applied 41472 place count 4772 transition count 11273
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41674 place count 4671 transition count 11742
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41707 place count 4638 transition count 11412
Iterating global reduction 9 with 33 rules applied. Total rules applied 41740 place count 4638 transition count 11412
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 9 with 165 rules applied. Total rules applied 41905 place count 4638 transition count 11247
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42107 place count 4537 transition count 11719
Discarding 34 places :
Symmetric choice reduction at 10 with 34 rule applications. Total rules 42141 place count 4503 transition count 11379
Iterating global reduction 10 with 34 rules applied. Total rules applied 42175 place count 4503 transition count 11379
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 10 with 170 rules applied. Total rules applied 42345 place count 4503 transition count 11209
Performed 70 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 70 places in 1 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 11 with 140 rules applied. Total rules applied 42485 place count 4433 transition count 11547
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42507 place count 4411 transition count 11327
Iterating global reduction 11 with 22 rules applied. Total rules applied 42529 place count 4411 transition count 11327
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 110 rules applied. Total rules applied 42639 place count 4411 transition count 11217
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 12 with 24 rules applied. Total rules applied 42663 place count 4411 transition count 11193
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42673 place count 4401 transition count 11173
Iterating global reduction 12 with 10 rules applied. Total rules applied 42683 place count 4401 transition count 11173
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42693 place count 4391 transition count 9901
Iterating global reduction 12 with 10 rules applied. Total rules applied 42703 place count 4391 transition count 9901
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42713 place count 4391 transition count 9891
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42714 place count 4390 transition count 9890
Applied a total of 42714 rules in 15294 ms. Remains 4390 /27146 variables (removed 22756) and now considering 9890/39849 (removed 29959) transitions.
[2021-05-09 05:32:44] [INFO ] Flow matrix only has 9753 transitions (discarded 137 similar events)
// Phase 1: matrix 9753 rows 4390 cols
[2021-05-09 05:32:44] [INFO ] Computed 1378 place invariants in 23 ms
[2021-05-09 05:32:46] [INFO ] Implicit Places using invariants in 2367 ms returned []
[2021-05-09 05:32:46] [INFO ] Flow matrix only has 9753 transitions (discarded 137 similar events)
// Phase 1: matrix 9753 rows 4390 cols
[2021-05-09 05:32:46] [INFO ] Computed 1378 place invariants in 24 ms
[2021-05-09 05:32:48] [INFO ] Implicit Places using invariants and state equation in 2239 ms returned []
Implicit Place search using SMT with State Equation took 4608 ms to find 0 implicit places.
[2021-05-09 05:32:50] [INFO ] Redundant transitions in 1257 ms returned []
[2021-05-09 05:32:50] [INFO ] Flow matrix only has 9753 transitions (discarded 137 similar events)
// Phase 1: matrix 9753 rows 4390 cols
[2021-05-09 05:32:50] [INFO ] Computed 1378 place invariants in 22 ms
[2021-05-09 05:32:55] [INFO ] Dead Transitions using invariants and state equation in 4947 ms returned []
Finished structural reductions, in 1 iterations. Remains : 4390/27146 places, 9890/39849 transitions.
Stuttering acceptance computed with spot in 163 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : DLCshifumi-PT-5b-03 automaton TGBA [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:(AND (EQ s2399 0) (EQ s2533 1))], 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 0 steps with 0 reset in 3 ms.
FORMULA DLCshifumi-PT-5b-03 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-03 finished in 26366 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(G(p0))], workingDir=/home/mcc/execution]
Support contains 2 out of 27146 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25294 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 12 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12910 transitions
Trivial Post-agglo rules discarded 12910 transitions
Performed 12910 trivial Post agglomeration. Transition count delta: 12910
Iterating post reduction 0 with 12910 rules applied. Total rules applied 12911 place count 25040 transition count 24700
Reduce places removed 12910 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13673 rules applied. Total rules applied 26584 place count 12130 transition count 23937
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27209 place count 11751 transition count 23691
Reduce places removed 123 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 3 with 125 rules applied. Total rules applied 27334 place count 11628 transition count 23689
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 27336 place count 11626 transition count 23689
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 123 Pre rules applied. Total rules applied 27336 place count 11626 transition count 23566
Deduced a syphon composed of 123 places in 708 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 5 with 246 rules applied. Total rules applied 27582 place count 11503 transition count 23566
Discarding 3287 places :
Symmetric choice reduction at 5 with 3287 rule applications. Total rules 30869 place count 8216 transition count 20279
Iterating global reduction 5 with 3287 rules applied. Total rules applied 34156 place count 8216 transition count 20279
Performed 1249 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1249 Pre rules applied. Total rules applied 34156 place count 8216 transition count 19030
Deduced a syphon composed of 1249 places in 644 ms
Reduce places removed 1249 places and 0 transitions.
Iterating global reduction 5 with 2498 rules applied. Total rules applied 36654 place count 6967 transition count 19030
Discarding 281 places :
Symmetric choice reduction at 5 with 281 rule applications. Total rules 36935 place count 6686 transition count 13355
Iterating global reduction 5 with 281 rules applied. Total rules applied 37216 place count 6686 transition count 13355
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 5 with 256 rules applied. Total rules applied 37472 place count 6686 transition count 13099
Performed 1779 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1779 places in 3 ms
Reduce places removed 1779 places and 0 transitions.
Iterating global reduction 6 with 3558 rules applied. Total rules applied 41030 place count 4907 transition count 11315
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41035 place count 4907 transition count 11310
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 160 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41237 place count 4806 transition count 11785
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41238 place count 4806 transition count 11784
Discarding 33 places :
Symmetric choice reduction at 8 with 33 rule applications. Total rules 41271 place count 4773 transition count 11454
Iterating global reduction 8 with 33 rules applied. Total rules applied 41304 place count 4773 transition count 11454
Ensure Unique test removed 161 transitions
Reduce isomorphic transitions removed 161 transitions.
Iterating post reduction 8 with 161 rules applied. Total rules applied 41465 place count 4773 transition count 11293
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41667 place count 4672 transition count 11762
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41700 place count 4639 transition count 11432
Iterating global reduction 9 with 33 rules applied. Total rules applied 41733 place count 4639 transition count 11432
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 9 with 165 rules applied. Total rules applied 41898 place count 4639 transition count 11267
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42100 place count 4538 transition count 11739
Discarding 34 places :
Symmetric choice reduction at 10 with 34 rule applications. Total rules 42134 place count 4504 transition count 11399
Iterating global reduction 10 with 34 rules applied. Total rules applied 42168 place count 4504 transition count 11399
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 10 with 170 rules applied. Total rules applied 42338 place count 4504 transition count 11229
Performed 70 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 70 places in 2 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 11 with 140 rules applied. Total rules applied 42478 place count 4434 transition count 11567
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42500 place count 4412 transition count 11347
Iterating global reduction 11 with 22 rules applied. Total rules applied 42522 place count 4412 transition count 11347
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 110 rules applied. Total rules applied 42632 place count 4412 transition count 11237
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 12 with 24 rules applied. Total rules applied 42656 place count 4412 transition count 11213
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42666 place count 4402 transition count 11193
Iterating global reduction 12 with 10 rules applied. Total rules applied 42676 place count 4402 transition count 11193
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42686 place count 4392 transition count 9921
Iterating global reduction 12 with 10 rules applied. Total rules applied 42696 place count 4392 transition count 9921
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42706 place count 4392 transition count 9911
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42707 place count 4391 transition count 9910
Applied a total of 42707 rules in 12821 ms. Remains 4391 /27146 variables (removed 22755) and now considering 9910/39849 (removed 29939) transitions.
[2021-05-09 05:33:08] [INFO ] Flow matrix only has 9768 transitions (discarded 142 similar events)
// Phase 1: matrix 9768 rows 4391 cols
[2021-05-09 05:33:08] [INFO ] Computed 1378 place invariants in 19 ms
[2021-05-09 05:33:10] [INFO ] Implicit Places using invariants in 2328 ms returned []
[2021-05-09 05:33:10] [INFO ] Flow matrix only has 9768 transitions (discarded 142 similar events)
// Phase 1: matrix 9768 rows 4391 cols
[2021-05-09 05:33:10] [INFO ] Computed 1378 place invariants in 22 ms
[2021-05-09 05:33:12] [INFO ] Implicit Places using invariants and state equation in 2252 ms returned []
Implicit Place search using SMT with State Equation took 4582 ms to find 0 implicit places.
[2021-05-09 05:33:13] [INFO ] Redundant transitions in 1114 ms returned []
[2021-05-09 05:33:13] [INFO ] Flow matrix only has 9768 transitions (discarded 142 similar events)
// Phase 1: matrix 9768 rows 4391 cols
[2021-05-09 05:33:13] [INFO ] Computed 1378 place invariants in 21 ms
[2021-05-09 05:33:18] [INFO ] Dead Transitions using invariants and state equation in 5086 ms returned []
Finished structural reductions, in 1 iterations. Remains : 4391/27146 places, 9910/39849 transitions.
Stuttering acceptance computed with spot in 67 ms :[true, (NOT p0)]
Running random walk in product with property : DLCshifumi-PT-5b-08 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}, { cond=p0, acceptance={} source=1 dest: 1}]], initial=1, aps=[p0:(OR (EQ s3004 0) (EQ s66 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null][true, true]]
Entered a terminal (fully accepting) state of product in 1116 steps with 0 reset in 356 ms.
FORMULA DLCshifumi-PT-5b-08 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-08 finished in 24102 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(F(p0)))], workingDir=/home/mcc/execution]
Support contains 1 out of 27146 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1743 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-09 05:33:21] [INFO ] Computed 1378 place invariants in 141 ms
[2021-05-09 05:33:24] [INFO ] Implicit Places using invariants in 3753 ms returned []
Implicit Place search using SMT only with invariants took 3754 ms to find 0 implicit places.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-09 05:33:25] [INFO ] Computed 1378 place invariants in 136 ms
[2021-05-09 05:33:28] [INFO ] Dead Transitions using invariants and state equation in 3700 ms returned []
Finished structural reductions, in 1 iterations. Remains : 27146/27146 places, 39849/39849 transitions.
Stuttering acceptance computed with spot in 60 ms :[(NOT p0), (NOT p0)]
Running random walk in product with property : DLCshifumi-PT-5b-11 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}]], initial=0, aps=[p0:(EQ s13854 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null][false, false]]
Product exploration explored 100000 steps with 9 reset in 2453 ms.
Product exploration explored 100000 steps with 9 reset in 2639 ms.
Knowledge obtained : [(NOT p0)]
Stuttering acceptance computed with spot in 78 ms :[(NOT p0), (NOT p0)]
Product exploration explored 100000 steps with 9 reset in 2407 ms.
Product exploration explored 100000 steps with 9 reset in 2582 ms.
Applying partial POR strategy [false, true]
Stuttering acceptance computed with spot in 49 ms :[(NOT p0), (NOT p0)]
Support contains 1 out of 27146 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25297 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 12 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Performed 12914 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 12914 rules applied. Total rules applied 12915 place count 25041 transition count 37611
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Performed 128 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 1 with 512 rules applied. Total rules applied 13427 place count 25041 transition count 37227
Performed 128 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 128 Pre rules applied. Total rules applied 13427 place count 25041 transition count 37355
Deduced a syphon composed of 13170 places in 1161 ms
Iterating global reduction 2 with 128 rules applied. Total rules applied 13555 place count 25041 transition count 37355
Performed 2779 Post agglomeration using F-continuation condition.
Performed 6547 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 19717 places in 11 ms
Iterating global reduction 2 with 6547 rules applied. Total rules applied 20102 place count 25041 transition count 37355
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Iterating post reduction 2 with 123 rules applied. Total rules applied 20225 place count 25041 transition count 37232
Renaming transitions due to excessive name length > 1024 char.
Discarding 281 places :
Symmetric choice reduction at 3 with 281 rule applications. Total rules 20506 place count 24760 transition count 31557
Deduced a syphon composed of 19717 places in 11 ms
Iterating global reduction 3 with 281 rules applied. Total rules applied 20787 place count 24760 transition count 31557
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 3 with 256 rules applied. Total rules applied 21043 place count 24760 transition count 31301
Performed 123 Post agglomeration using F-continuation condition.Transition count delta: 0
Deduced a syphon composed of 19840 places in 10 ms
Iterating global reduction 4 with 123 rules applied. Total rules applied 21166 place count 24760 transition count 31301
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 19941 places in 11 ms
Iterating global reduction 4 with 101 rules applied. Total rules applied 21267 place count 24760 transition count 32379
Ensure Unique test removed 68 transitions
Reduce isomorphic transitions removed 68 transitions.
Iterating post reduction 4 with 68 rules applied. Total rules applied 21335 place count 24760 transition count 32311
Discarding 339 places :
Symmetric choice reduction at 5 with 339 rule applications. Total rules 21674 place count 24421 transition count 31328
Deduced a syphon composed of 19636 places in 9 ms
Iterating global reduction 5 with 339 rules applied. Total rules applied 22013 place count 24421 transition count 31328
Ensure Unique test removed 200 transitions
Reduce isomorphic transitions removed 200 transitions.
Iterating post reduction 5 with 200 rules applied. Total rules applied 22213 place count 24421 transition count 31128
Discarding 68 places :
Symmetric choice reduction at 6 with 68 rule applications. Total rules 22281 place count 24353 transition count 30992
Deduced a syphon composed of 19568 places in 9 ms
Iterating global reduction 6 with 68 rules applied. Total rules applied 22349 place count 24353 transition count 30992
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 19669 places in 10 ms
Iterating global reduction 6 with 101 rules applied. Total rules applied 22450 place count 24353 transition count 32064
Ensure Unique test removed 66 transitions
Reduce isomorphic transitions removed 66 transitions.
Iterating post reduction 6 with 66 rules applied. Total rules applied 22516 place count 24353 transition count 31998
Discarding 335 places :
Symmetric choice reduction at 7 with 335 rule applications. Total rules 22851 place count 24018 transition count 31031
Deduced a syphon composed of 19367 places in 11 ms
Iterating global reduction 7 with 335 rules applied. Total rules applied 23186 place count 24018 transition count 31031
Ensure Unique test removed 198 transitions
Reduce isomorphic transitions removed 198 transitions.
Iterating post reduction 7 with 198 rules applied. Total rules applied 23384 place count 24018 transition count 30833
Discarding 66 places :
Symmetric choice reduction at 8 with 66 rule applications. Total rules 23450 place count 23952 transition count 30701
Deduced a syphon composed of 19301 places in 8 ms
Iterating global reduction 8 with 66 rules applied. Total rules applied 23516 place count 23952 transition count 30701
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 19402 places in 9 ms
Iterating global reduction 8 with 101 rules applied. Total rules applied 23617 place count 23952 transition count 31778
Ensure Unique test removed 68 transitions
Reduce isomorphic transitions removed 68 transitions.
Iterating post reduction 8 with 68 rules applied. Total rules applied 23685 place count 23952 transition count 31710
Discarding 336 places :
Symmetric choice reduction at 9 with 336 rule applications. Total rules 24021 place count 23616 transition count 30732
Deduced a syphon composed of 19100 places in 8 ms
Iterating global reduction 9 with 336 rules applied. Total rules applied 24357 place count 23616 transition count 30732
Ensure Unique test removed 204 transitions
Reduce isomorphic transitions removed 204 transitions.
Iterating post reduction 9 with 204 rules applied. Total rules applied 24561 place count 23616 transition count 30528
Discarding 68 places :
Symmetric choice reduction at 10 with 68 rule applications. Total rules 24629 place count 23548 transition count 30392
Deduced a syphon composed of 19032 places in 9 ms
Iterating global reduction 10 with 68 rules applied. Total rules applied 24697 place count 23548 transition count 30392
Performed 84 Post agglomeration using F-continuation condition with reduction of 140 identical transitions.
Deduced a syphon composed of 19116 places in 11 ms
Iterating global reduction 10 with 84 rules applied. Total rules applied 24781 place count 23548 transition count 31210
Ensure Unique test removed 59 transitions
Reduce isomorphic transitions removed 59 transitions.
Iterating post reduction 10 with 59 rules applied. Total rules applied 24840 place count 23548 transition count 31151
Discarding 286 places :
Symmetric choice reduction at 11 with 286 rule applications. Total rules 25126 place count 23262 transition count 30371
Deduced a syphon composed of 18852 places in 9 ms
Iterating global reduction 11 with 286 rules applied. Total rules applied 25412 place count 23262 transition count 30371
Ensure Unique test removed 132 transitions
Reduce isomorphic transitions removed 132 transitions.
Iterating post reduction 11 with 132 rules applied. Total rules applied 25544 place count 23262 transition count 30239
Discarding 44 places :
Symmetric choice reduction at 12 with 44 rule applications. Total rules 25588 place count 23218 transition count 30151
Deduced a syphon composed of 18808 places in 8 ms
Iterating global reduction 12 with 44 rules applied. Total rules applied 25632 place count 23218 transition count 30151
Deduced a syphon composed of 18808 places in 9 ms
Applied a total of 25632 rules in 69961 ms. Remains 23218 /27146 variables (removed 3928) and now considering 30151/39849 (removed 9698) transitions.
[2021-05-09 05:34:50] [INFO ] Flow matrix only has 30002 transitions (discarded 149 similar events)
// Phase 1: matrix 30002 rows 23218 cols
[2021-05-09 05:35:02] [INFO ] Computed 1378 place invariants in 11819 ms
[2021-05-09 05:35:04] [INFO ] Dead Transitions using invariants and state equation in 13881 ms returned []
Finished structural reductions, in 1 iterations. Remains : 23218/27146 places, 30151/39849 transitions.
Stuttering criterion allowed to conclude after 2 steps with 0 reset in 22 ms.
FORMULA DLCshifumi-PT-5b-11 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-11 finished in 104858 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(p0))], workingDir=/home/mcc/execution]
Support contains 2 out of 27146 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Graph (trivial) has 25295 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 12 ms
Free SCC test removed 2105 places
Ensure Unique test removed 2238 transitions
Reduce isomorphic transitions removed 2238 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12912 transitions
Trivial Post-agglo rules discarded 12912 transitions
Performed 12912 trivial Post agglomeration. Transition count delta: 12912
Iterating post reduction 0 with 12912 rules applied. Total rules applied 12913 place count 25040 transition count 24698
Reduce places removed 12912 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 379 transitions
Trivial Post-agglo rules discarded 379 transitions
Performed 379 trivial Post agglomeration. Transition count delta: 379
Iterating post reduction 1 with 13675 rules applied. Total rules applied 26588 place count 12128 transition count 23935
Reduce places removed 379 places and 0 transitions.
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Drop transitions removed 123 transitions
Trivial Post-agglo rules discarded 123 transitions
Performed 123 trivial Post agglomeration. Transition count delta: 123
Iterating post reduction 2 with 625 rules applied. Total rules applied 27213 place count 11749 transition count 23689
Reduce places removed 123 places and 0 transitions.
Iterating post reduction 3 with 123 rules applied. Total rules applied 27336 place count 11626 transition count 23689
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 123 Pre rules applied. Total rules applied 27336 place count 11626 transition count 23566
Deduced a syphon composed of 123 places in 751 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 4 with 246 rules applied. Total rules applied 27582 place count 11503 transition count 23566
Discarding 3288 places :
Symmetric choice reduction at 4 with 3288 rule applications. Total rules 30870 place count 8215 transition count 20278
Iterating global reduction 4 with 3288 rules applied. Total rules applied 34158 place count 8215 transition count 20278
Performed 1250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1250 Pre rules applied. Total rules applied 34158 place count 8215 transition count 19028
Deduced a syphon composed of 1250 places in 627 ms
Reduce places removed 1250 places and 0 transitions.
Iterating global reduction 4 with 2500 rules applied. Total rules applied 36658 place count 6965 transition count 19028
Discarding 281 places :
Symmetric choice reduction at 4 with 281 rule applications. Total rules 36939 place count 6684 transition count 13353
Iterating global reduction 4 with 281 rules applied. Total rules applied 37220 place count 6684 transition count 13353
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 4 with 256 rules applied. Total rules applied 37476 place count 6684 transition count 13097
Performed 1776 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1776 places in 3 ms
Reduce places removed 1776 places and 0 transitions.
Iterating global reduction 5 with 3552 rules applied. Total rules applied 41028 place count 4908 transition count 11316
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 5 with 5 rules applied. Total rules applied 41033 place count 4908 transition count 11311
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 41235 place count 4807 transition count 11781
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 41236 place count 4807 transition count 11780
Discarding 34 places :
Symmetric choice reduction at 7 with 34 rule applications. Total rules 41270 place count 4773 transition count 11440
Iterating global reduction 7 with 34 rules applied. Total rules applied 41304 place count 4773 transition count 11440
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 7 with 166 rules applied. Total rules applied 41470 place count 4773 transition count 11274
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 41672 place count 4672 transition count 11743
Discarding 33 places :
Symmetric choice reduction at 8 with 33 rule applications. Total rules 41705 place count 4639 transition count 11413
Iterating global reduction 8 with 33 rules applied. Total rules applied 41738 place count 4639 transition count 11413
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 8 with 165 rules applied. Total rules applied 41903 place count 4639 transition count 11248
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 101 places in 2 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 42105 place count 4538 transition count 11720
Discarding 34 places :
Symmetric choice reduction at 9 with 34 rule applications. Total rules 42139 place count 4504 transition count 11380
Iterating global reduction 9 with 34 rules applied. Total rules applied 42173 place count 4504 transition count 11380
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 9 with 170 rules applied. Total rules applied 42343 place count 4504 transition count 11210
Performed 75 Post agglomeration using F-continuation condition with reduction of 105 identical transitions.
Deduced a syphon composed of 75 places in 1 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 10 with 150 rules applied. Total rules applied 42493 place count 4429 transition count 11590
Discarding 21 places :
Symmetric choice reduction at 10 with 21 rule applications. Total rules 42514 place count 4408 transition count 11380
Iterating global reduction 10 with 21 rules applied. Total rules applied 42535 place count 4408 transition count 11380
Ensure Unique test removed 105 transitions
Reduce isomorphic transitions removed 105 transitions.
Iterating post reduction 10 with 105 rules applied. Total rules applied 42640 place count 4408 transition count 11275
Drop transitions removed 36 transitions
Redundant transition composition rules discarded 36 transitions
Iterating global reduction 11 with 36 rules applied. Total rules applied 42676 place count 4408 transition count 11239
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 42686 place count 4398 transition count 11219
Iterating global reduction 11 with 10 rules applied. Total rules applied 42696 place count 4398 transition count 11219
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 42706 place count 4388 transition count 9943
Iterating global reduction 11 with 10 rules applied. Total rules applied 42716 place count 4388 transition count 9943
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 11 with 10 rules applied. Total rules applied 42726 place count 4388 transition count 9933
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 12 with 1 rules applied. Total rules applied 42727 place count 4387 transition count 9932
Applied a total of 42727 rules in 10971 ms. Remains 4387 /27146 variables (removed 22759) and now considering 9932/39849 (removed 29917) transitions.
[2021-05-09 05:35:15] [INFO ] Flow matrix only has 9780 transitions (discarded 152 similar events)
// Phase 1: matrix 9780 rows 4387 cols
[2021-05-09 05:35:15] [INFO ] Computed 1378 place invariants in 19 ms
[2021-05-09 05:35:17] [INFO ] Implicit Places using invariants in 2293 ms returned []
[2021-05-09 05:35:17] [INFO ] Flow matrix only has 9780 transitions (discarded 152 similar events)
// Phase 1: matrix 9780 rows 4387 cols
[2021-05-09 05:35:17] [INFO ] Computed 1378 place invariants in 21 ms
[2021-05-09 05:35:19] [INFO ] Implicit Places using invariants and state equation in 2439 ms returned []
Implicit Place search using SMT with State Equation took 4734 ms to find 0 implicit places.
[2021-05-09 05:35:21] [INFO ] Redundant transitions in 1165 ms returned []
[2021-05-09 05:35:21] [INFO ] Flow matrix only has 9780 transitions (discarded 152 similar events)
// Phase 1: matrix 9780 rows 4387 cols
[2021-05-09 05:35:21] [INFO ] Computed 1378 place invariants in 20 ms
[2021-05-09 05:35:26] [INFO ] Dead Transitions using invariants and state equation in 4862 ms returned []
Finished structural reductions, in 1 iterations. Remains : 4387/27146 places, 9932/39849 transitions.
Stuttering acceptance computed with spot in 45 ms :[(NOT p0)]
Running random walk in product with property : DLCshifumi-PT-5b-12 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}]], initial=0, aps=[p0:(AND (EQ s645 0) (EQ s530 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, colored, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant, very-weak, weak, inherently-weak], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 0 steps with 0 reset in 0 ms.
FORMULA DLCshifumi-PT-5b-12 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-12 finished in 21840 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(G((X(p1)&&p0))))], workingDir=/home/mcc/execution]
Support contains 5 out of 27146 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 27146/27146 places, 39849/39849 transitions.
Applied a total of 0 rules in 1563 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-09 05:35:27] [INFO ] Computed 1378 place invariants in 137 ms
[2021-05-09 05:35:31] [INFO ] Implicit Places using invariants in 3660 ms returned []
Implicit Place search using SMT only with invariants took 3661 ms to find 0 implicit places.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-09 05:35:31] [INFO ] Computed 1378 place invariants in 149 ms
[2021-05-09 05:35:35] [INFO ] Dead Transitions using invariants and state equation in 3864 ms returned []
Finished structural reductions, in 1 iterations. Remains : 27146/27146 places, 39849/39849 transitions.
Stuttering acceptance computed with spot in 98 ms :[(OR (NOT p0) (NOT p1)), (OR (NOT p1) (NOT p0)), (OR (NOT p0) (NOT p1)), true]
Running random walk in product with property : DLCshifumi-PT-5b-13 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=p0, acceptance={} source=1 dest: 2}, { cond=(NOT p0), acceptance={} source=1 dest: 3}], [{ cond=(AND p0 p1), acceptance={} source=2 dest: 2}, { cond=(OR (NOT p0) (NOT p1)), acceptance={} source=2 dest: 3}], [{ cond=true, acceptance={0} source=3 dest: 3}]], initial=0, aps=[p0:(AND (EQ s2281 1) (OR (EQ s5198 0) (EQ s25620 1))), p1:(OR (AND (EQ s26860 0) (EQ s21489 1)) (AND (EQ s25620 0) (EQ s5198 1)))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Entered a terminal (fully accepting) state of product in 1 steps with 0 reset in 2 ms.
FORMULA DLCshifumi-PT-5b-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property DLCshifumi-PT-5b-13 finished in 10259 ms.
All properties solved without resorting to model-checking.
BK_STOP 1620538537213
--------------------
content from stderr:
+ 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
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -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=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
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="DLCshifumi-PT-5b"
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 DLCshifumi-PT-5b, 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 r064-tall-162038397300508"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5b.tgz
mv DLCshifumi-PT-5b 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 ;