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 |
| 6359.924 | 3600000.00 | 4355219.00 | 10057.50 | ??FT????TFT??T?T | 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-162038397300505.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-tall-162038397300505
=====================================================================
--------------------
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 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 108K May 10 09:42 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-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-5b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1620775469842
Running Version 0
[2021-05-11 23:24:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -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-11 23:24:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 23:24:58] [INFO ] Load time of PNML (sax parser for PT used): 7658 ms
[2021-05-11 23:25:01] [INFO ] Transformed 27146 places.
[2021-05-11 23:25:02] [INFO ] Transformed 39849 transitions.
[2021-05-11 23:25:02] [INFO ] Found NUPN structural information;
[2021-05-11 23:25:07] [INFO ] Parsed PT model containing 27146 places and 39849 transitions in 16941 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 828 ms.
Support contains 639 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 19057 ms. Remains 27146 /27146 variables (removed 0) and now considering 39849/39849 (removed 0) transitions.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-11 23:25:55] [INFO ] Computed 1378 place invariants in 2190 ms
[2021-05-11 23:26:20] [INFO ] Implicit Places using invariants in 27623 ms returned []
Implicit Place search using SMT only with invariants took 27926 ms to find 0 implicit places.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-11 23:26:22] [INFO ] Computed 1378 place invariants in 1469 ms
[2021-05-11 23:26:44] [INFO ] Dead Transitions using invariants and state equation in 23212 ms returned []
Finished structural reductions, in 1 iterations. Remains : 27146/27146 places, 39849/39849 transitions.
[2021-05-11 23:26:57] [INFO ] Flatten gal took : 10318 ms
[2021-05-11 23:27:04] [INFO ] Flatten gal took : 7479 ms
[2021-05-11 23:27:22] [INFO ] Input system was already deterministic with 39849 transitions.
Incomplete random walk after 100000 steps, including 2 resets, run finished after 28319 ms. (steps per millisecond=3 ) properties (out of 64) seen :23
Running SMT prover for 41 properties.
// Phase 1: matrix 39849 rows 27146 cols
[2021-05-11 23:27:54] [INFO ] Computed 1378 place invariants in 785 ms
[2021-05-11 23:28:56] [INFO ] SMT Verify possible in real domain returnedunsat :33 sat :0 real:8
[2021-05-11 23:30:36] [INFO ] [Nat]Absence check using 1378 positive place invariants in 45847 ms returned unknown
[2021-05-11 23:30:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 23:30:37] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Successfully simplified 36 atomic propositions for a total of 16 simplifications.
[2021-05-11 23:30:37] [INFO ] Initial state test concluded for 2 properties.
FORMULA DLCshifumi-PT-5b-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DLCshifumi-PT-5b-CTLCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Graph (trivial) has 25290 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 451 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 378 transitions
Trivial Post-agglo rules discarded 378 transitions
Performed 378 trivial Post agglomeration. Transition count delta: 378
Iterating post reduction 1 with 13672 rules applied. Total rules applied 26583 place count 12130 transition count 23938
Reduce places removed 378 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 624 rules applied. Total rules applied 27207 place count 11752 transition count 23692
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 27332 place count 11629 transition count 23690
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 27334 place count 11627 transition count 23690
Performed 124 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 124 Pre rules applied. Total rules applied 27334 place count 11627 transition count 23566
Deduced a syphon composed of 124 places in 8544 ms
Reduce places removed 124 places and 0 transitions.
Iterating global reduction 5 with 248 rules applied. Total rules applied 27582 place count 11503 transition count 23566
Discarding 3284 places :
Symmetric choice reduction at 5 with 3284 rule applications. Total rules 30866 place count 8219 transition count 20282
Iterating global reduction 5 with 3284 rules applied. Total rules applied 34150 place count 8219 transition count 20282
Performed 1247 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1247 Pre rules applied. Total rules applied 34150 place count 8219 transition count 19035
Deduced a syphon composed of 1247 places in 5495 ms
Reduce places removed 1247 places and 0 transitions.
Iterating global reduction 5 with 2494 rules applied. Total rules applied 36644 place count 6972 transition count 19035
Discarding 281 places :
Symmetric choice reduction at 5 with 281 rule applications. Total rules 36925 place count 6691 transition count 13360
Iterating global reduction 5 with 281 rules applied. Total rules applied 37206 place count 6691 transition count 13360
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 5 with 256 rules applied. Total rules applied 37462 place count 6691 transition count 13104
Performed 1779 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1779 places in 50 ms
Reduce places removed 1779 places and 0 transitions.
Iterating global reduction 6 with 3558 rules applied. Total rules applied 41020 place count 4912 transition count 11320
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41025 place count 4912 transition count 11315
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 18 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41227 place count 4811 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 41228 place count 4811 transition count 11784
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41262 place count 4777 transition count 11444
Iterating global reduction 8 with 34 rules applied. Total rules applied 41296 place count 4777 transition count 11444
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 8 with 166 rules applied. Total rules applied 41462 place count 4777 transition count 11278
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 16 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41664 place count 4676 transition count 11747
Discarding 33 places :
Symmetric choice reduction at 9 with 33 rule applications. Total rules 41697 place count 4643 transition count 11417
Iterating global reduction 9 with 33 rules applied. Total rules applied 41730 place count 4643 transition count 11417
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 9 with 165 rules applied. Total rules applied 41895 place count 4643 transition count 11252
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 101 places in 9 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42097 place count 4542 transition count 11724
Discarding 34 places :
Symmetric choice reduction at 10 with 34 rule applications. Total rules 42131 place count 4508 transition count 11384
Iterating global reduction 10 with 34 rules applied. Total rules applied 42165 place count 4508 transition count 11384
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 10 with 170 rules applied. Total rules applied 42335 place count 4508 transition count 11214
Performed 76 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 76 places in 7 ms
Reduce places removed 76 places and 0 transitions.
Iterating global reduction 11 with 152 rules applied. Total rules applied 42487 place count 4432 transition count 11593
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42509 place count 4410 transition count 11373
Iterating global reduction 11 with 22 rules applied. Total rules applied 42531 place count 4410 transition count 11373
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 110 rules applied. Total rules applied 42641 place count 4410 transition count 11263
Drop transitions removed 38 transitions
Redundant transition composition rules discarded 38 transitions
Iterating global reduction 12 with 38 rules applied. Total rules applied 42679 place count 4410 transition count 11225
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42689 place count 4400 transition count 11205
Iterating global reduction 12 with 10 rules applied. Total rules applied 42699 place count 4400 transition count 11205
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42709 place count 4390 transition count 9929
Iterating global reduction 12 with 10 rules applied. Total rules applied 42719 place count 4390 transition count 9929
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42729 place count 4390 transition count 9919
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42730 place count 4389 transition count 9918
Applied a total of 42730 rules in 119113 ms. Remains 4389 /27146 variables (removed 22757) and now considering 9918/39849 (removed 29931) transitions.
[2021-05-11 23:32:47] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 23:32:56] [INFO ] Flatten gal took : 11495 ms
FORMULA DLCshifumi-PT-5b-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 23:33:06] [INFO ] Flatten gal took : 10141 ms
[2021-05-11 23:33:11] [INFO ] Input system was already deterministic with 9918 transitions.
Graph (trivial) has 25284 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 235 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 12900 transitions
Trivial Post-agglo rules discarded 12900 transitions
Performed 12900 trivial Post agglomeration. Transition count delta: 12900
Iterating post reduction 0 with 12900 rules applied. Total rules applied 12901 place count 25040 transition count 24710
Reduce places removed 12900 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 13663 rules applied. Total rules applied 26564 place count 12140 transition count 23947
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 27189 place count 11761 transition count 23701
Reduce places removed 123 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 3 with 129 rules applied. Total rules applied 27318 place count 11638 transition count 23695
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 27324 place count 11632 transition count 23695
Performed 125 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 125 Pre rules applied. Total rules applied 27324 place count 11632 transition count 23570
Deduced a syphon composed of 125 places in 8185 ms
Reduce places removed 125 places and 0 transitions.
Iterating global reduction 5 with 250 rules applied. Total rules applied 27574 place count 11507 transition count 23570
Discarding 3284 places :
Symmetric choice reduction at 5 with 3284 rule applications. Total rules 30858 place count 8223 transition count 20286
Iterating global reduction 5 with 3284 rules applied. Total rules applied 34142 place count 8223 transition count 20286
Performed 1249 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1249 Pre rules applied. Total rules applied 34142 place count 8223 transition count 19037
Deduced a syphon composed of 1249 places in 7024 ms
Reduce places removed 1249 places and 0 transitions.
Iterating global reduction 5 with 2498 rules applied. Total rules applied 36640 place count 6974 transition count 19037
Discarding 278 places :
Symmetric choice reduction at 5 with 278 rule applications. Total rules 36918 place count 6696 transition count 13377
Iterating global reduction 5 with 278 rules applied. Total rules applied 37196 place count 6696 transition count 13377
Ensure Unique test removed 253 transitions
Reduce isomorphic transitions removed 253 transitions.
Iterating post reduction 5 with 253 rules applied. Total rules applied 37449 place count 6696 transition count 13124
Performed 1778 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1778 places in 41 ms
Reduce places removed 1778 places and 0 transitions.
Iterating global reduction 6 with 3556 rules applied. Total rules applied 41005 place count 4918 transition count 11341
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41010 place count 4918 transition count 11336
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 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41212 place count 4817 transition count 11806
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 41213 place count 4817 transition count 11805
Discarding 34 places :
Symmetric choice reduction at 8 with 34 rule applications. Total rules 41247 place count 4783 transition count 11465
Iterating global reduction 8 with 34 rules applied. Total rules applied 41281 place count 4783 transition count 11465
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 8 with 166 rules applied. Total rules applied 41447 place count 4783 transition count 11299
Performed 101 Post agglomeration using F-continuation condition with reduction of 160 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 41649 place count 4682 transition count 11773
Discarding 32 places :
Symmetric choice reduction at 9 with 32 rule applications. Total rules 41681 place count 4650 transition count 11453
Iterating global reduction 9 with 32 rules applied. Total rules applied 41713 place count 4650 transition count 11453
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Iterating post reduction 9 with 160 rules applied. Total rules applied 41873 place count 4650 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 5 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42075 place count 4549 transition count 11759
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 42108 place count 4516 transition count 11429
Iterating global reduction 10 with 33 rules applied. Total rules applied 42141 place count 4516 transition count 11429
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Iterating post reduction 10 with 160 rules applied. Total rules applied 42301 place count 4516 transition count 11269
Performed 70 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 70 places in 4 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 11 with 140 rules applied. Total rules applied 42441 place count 4446 transition count 11610
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42463 place count 4424 transition count 11390
Iterating global reduction 11 with 22 rules applied. Total rules applied 42485 place count 4424 transition count 11390
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 110 rules applied. Total rules applied 42595 place count 4424 transition count 11280
Drop transitions removed 27 transitions
Redundant transition composition rules discarded 27 transitions
Iterating global reduction 12 with 27 rules applied. Total rules applied 42622 place count 4424 transition count 11253
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42632 place count 4414 transition count 11233
Iterating global reduction 12 with 10 rules applied. Total rules applied 42642 place count 4414 transition count 11233
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42652 place count 4404 transition count 9959
Iterating global reduction 12 with 10 rules applied. Total rules applied 42662 place count 4404 transition count 9959
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42672 place count 4404 transition count 9949
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42673 place count 4403 transition count 9948
Applied a total of 42673 rules in 121776 ms. Remains 4403 /27146 variables (removed 22743) and now considering 9948/39849 (removed 29901) transitions.
[2021-05-11 23:35:37] [INFO ] Flatten gal took : 19641 ms
[2021-05-11 23:35:59] [INFO ] Flatten gal took : 21499 ms
[2021-05-11 23:36:04] [INFO ] Input system was already deterministic with 9948 transitions.
[2021-05-11 23:36:25] [INFO ] Flatten gal took : 20261 ms
[2021-05-11 23:36:44] [INFO ] Flatten gal took : 19850 ms
[2021-05-11 23:36:46] [INFO ] Time to serialize gal into /tmp/CTLCardinality13370986099224592661.gal : 1260 ms
[2021-05-11 23:36:46] [INFO ] Time to serialize properties into /tmp/CTLCardinality5655424796007711818.ctl : 33 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality13370986099224592661.gal, -t, CGAL, -ctl, /tmp/CTLCardinality5655424796007711818.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality13370986099224592661.gal -t CGAL -ctl /tmp/CTLCardinality5655424796007711818.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 23:37:37] [INFO ] Flatten gal took : 20703 ms
[2021-05-11 23:37:37] [INFO ] Applying decomposition
[2021-05-11 23:37:57] [INFO ] Flatten gal took : 20687 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph10394146491889169052.txt, -o, /tmp/graph10394146491889169052.bin, -w, /tmp/graph10394146491889169052.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph10394146491889169052.bin, -l, -1, -v, -w, /tmp/graph10394146491889169052.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 23:38:03] [INFO ] Decomposing Gal with order
[2021-05-11 23:38:05] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 23:38:27] [INFO ] Removed a total of 29154 redundant transitions.
[2021-05-11 23:38:29] [INFO ] Flatten gal took : 6664 ms
[2021-05-11 23:38:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 1033 labels/synchronizations in 22667 ms.
[2021-05-11 23:39:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality14062248303269724632.gal : 592 ms
[2021-05-11 23:39:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality7089448228630252985.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality14062248303269724632.gal, -t, CGAL, -ctl, /tmp/CTLCardinality7089448228630252985.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality14062248303269724632.gal -t CGAL -ctl /tmp/CTLCardinality7089448228630252985.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (trivial) has 25229 edges and 27146 vertex of which 2179 / 27146 are part of one of the 142 SCC in 86 ms
Free SCC test removed 2037 places
Ensure Unique test removed 2164 transitions
Reduce isomorphic transitions removed 2164 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12898 transitions
Trivial Post-agglo rules discarded 12898 transitions
Performed 12898 trivial Post agglomeration. Transition count delta: 12898
Iterating post reduction 0 with 12898 rules applied. Total rules applied 12899 place count 25108 transition count 24786
Reduce places removed 12898 places and 0 transitions.
Ensure Unique test removed 382 transitions
Reduce isomorphic transitions removed 382 transitions.
Drop transitions removed 376 transitions
Trivial Post-agglo rules discarded 376 transitions
Performed 376 trivial Post agglomeration. Transition count delta: 376
Iterating post reduction 1 with 13656 rules applied. Total rules applied 26555 place count 12210 transition count 24028
Reduce places removed 376 places and 0 transitions.
Ensure Unique test removed 121 transitions
Reduce isomorphic transitions removed 121 transitions.
Drop transitions removed 120 transitions
Trivial Post-agglo rules discarded 120 transitions
Performed 120 trivial Post agglomeration. Transition count delta: 120
Iterating post reduction 2 with 617 rules applied. Total rules applied 27172 place count 11834 transition count 23787
Reduce places removed 120 places and 0 transitions.
Performed 21 Post agglomeration using F-continuation condition.Transition count delta: 21
Iterating post reduction 3 with 141 rules applied. Total rules applied 27313 place count 11714 transition count 23766
Reduce places removed 21 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 23 rules applied. Total rules applied 27336 place count 11693 transition count 23764
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 27337 place count 11692 transition count 23764
Performed 142 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 142 Pre rules applied. Total rules applied 27337 place count 11692 transition count 23622
Deduced a syphon composed of 142 places in 9541 ms
Reduce places removed 142 places and 0 transitions.
Iterating global reduction 6 with 284 rules applied. Total rules applied 27621 place count 11550 transition count 23622
Discarding 3260 places :
Symmetric choice reduction at 6 with 3260 rule applications. Total rules 30881 place count 8290 transition count 20362
Iterating global reduction 6 with 3260 rules applied. Total rules applied 34141 place count 8290 transition count 20362
Performed 1240 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1240 Pre rules applied. Total rules applied 34141 place count 8290 transition count 19122
Deduced a syphon composed of 1240 places in 6781 ms
Reduce places removed 1240 places and 0 transitions.
Iterating global reduction 6 with 2480 rules applied. Total rules applied 36621 place count 7050 transition count 19122
Discarding 265 places :
Symmetric choice reduction at 6 with 265 rule applications. Total rules 36886 place count 6785 transition count 13893
Iterating global reduction 6 with 265 rules applied. Total rules applied 37151 place count 6785 transition count 13893
Ensure Unique test removed 241 transitions
Reduce isomorphic transitions removed 241 transitions.
Iterating post reduction 6 with 241 rules applied. Total rules applied 37392 place count 6785 transition count 13652
Performed 1798 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1798 places in 7 ms
Reduce places removed 1798 places and 0 transitions.
Iterating global reduction 7 with 3596 rules applied. Total rules applied 40988 place count 4987 transition count 11849
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 7 with 5 rules applied. Total rules applied 40993 place count 4987 transition count 11844
Renaming transitions due to excessive name length > 1024 char.
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 40994 place count 4986 transition count 11717
Iterating global reduction 8 with 1 rules applied. Total rules applied 40995 place count 4986 transition count 11717
Performed 101 Post agglomeration using F-continuation condition with reduction of 160 identical transitions.
Deduced a syphon composed of 101 places in 23 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 41197 place count 4885 transition count 12191
Discarding 33 places :
Symmetric choice reduction at 8 with 33 rule applications. Total rules 41230 place count 4852 transition count 11861
Iterating global reduction 8 with 33 rules applied. Total rules applied 41263 place count 4852 transition count 11861
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Iterating post reduction 8 with 160 rules applied. Total rules applied 41423 place count 4852 transition count 11701
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 9 with 202 rules applied. Total rules applied 41625 place count 4751 transition count 12167
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 41626 place count 4751 transition count 12166
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 41659 place count 4718 transition count 11836
Iterating global reduction 10 with 33 rules applied. Total rules applied 41692 place count 4718 transition count 11836
Ensure Unique test removed 161 transitions
Reduce isomorphic transitions removed 161 transitions.
Iterating post reduction 10 with 161 rules applied. Total rules applied 41853 place count 4718 transition count 11675
Performed 101 Post agglomeration using F-continuation condition with reduction of 160 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 11 with 202 rules applied. Total rules applied 42055 place count 4617 transition count 12145
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 42056 place count 4617 transition count 12144
Discarding 34 places :
Symmetric choice reduction at 12 with 34 rule applications. Total rules 42090 place count 4583 transition count 11804
Iterating global reduction 12 with 34 rules applied. Total rules applied 42124 place count 4583 transition count 11804
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Iterating post reduction 12 with 160 rules applied. Total rules applied 42284 place count 4583 transition count 11644
Performed 82 Post agglomeration using F-continuation condition with reduction of 115 identical transitions.
Deduced a syphon composed of 82 places in 4 ms
Reduce places removed 82 places and 0 transitions.
Iterating global reduction 13 with 164 rules applied. Total rules applied 42448 place count 4501 transition count 12057
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 42449 place count 4501 transition count 12056
Discarding 24 places :
Symmetric choice reduction at 14 with 24 rule applications. Total rules 42473 place count 4477 transition count 11816
Iterating global reduction 14 with 24 rules applied. Total rules applied 42497 place count 4477 transition count 11816
Ensure Unique test removed 116 transitions
Reduce isomorphic transitions removed 116 transitions.
Iterating post reduction 14 with 116 rules applied. Total rules applied 42613 place count 4477 transition count 11700
Drop transitions removed 42 transitions
Redundant transition composition rules discarded 42 transitions
Iterating global reduction 15 with 42 rules applied. Total rules applied 42655 place count 4477 transition count 11658
Discarding 8 places :
Symmetric choice reduction at 15 with 8 rule applications. Total rules 42663 place count 4469 transition count 11642
Iterating global reduction 15 with 8 rules applied. Total rules applied 42671 place count 4469 transition count 11642
Discarding 8 places :
Symmetric choice reduction at 15 with 8 rule applications. Total rules 42679 place count 4461 transition count 10616
Iterating global reduction 15 with 8 rules applied. Total rules applied 42687 place count 4461 transition count 10616
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 15 with 8 rules applied. Total rules applied 42695 place count 4461 transition count 10608
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 16 with 1 rules applied. Total rules applied 42696 place count 4460 transition count 10607
Applied a total of 42696 rules in 111748 ms. Remains 4460 /27146 variables (removed 22686) and now considering 10607/39849 (removed 29242) transitions.
[2021-05-11 23:41:40] [INFO ] Flatten gal took : 12235 ms
[2021-05-11 23:41:51] [INFO ] Flatten gal took : 11308 ms
[2021-05-11 23:41:57] [INFO ] Input system was already deterministic with 10607 transitions.
[2021-05-11 23:42:11] [INFO ] Flatten gal took : 12840 ms
[2021-05-11 23:42:23] [INFO ] Flatten gal took : 12627 ms
[2021-05-11 23:42:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality13764272761661678139.gal : 302 ms
[2021-05-11 23:42:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality9830435534076521483.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality13764272761661678139.gal, -t, CGAL, -ctl, /tmp/CTLCardinality9830435534076521483.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality13764272761661678139.gal -t CGAL -ctl /tmp/CTLCardinality9830435534076521483.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 23:43:05] [INFO ] Flatten gal took : 11359 ms
[2021-05-11 23:43:05] [INFO ] Applying decomposition
[2021-05-11 23:43:15] [INFO ] Flatten gal took : 9636 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph16148221424679170207.txt, -o, /tmp/graph16148221424679170207.bin, -w, /tmp/graph16148221424679170207.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph16148221424679170207.bin, -l, -1, -v, -w, /tmp/graph16148221424679170207.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 23:43:22] [INFO ] Decomposing Gal with order
[2021-05-11 23:43:24] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 23:43:42] [INFO ] Removed a total of 30306 redundant transitions.
[2021-05-11 23:43:44] [INFO ] Flatten gal took : 6219 ms
[2021-05-11 23:44:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 1369 labels/synchronizations in 13035 ms.
[2021-05-11 23:44:07] [INFO ] Time to serialize gal into /tmp/CTLCardinality5942460539224385941.gal : 248 ms
[2021-05-11 23:44:07] [INFO ] Time to serialize properties into /tmp/CTLCardinality6235886447294567451.ctl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality5942460539224385941.gal, -t, CGAL, -ctl, /tmp/CTLCardinality6235886447294567451.ctl, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLCardinality5942460539224385941.gal -t CGAL -ctl /tmp/CTLCardinality6235886447294567451.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Graph (trivial) has 25257 edges and 27146 vertex of which 2225 / 27146 are part of one of the 142 SCC in 43 ms
Free SCC test removed 2083 places
Ensure Unique test removed 2214 transitions
Reduce isomorphic transitions removed 2214 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12896 transitions
Trivial Post-agglo rules discarded 12896 transitions
Performed 12896 trivial Post agglomeration. Transition count delta: 12896
Iterating post reduction 0 with 12896 rules applied. Total rules applied 12897 place count 25062 transition count 24738
Reduce places removed 12896 places and 0 transitions.
Ensure Unique test removed 382 transitions
Reduce isomorphic transitions removed 382 transitions.
Drop transitions removed 377 transitions
Trivial Post-agglo rules discarded 377 transitions
Performed 377 trivial Post agglomeration. Transition count delta: 377
Iterating post reduction 1 with 13655 rules applied. Total rules applied 26552 place count 12166 transition count 23979
Reduce places removed 377 places and 0 transitions.
Ensure Unique test removed 122 transitions
Reduce isomorphic transitions removed 122 transitions.
Drop transitions removed 122 transitions
Trivial Post-agglo rules discarded 122 transitions
Performed 122 trivial Post agglomeration. Transition count delta: 122
Iterating post reduction 2 with 621 rules applied. Total rules applied 27173 place count 11789 transition count 23735
Reduce places removed 122 places and 0 transitions.
Performed 13 Post agglomeration using F-continuation condition.Transition count delta: 13
Iterating post reduction 3 with 135 rules applied. Total rules applied 27308 place count 11667 transition count 23722
Reduce places removed 13 places and 0 transitions.
Iterating post reduction 4 with 13 rules applied. Total rules applied 27321 place count 11654 transition count 23722
Performed 132 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 132 Pre rules applied. Total rules applied 27321 place count 11654 transition count 23590
Deduced a syphon composed of 132 places in 12446 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 5 with 264 rules applied. Total rules applied 27585 place count 11522 transition count 23590
Discarding 3283 places :
Symmetric choice reduction at 5 with 3283 rule applications. Total rules 30868 place count 8239 transition count 20307
Iterating global reduction 5 with 3283 rules applied. Total rules applied 34151 place count 8239 transition count 20307
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 2 transitions
Trivial Post-agglo rules discarded 2 transitions
Performed 2 trivial Post agglomeration. Transition count delta: 2
Iterating post reduction 5 with 4 rules applied. Total rules applied 34155 place count 8239 transition count 20303
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 3 rules applied. Total rules applied 34158 place count 8237 transition count 20302
Performed 1244 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1244 Pre rules applied. Total rules applied 34158 place count 8237 transition count 19058
Deduced a syphon composed of 1244 places in 9832 ms
Reduce places removed 1244 places and 0 transitions.
Iterating global reduction 7 with 2488 rules applied. Total rules applied 36646 place count 6993 transition count 19058
Discarding 278 places :
Symmetric choice reduction at 7 with 278 rule applications. Total rules 36924 place count 6715 transition count 13398
Iterating global reduction 7 with 278 rules applied. Total rules applied 37202 place count 6715 transition count 13398
Ensure Unique test removed 253 transitions
Reduce isomorphic transitions removed 253 transitions.
Iterating post reduction 7 with 253 rules applied. Total rules applied 37455 place count 6715 transition count 13145
Performed 1783 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1783 places in 9 ms
Reduce places removed 1783 places and 0 transitions.
Iterating global reduction 8 with 3566 rules applied. Total rules applied 41021 place count 4932 transition count 11357
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 8 with 5 rules applied. Total rules applied 41026 place count 4932 transition count 11352
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 15 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 41228 place count 4831 transition count 11822
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 41229 place count 4831 transition count 11821
Discarding 34 places :
Symmetric choice reduction at 10 with 34 rule applications. Total rules 41263 place count 4797 transition count 11481
Iterating global reduction 10 with 34 rules applied. Total rules applied 41297 place count 4797 transition count 11481
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 10 with 166 rules applied. Total rules applied 41463 place count 4797 transition count 11315
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 19 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 11 with 202 rules applied. Total rules applied 41665 place count 4696 transition count 11784
Discarding 33 places :
Symmetric choice reduction at 11 with 33 rule applications. Total rules 41698 place count 4663 transition count 11454
Iterating global reduction 11 with 33 rules applied. Total rules applied 41731 place count 4663 transition count 11454
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 11 with 165 rules applied. Total rules applied 41896 place count 4663 transition count 11289
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 7 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 12 with 202 rules applied. Total rules applied 42098 place count 4562 transition count 11762
Discarding 33 places :
Symmetric choice reduction at 12 with 33 rule applications. Total rules 42131 place count 4529 transition count 11432
Iterating global reduction 12 with 33 rules applied. Total rules applied 42164 place count 4529 transition count 11432
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 12 with 165 rules applied. Total rules applied 42329 place count 4529 transition count 11267
Performed 80 Post agglomeration using F-continuation condition with reduction of 105 identical transitions.
Deduced a syphon composed of 80 places in 6 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 13 with 160 rules applied. Total rules applied 42489 place count 4449 transition count 11680
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 42490 place count 4449 transition count 11679
Discarding 22 places :
Symmetric choice reduction at 14 with 22 rule applications. Total rules 42512 place count 4427 transition count 11459
Iterating global reduction 14 with 22 rules applied. Total rules applied 42534 place count 4427 transition count 11459
Ensure Unique test removed 105 transitions
Reduce isomorphic transitions removed 105 transitions.
Iterating post reduction 14 with 105 rules applied. Total rules applied 42639 place count 4427 transition count 11354
Drop transitions removed 48 transitions
Redundant transition composition rules discarded 48 transitions
Iterating global reduction 15 with 48 rules applied. Total rules applied 42687 place count 4427 transition count 11306
Discarding 10 places :
Symmetric choice reduction at 15 with 10 rule applications. Total rules 42697 place count 4417 transition count 11286
Iterating global reduction 15 with 10 rules applied. Total rules applied 42707 place count 4417 transition count 11286
Discarding 10 places :
Symmetric choice reduction at 15 with 10 rule applications. Total rules 42717 place count 4407 transition count 10006
Iterating global reduction 15 with 10 rules applied. Total rules applied 42727 place count 4407 transition count 10006
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 15 with 10 rules applied. Total rules applied 42737 place count 4407 transition count 9996
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 16 with 1 rules applied. Total rules applied 42738 place count 4406 transition count 9995
Applied a total of 42738 rules in 129891 ms. Remains 4406 /27146 variables (removed 22740) and now considering 9995/39849 (removed 29854) transitions.
[2021-05-11 23:46:52] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 23:47:02] [INFO ] Flatten gal took : 10472 ms
FORMULA DLCshifumi-PT-5b-CTLCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 23:47:12] [INFO ] Flatten gal took : 10518 ms
[2021-05-11 23:47:19] [INFO ] Input system was already deterministic with 9995 transitions.
Graph (trivial) has 25285 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 22 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 12904 transitions
Trivial Post-agglo rules discarded 12904 transitions
Performed 12904 trivial Post agglomeration. Transition count delta: 12904
Iterating post reduction 0 with 12904 rules applied. Total rules applied 12905 place count 25040 transition count 24706
Reduce places removed 12904 places and 0 transitions.
Ensure Unique test removed 384 transitions
Reduce isomorphic transitions removed 384 transitions.
Drop transitions removed 378 transitions
Trivial Post-agglo rules discarded 378 transitions
Performed 378 trivial Post agglomeration. Transition count delta: 378
Iterating post reduction 1 with 13666 rules applied. Total rules applied 26571 place count 12136 transition count 23944
Reduce places removed 378 places and 0 transitions.
Ensure Unique test removed 122 transitions
Reduce isomorphic transitions removed 122 transitions.
Drop transitions removed 122 transitions
Trivial Post-agglo rules discarded 122 transitions
Performed 122 trivial Post agglomeration. Transition count delta: 122
Iterating post reduction 2 with 622 rules applied. Total rules applied 27193 place count 11758 transition count 23700
Reduce places removed 122 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 3 with 128 rules applied. Total rules applied 27321 place count 11636 transition count 23694
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 27327 place count 11630 transition count 23694
Performed 125 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 125 Pre rules applied. Total rules applied 27327 place count 11630 transition count 23569
Deduced a syphon composed of 125 places in 11997 ms
Reduce places removed 125 places and 0 transitions.
Iterating global reduction 5 with 250 rules applied. Total rules applied 27577 place count 11505 transition count 23569
Discarding 3284 places :
Symmetric choice reduction at 5 with 3284 rule applications. Total rules 30861 place count 8221 transition count 20285
Iterating global reduction 5 with 3284 rules applied. Total rules applied 34145 place count 8221 transition count 20285
Performed 1248 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1248 Pre rules applied. Total rules applied 34145 place count 8221 transition count 19037
Deduced a syphon composed of 1248 places in 5749 ms
Reduce places removed 1248 places and 0 transitions.
Iterating global reduction 5 with 2496 rules applied. Total rules applied 36641 place count 6973 transition count 19037
Discarding 279 places :
Symmetric choice reduction at 5 with 279 rule applications. Total rules 36920 place count 6694 transition count 13372
Iterating global reduction 5 with 279 rules applied. Total rules applied 37199 place count 6694 transition count 13372
Ensure Unique test removed 254 transitions
Reduce isomorphic transitions removed 254 transitions.
Iterating post reduction 5 with 254 rules applied. Total rules applied 37453 place count 6694 transition count 13118
Performed 1778 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1778 places in 32 ms
Reduce places removed 1778 places and 0 transitions.
Iterating global reduction 6 with 3556 rules applied. Total rules applied 41009 place count 4916 transition count 11335
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 41014 place count 4916 transition count 11330
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 41216 place count 4815 transition count 11803
Discarding 33 places :
Symmetric choice reduction at 7 with 33 rule applications. Total rules 41249 place count 4782 transition count 11473
Iterating global reduction 7 with 33 rules applied. Total rules applied 41282 place count 4782 transition count 11473
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 7 with 165 rules applied. Total rules applied 41447 place count 4782 transition count 11308
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 27 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 41649 place count 4681 transition count 11778
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 41650 place count 4681 transition count 11777
Discarding 34 places :
Symmetric choice reduction at 9 with 34 rule applications. Total rules 41684 place count 4647 transition count 11437
Iterating global reduction 9 with 34 rules applied. Total rules applied 41718 place count 4647 transition count 11437
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 9 with 166 rules applied. Total rules applied 41884 place count 4647 transition count 11271
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 38 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42086 place count 4546 transition count 11740
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 42119 place count 4513 transition count 11410
Iterating global reduction 10 with 33 rules applied. Total rules applied 42152 place count 4513 transition count 11410
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 10 with 165 rules applied. Total rules applied 42317 place count 4513 transition count 11245
Performed 74 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 74 places in 5 ms
Reduce places removed 74 places and 0 transitions.
Iterating global reduction 11 with 148 rules applied. Total rules applied 42465 place count 4439 transition count 11616
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42487 place count 4417 transition count 11396
Iterating global reduction 11 with 22 rules applied. Total rules applied 42509 place count 4417 transition count 11396
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 110 rules applied. Total rules applied 42619 place count 4417 transition count 11286
Drop transitions removed 36 transitions
Redundant transition composition rules discarded 36 transitions
Iterating global reduction 12 with 36 rules applied. Total rules applied 42655 place count 4417 transition count 11250
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42665 place count 4407 transition count 11230
Iterating global reduction 12 with 10 rules applied. Total rules applied 42675 place count 4407 transition count 11230
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42685 place count 4397 transition count 9954
Iterating global reduction 12 with 10 rules applied. Total rules applied 42695 place count 4397 transition count 9954
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42705 place count 4397 transition count 9944
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42706 place count 4396 transition count 9943
Applied a total of 42706 rules in 113392 ms. Remains 4396 /27146 variables (removed 22750) and now considering 9943/39849 (removed 29906) transitions.
[2021-05-11 23:49:30] [INFO ] Flatten gal took : 13387 ms
[2021-05-11 23:49:43] [INFO ] Flatten gal took : 12862 ms
[2021-05-11 23:49:48] [INFO ] Input system was already deterministic with 9943 transitions.
Finished random walk after 47 steps, including 0 resets, run visited all 1 properties in 52 ms. (steps per millisecond=0 )
FORMULA DLCshifumi-PT-5b-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Graph (trivial) has 25297 edges and 27146 vertex of which 2248 / 27146 are part of one of the 143 SCC in 20 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 12914 transitions
Trivial Post-agglo rules discarded 12914 transitions
Performed 12914 trivial Post agglomeration. Transition count delta: 12914
Iterating post reduction 0 with 12914 rules applied. Total rules applied 12915 place count 25040 transition count 24696
Reduce places removed 12914 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 13677 rules applied. Total rules applied 26592 place count 12126 transition count 23933
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 27217 place count 11747 transition count 23687
Reduce places removed 123 places and 0 transitions.
Iterating post reduction 3 with 123 rules applied. Total rules applied 27340 place count 11624 transition count 23687
Performed 123 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 123 Pre rules applied. Total rules applied 27340 place count 11624 transition count 23564
Deduced a syphon composed of 123 places in 7748 ms
Reduce places removed 123 places and 0 transitions.
Iterating global reduction 4 with 246 rules applied. Total rules applied 27586 place count 11501 transition count 23564
Discarding 3288 places :
Symmetric choice reduction at 4 with 3288 rule applications. Total rules 30874 place count 8213 transition count 20276
Iterating global reduction 4 with 3288 rules applied. Total rules applied 34162 place count 8213 transition count 20276
Performed 1250 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1250 Pre rules applied. Total rules applied 34162 place count 8213 transition count 19026
Deduced a syphon composed of 1250 places in 8585 ms
Reduce places removed 1250 places and 0 transitions.
Iterating global reduction 4 with 2500 rules applied. Total rules applied 36662 place count 6963 transition count 19026
Discarding 281 places :
Symmetric choice reduction at 4 with 281 rule applications. Total rules 36943 place count 6682 transition count 13351
Iterating global reduction 4 with 281 rules applied. Total rules applied 37224 place count 6682 transition count 13351
Ensure Unique test removed 256 transitions
Reduce isomorphic transitions removed 256 transitions.
Iterating post reduction 4 with 256 rules applied. Total rules applied 37480 place count 6682 transition count 13095
Performed 1778 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1778 places in 32 ms
Reduce places removed 1778 places and 0 transitions.
Iterating global reduction 5 with 3556 rules applied. Total rules applied 41036 place count 4904 transition count 11312
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 5 with 5 rules applied. Total rules applied 41041 place count 4904 transition count 11307
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 7 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 6 with 202 rules applied. Total rules applied 41243 place count 4803 transition count 11777
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 41244 place count 4803 transition count 11776
Discarding 34 places :
Symmetric choice reduction at 7 with 34 rule applications. Total rules 41278 place count 4769 transition count 11436
Iterating global reduction 7 with 34 rules applied. Total rules applied 41312 place count 4769 transition count 11436
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 7 with 166 rules applied. Total rules applied 41478 place count 4769 transition count 11270
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 10 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 8 with 202 rules applied. Total rules applied 41680 place count 4668 transition count 11739
Discarding 33 places :
Symmetric choice reduction at 8 with 33 rule applications. Total rules 41713 place count 4635 transition count 11409
Iterating global reduction 8 with 33 rules applied. Total rules applied 41746 place count 4635 transition count 11409
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 8 with 165 rules applied. Total rules applied 41911 place count 4635 transition count 11244
Performed 101 Post agglomeration using F-continuation condition with reduction of 170 identical transitions.
Deduced a syphon composed of 101 places in 53 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 9 with 202 rules applied. Total rules applied 42113 place count 4534 transition count 11716
Discarding 34 places :
Symmetric choice reduction at 9 with 34 rule applications. Total rules 42147 place count 4500 transition count 11376
Iterating global reduction 9 with 34 rules applied. Total rules applied 42181 place count 4500 transition count 11376
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 9 with 170 rules applied. Total rules applied 42351 place count 4500 transition count 11206
Performed 70 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 70 places in 31 ms
Reduce places removed 70 places and 0 transitions.
Iterating global reduction 10 with 140 rules applied. Total rules applied 42491 place count 4430 transition count 11544
Discarding 22 places :
Symmetric choice reduction at 10 with 22 rule applications. Total rules 42513 place count 4408 transition count 11324
Iterating global reduction 10 with 22 rules applied. Total rules applied 42535 place count 4408 transition count 11324
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 10 with 110 rules applied. Total rules applied 42645 place count 4408 transition count 11214
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
Iterating global reduction 11 with 24 rules applied. Total rules applied 42669 place count 4408 transition count 11190
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 42679 place count 4398 transition count 11170
Iterating global reduction 11 with 10 rules applied. Total rules applied 42689 place count 4398 transition count 11170
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 42699 place count 4388 transition count 9898
Iterating global reduction 11 with 10 rules applied. Total rules applied 42709 place count 4388 transition count 9898
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 11 with 10 rules applied. Total rules applied 42719 place count 4388 transition count 9888
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 12 with 1 rules applied. Total rules applied 42720 place count 4387 transition count 9887
Applied a total of 42720 rules in 141390 ms. Remains 4387 /27146 variables (removed 22759) and now considering 9887/39849 (removed 29962) transitions.
[2021-05-11 23:52:16] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 23:52:36] [INFO ] Flatten gal took : 21148 ms
FORMULA DLCshifumi-PT-5b-CTLCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 23:52:56] [INFO ] Flatten gal took : 20171 ms
[2021-05-11 23:53:01] [INFO ] Input system was already deterministic with 9887 transitions.
Graph (trivial) has 25255 edges and 27146 vertex of which 2234 / 27146 are part of one of the 143 SCC in 286 ms
Free SCC test removed 2091 places
Ensure Unique test removed 2221 transitions
Reduce isomorphic transitions removed 2221 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 12890 transitions
Trivial Post-agglo rules discarded 12890 transitions
Performed 12890 trivial Post agglomeration. Transition count delta: 12890
Iterating post reduction 0 with 12890 rules applied. Total rules applied 12891 place count 25054 transition count 24737
Reduce places removed 12890 places and 0 transitions.
Ensure Unique test removed 382 transitions
Reduce isomorphic transitions removed 382 transitions.
Drop transitions removed 376 transitions
Trivial Post-agglo rules discarded 376 transitions
Performed 376 trivial Post agglomeration. Transition count delta: 376
Iterating post reduction 1 with 13648 rules applied. Total rules applied 26539 place count 12164 transition count 23979
Reduce places removed 376 places and 0 transitions.
Ensure Unique test removed 121 transitions
Reduce isomorphic transitions removed 121 transitions.
Drop transitions removed 120 transitions
Trivial Post-agglo rules discarded 120 transitions
Performed 120 trivial Post agglomeration. Transition count delta: 120
Iterating post reduction 2 with 617 rules applied. Total rules applied 27156 place count 11788 transition count 23738
Reduce places removed 120 places and 0 transitions.
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Iterating post reduction 3 with 132 rules applied. Total rules applied 27288 place count 11668 transition count 23726
Reduce places removed 12 places and 0 transitions.
Iterating post reduction 4 with 12 rules applied. Total rules applied 27300 place count 11656 transition count 23726
Performed 134 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 134 Pre rules applied. Total rules applied 27300 place count 11656 transition count 23592
Deduced a syphon composed of 134 places in 9720 ms
Reduce places removed 134 places and 0 transitions.
Iterating global reduction 5 with 268 rules applied. Total rules applied 27568 place count 11522 transition count 23592
Discarding 3277 places :
Symmetric choice reduction at 5 with 3277 rule applications. Total rules 30845 place count 8245 transition count 20315
Iterating global reduction 5 with 3277 rules applied. Total rules applied 34122 place count 8245 transition count 20315
Performed 1244 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1244 Pre rules applied. Total rules applied 34122 place count 8245 transition count 19071
Deduced a syphon composed of 1244 places in 8152 ms
Reduce places removed 1244 places and 0 transitions.
Iterating global reduction 5 with 2488 rules applied. Total rules applied 36610 place count 7001 transition count 19071
Discarding 276 places :
Symmetric choice reduction at 5 with 276 rule applications. Total rules 36886 place count 6725 transition count 13543
Iterating global reduction 5 with 276 rules applied. Total rules applied 37162 place count 6725 transition count 13543
Ensure Unique test removed 251 transitions
Reduce isomorphic transitions removed 251 transitions.
Iterating post reduction 5 with 251 rules applied. Total rules applied 37413 place count 6725 transition count 13292
Performed 1779 Post agglomeration using F-continuation condition with reduction of 5 identical transitions.
Deduced a syphon composed of 1779 places in 25 ms
Reduce places removed 1779 places and 0 transitions.
Iterating global reduction 6 with 3558 rules applied. Total rules applied 40971 place count 4946 transition count 11508
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 6 with 5 rules applied. Total rules applied 40976 place count 4946 transition count 11503
Renaming transitions due to excessive name length > 1024 char.
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 40977 place count 4945 transition count 11376
Iterating global reduction 7 with 1 rules applied. Total rules applied 40978 place count 4945 transition count 11376
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 36 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 7 with 202 rules applied. Total rules applied 41180 place count 4844 transition count 11840
Discarding 32 places :
Symmetric choice reduction at 7 with 32 rule applications. Total rules 41212 place count 4812 transition count 11520
Iterating global reduction 7 with 32 rules applied. Total rules applied 41244 place count 4812 transition count 11520
Ensure Unique test removed 160 transitions
Reduce isomorphic transitions removed 160 transitions.
Iterating post reduction 7 with 160 rules applied. Total rules applied 41404 place count 4812 transition count 11360
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 8 with 202 rules applied. Total rules applied 41606 place count 4711 transition count 11830
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 41607 place count 4711 transition count 11829
Discarding 34 places :
Symmetric choice reduction at 9 with 34 rule applications. Total rules 41641 place count 4677 transition count 11489
Iterating global reduction 9 with 34 rules applied. Total rules applied 41675 place count 4677 transition count 11489
Ensure Unique test removed 166 transitions
Reduce isomorphic transitions removed 166 transitions.
Iterating post reduction 9 with 166 rules applied. Total rules applied 41841 place count 4677 transition count 11323
Performed 101 Post agglomeration using F-continuation condition with reduction of 165 identical transitions.
Deduced a syphon composed of 101 places in 50 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 42043 place count 4576 transition count 11792
Discarding 33 places :
Symmetric choice reduction at 10 with 33 rule applications. Total rules 42076 place count 4543 transition count 11462
Iterating global reduction 10 with 33 rules applied. Total rules applied 42109 place count 4543 transition count 11462
Ensure Unique test removed 165 transitions
Reduce isomorphic transitions removed 165 transitions.
Iterating post reduction 10 with 165 rules applied. Total rules applied 42274 place count 4543 transition count 11297
Performed 78 Post agglomeration using F-continuation condition with reduction of 110 identical transitions.
Deduced a syphon composed of 78 places in 6 ms
Reduce places removed 78 places and 0 transitions.
Iterating global reduction 11 with 156 rules applied. Total rules applied 42430 place count 4465 transition count 11692
Discarding 22 places :
Symmetric choice reduction at 11 with 22 rule applications. Total rules 42452 place count 4443 transition count 11472
Iterating global reduction 11 with 22 rules applied. Total rules applied 42474 place count 4443 transition count 11472
Ensure Unique test removed 110 transitions
Reduce isomorphic transitions removed 110 transitions.
Iterating post reduction 11 with 110 rules applied. Total rules applied 42584 place count 4443 transition count 11362
Drop transitions removed 42 transitions
Redundant transition composition rules discarded 42 transitions
Iterating global reduction 12 with 42 rules applied. Total rules applied 42626 place count 4443 transition count 11320
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42636 place count 4433 transition count 11300
Iterating global reduction 12 with 10 rules applied. Total rules applied 42646 place count 4433 transition count 11300
Discarding 10 places :
Symmetric choice reduction at 12 with 10 rule applications. Total rules 42656 place count 4423 transition count 10024
Iterating global reduction 12 with 10 rules applied. Total rules applied 42666 place count 4423 transition count 10024
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 12 with 10 rules applied. Total rules applied 42676 place count 4423 transition count 10014
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 13 with 1 rules applied. Total rules applied 42677 place count 4423 transition count 10014
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 13 with 1 rules applied. Total rules applied 42678 place count 4422 transition count 10013
Applied a total of 42678 rules in 146285 ms. Remains 4422 /27146 variables (removed 22724) and now considering 10013/39849 (removed 29836) transitions.
[2021-05-11 23:55:34] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 23:55:52] [INFO ] Flatten gal took : 19881 ms
FORMULA DLCshifumi-PT-5b-CTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 23:56:09] [INFO ] Flatten gal took : 16661 ms
[2021-05-11 23:56:13] [INFO ] Input system was already deterministic with 10013 transitions.
[2021-05-11 23:56:20] [INFO ] Flatten gal took : 5912 ms
[2021-05-11 23:56:28] [INFO ] Flatten gal took : 7295 ms
[2021-05-11 23:56:36] [INFO ] Applying decomposition
[2021-05-11 23:56:42] [INFO ] Flatten gal took : 6186 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph15935140057314182882.txt, -o, /tmp/graph15935140057314182882.bin, -w, /tmp/graph15935140057314182882.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph15935140057314182882.bin, -l, -1, -v, -w, /tmp/graph15935140057314182882.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 23:57:01] [INFO ] Decomposing Gal with order
[2021-05-11 23:59:22] [INFO ] Rewriting arrays to variables to allow decomposition.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -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 CTLCardinality -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="CTLCardinality"
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 CTLCardinality"
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-162038397300505"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;