About the Execution of ITS-Tools for ASLink-PT-08a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 7912.308 | 3600000.00 | 3219536.00 | 193012.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r007-tall-162037989500124.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 ASLink-PT-08a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r007-tall-162037989500124
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 14K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 126K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.8K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 90K 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.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 23 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 01:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 22 09:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 09:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 757K 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 ASLink-PT-08a-CTLFireability-00
FORMULA_NAME ASLink-PT-08a-CTLFireability-01
FORMULA_NAME ASLink-PT-08a-CTLFireability-02
FORMULA_NAME ASLink-PT-08a-CTLFireability-03
FORMULA_NAME ASLink-PT-08a-CTLFireability-04
FORMULA_NAME ASLink-PT-08a-CTLFireability-05
FORMULA_NAME ASLink-PT-08a-CTLFireability-06
FORMULA_NAME ASLink-PT-08a-CTLFireability-07
FORMULA_NAME ASLink-PT-08a-CTLFireability-08
FORMULA_NAME ASLink-PT-08a-CTLFireability-09
FORMULA_NAME ASLink-PT-08a-CTLFireability-10
FORMULA_NAME ASLink-PT-08a-CTLFireability-11
FORMULA_NAME ASLink-PT-08a-CTLFireability-12
FORMULA_NAME ASLink-PT-08a-CTLFireability-13
FORMULA_NAME ASLink-PT-08a-CTLFireability-14
FORMULA_NAME ASLink-PT-08a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1620732123628
Running Version 0
[2021-05-11 11:22:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -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 11:22:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 11:22:26] [INFO ] Load time of PNML (sax parser for PT used): 159 ms
[2021-05-11 11:22:26] [INFO ] Transformed 1796 places.
[2021-05-11 11:22:26] [INFO ] Transformed 2646 transitions.
[2021-05-11 11:22:26] [INFO ] Found NUPN structural information;
[2021-05-11 11:22:26] [INFO ] Parsed PT model containing 1796 places and 2646 transitions in 220 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 13 ms.
Ensure Unique test removed 28 transitions
Reduce redundant transitions removed 28 transitions.
Support contains 663 out of 1796 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1796/1796 places, 2618/2618 transitions.
Ensure Unique test removed 28 places
Discarding 12 places :
Implicit places reduction removed 12 places
Iterating post reduction 0 with 40 rules applied. Total rules applied 40 place count 1756 transition count 2618
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 44 place count 1752 transition count 2614
Ensure Unique test removed 1 places
Iterating global reduction 1 with 5 rules applied. Total rules applied 49 place count 1751 transition count 2614
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 51 place count 1751 transition count 2612
Applied a total of 51 rules in 241 ms. Remains 1751 /1796 variables (removed 45) and now considering 2612/2618 (removed 6) transitions.
// Phase 1: matrix 2612 rows 1751 cols
[2021-05-11 11:22:27] [INFO ] Computed 305 place invariants in 191 ms
[2021-05-11 11:22:28] [INFO ] Implicit Places using invariants in 1087 ms returned [19, 20, 70, 199, 221, 260, 389, 406, 411, 412, 432, 450, 579, 640, 769, 829, 960, 977, 1021, 1150, 1166, 1171, 1210, 1362, 1552, 1553, 1612, 1614, 1632, 1640, 1648, 1654, 1692, 1700]
Discarding 34 places :
Implicit Place search using SMT only with invariants took 1119 ms to find 34 implicit places.
// Phase 1: matrix 2612 rows 1717 cols
[2021-05-11 11:22:28] [INFO ] Computed 271 place invariants in 117 ms
[2021-05-11 11:22:29] [INFO ] Dead Transitions using invariants and state equation in 1544 ms returned []
Starting structural reductions, iteration 1 : 1717/1796 places, 2612/2618 transitions.
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 1712 transition count 2607
Iterating global reduction 0 with 5 rules applied. Total rules applied 10 place count 1712 transition count 2607
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 11 place count 1711 transition count 2606
Iterating global reduction 0 with 1 rules applied. Total rules applied 12 place count 1711 transition count 2606
Applied a total of 12 rules in 131 ms. Remains 1711 /1717 variables (removed 6) and now considering 2606/2612 (removed 6) transitions.
// Phase 1: matrix 2606 rows 1711 cols
[2021-05-11 11:22:29] [INFO ] Computed 271 place invariants in 38 ms
[2021-05-11 11:22:30] [INFO ] Implicit Places using invariants in 607 ms returned []
// Phase 1: matrix 2606 rows 1711 cols
[2021-05-11 11:22:30] [INFO ] Computed 271 place invariants in 35 ms
[2021-05-11 11:22:33] [INFO ] Implicit Places using invariants and state equation in 2869 ms returned []
Implicit Place search using SMT with State Equation took 3478 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 1711/1796 places, 2606/2618 transitions.
[2021-05-11 11:22:46] [INFO ] Flatten gal took : 228 ms
[2021-05-11 11:22:46] [INFO ] Flatten gal took : 147 ms
[2021-05-11 11:22:47] [INFO ] Input system was already deterministic with 2606 transitions.
Incomplete random walk after 100000 steps, including 485 resets, run finished after 972 ms. (steps per millisecond=102 ) properties (out of 97) seen :78
Running SMT prover for 19 properties.
// Phase 1: matrix 2606 rows 1711 cols
[2021-05-11 11:22:48] [INFO ] Computed 271 place invariants in 34 ms
[2021-05-11 11:22:48] [INFO ] [Real]Absence check using 55 positive place invariants in 23 ms returned sat
[2021-05-11 11:22:48] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 61 ms returned sat
[2021-05-11 11:22:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:22:49] [INFO ] [Real]Absence check using state equation in 1355 ms returned sat
[2021-05-11 11:22:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:22:50] [INFO ] [Nat]Absence check using 55 positive place invariants in 25 ms returned sat
[2021-05-11 11:22:50] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 66 ms returned sat
[2021-05-11 11:22:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:22:56] [INFO ] [Nat]Absence check using state equation in 6407 ms returned unknown
[2021-05-11 11:22:56] [INFO ] [Real]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:22:56] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 51 ms returned sat
[2021-05-11 11:22:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:22:58] [INFO ] [Real]Absence check using state equation in 1267 ms returned sat
[2021-05-11 11:22:58] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:22:58] [INFO ] [Nat]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:22:58] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 50 ms returned sat
[2021-05-11 11:22:58] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:23:05] [INFO ] [Nat]Absence check using state equation in 6634 ms returned unknown
[2021-05-11 11:23:05] [INFO ] [Real]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:23:05] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 50 ms returned sat
[2021-05-11 11:23:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:23:06] [INFO ] [Real]Absence check using state equation in 1206 ms returned sat
[2021-05-11 11:23:06] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:23:06] [INFO ] [Nat]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:23:06] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 48 ms returned sat
[2021-05-11 11:23:06] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:23:13] [INFO ] [Nat]Absence check using state equation in 6551 ms returned unknown
[2021-05-11 11:23:13] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:23:13] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 54 ms returned sat
[2021-05-11 11:23:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:23:14] [INFO ] [Real]Absence check using state equation in 993 ms returned sat
[2021-05-11 11:23:14] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:23:14] [INFO ] [Nat]Absence check using 55 positive place invariants in 24 ms returned sat
[2021-05-11 11:23:15] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 49 ms returned sat
[2021-05-11 11:23:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:23:22] [INFO ] [Nat]Absence check using state equation in 7230 ms returned unknown
[2021-05-11 11:23:22] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:23:22] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 46 ms returned sat
[2021-05-11 11:23:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:23:23] [INFO ] [Real]Absence check using state equation in 1007 ms returned sat
[2021-05-11 11:23:23] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:23:23] [INFO ] [Nat]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:23:23] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 45 ms returned sat
[2021-05-11 11:23:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:23:25] [INFO ] [Nat]Absence check using state equation in 1266 ms returned sat
[2021-05-11 11:23:25] [INFO ] Computed and/alt/rep : 1101/3508/1101 causal constraints (skipped 1504 transitions) in 192 ms.
[2021-05-11 11:23:43] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 4
[2021-05-11 11:23:43] [INFO ] [Real]Absence check using 55 positive place invariants in 25 ms returned sat
[2021-05-11 11:23:43] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 48 ms returned sat
[2021-05-11 11:23:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:23:44] [INFO ] [Real]Absence check using state equation in 870 ms returned sat
[2021-05-11 11:23:44] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:23:44] [INFO ] [Nat]Absence check using 55 positive place invariants in 23 ms returned sat
[2021-05-11 11:23:44] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 46 ms returned sat
[2021-05-11 11:23:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:23:45] [INFO ] [Nat]Absence check using state equation in 999 ms returned sat
[2021-05-11 11:23:46] [INFO ] Computed and/alt/rep : 1101/3508/1101 causal constraints (skipped 1504 transitions) in 138 ms.
[2021-05-11 11:24:15] [INFO ] Deduced a trap composed of 5 places in 10245 ms of which 4 ms to minimize.
[2021-05-11 11:24:15] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 5
[2021-05-11 11:24:15] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:24:15] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 50 ms returned sat
[2021-05-11 11:24:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:16] [INFO ] [Real]Absence check using state equation in 1038 ms returned sat
[2021-05-11 11:24:16] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:24:16] [INFO ] [Nat]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:24:16] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 71 ms returned sat
[2021-05-11 11:24:16] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:23] [INFO ] [Nat]Absence check using state equation in 6712 ms returned unknown
[2021-05-11 11:24:23] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:24:23] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 49 ms returned sat
[2021-05-11 11:24:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:24] [INFO ] [Real]Absence check using state equation in 1110 ms returned sat
[2021-05-11 11:24:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:24:24] [INFO ] [Nat]Absence check using 55 positive place invariants in 23 ms returned sat
[2021-05-11 11:24:25] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 57 ms returned sat
[2021-05-11 11:24:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:31] [INFO ] [Nat]Absence check using state equation in 6325 ms returned unknown
[2021-05-11 11:24:31] [INFO ] [Real]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:24:31] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 47 ms returned sat
[2021-05-11 11:24:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:32] [INFO ] [Real]Absence check using state equation in 1007 ms returned sat
[2021-05-11 11:24:32] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:24:32] [INFO ] [Nat]Absence check using 55 positive place invariants in 23 ms returned sat
[2021-05-11 11:24:32] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 46 ms returned sat
[2021-05-11 11:24:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:39] [INFO ] [Nat]Absence check using state equation in 6616 ms returned unknown
[2021-05-11 11:24:39] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:24:39] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 49 ms returned sat
[2021-05-11 11:24:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:40] [INFO ] [Real]Absence check using state equation in 1206 ms returned sat
[2021-05-11 11:24:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:24:41] [INFO ] [Nat]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:24:41] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 50 ms returned sat
[2021-05-11 11:24:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:47] [INFO ] [Nat]Absence check using state equation in 6378 ms returned unknown
[2021-05-11 11:24:47] [INFO ] [Real]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:24:47] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 50 ms returned sat
[2021-05-11 11:24:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:49] [INFO ] [Real]Absence check using state equation in 1133 ms returned sat
[2021-05-11 11:24:49] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:24:49] [INFO ] [Nat]Absence check using 55 positive place invariants in 23 ms returned sat
[2021-05-11 11:24:49] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 50 ms returned sat
[2021-05-11 11:24:49] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:24:50] [INFO ] [Nat]Absence check using state equation in 1390 ms returned sat
[2021-05-11 11:24:50] [INFO ] Deduced a trap composed of 42 places in 114 ms of which 12 ms to minimize.
[2021-05-11 11:24:50] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 272 ms
[2021-05-11 11:24:51] [INFO ] Computed and/alt/rep : 1101/3508/1101 causal constraints (skipped 1504 transitions) in 192 ms.
[2021-05-11 11:25:09] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 10
[2021-05-11 11:25:09] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:25:09] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 54 ms returned sat
[2021-05-11 11:25:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:25:10] [INFO ] [Real]Absence check using state equation in 1174 ms returned sat
[2021-05-11 11:25:10] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:25:10] [INFO ] [Nat]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:25:10] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 53 ms returned sat
[2021-05-11 11:25:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:25:17] [INFO ] [Nat]Absence check using state equation in 6678 ms returned unknown
[2021-05-11 11:25:17] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:25:17] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 48 ms returned sat
[2021-05-11 11:25:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:25:18] [INFO ] [Real]Absence check using state equation in 789 ms returned sat
[2021-05-11 11:25:18] [INFO ] Computed and/alt/rep : 1101/3508/1101 causal constraints (skipped 1504 transitions) in 104 ms.
[2021-05-11 11:25:19] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:25:19] [INFO ] [Nat]Absence check using 55 positive place invariants in 24 ms returned sat
[2021-05-11 11:25:19] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 47 ms returned sat
[2021-05-11 11:25:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:25:20] [INFO ] [Nat]Absence check using state equation in 1581 ms returned sat
[2021-05-11 11:25:21] [INFO ] Computed and/alt/rep : 1101/3508/1101 causal constraints (skipped 1504 transitions) in 143 ms.
[2021-05-11 11:25:39] [INFO ] Deduced a trap composed of 5 places in 830 ms of which 2 ms to minimize.
[2021-05-11 11:25:39] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 12
[2021-05-11 11:25:40] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:25:40] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 47 ms returned sat
[2021-05-11 11:25:40] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:25:41] [INFO ] [Real]Absence check using state equation in 1065 ms returned sat
[2021-05-11 11:25:41] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:25:41] [INFO ] [Nat]Absence check using 55 positive place invariants in 24 ms returned sat
[2021-05-11 11:25:41] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 50 ms returned sat
[2021-05-11 11:25:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:25:42] [INFO ] [Nat]Absence check using state equation in 1344 ms returned sat
[2021-05-11 11:25:43] [INFO ] Computed and/alt/rep : 1101/3508/1101 causal constraints (skipped 1504 transitions) in 130 ms.
[2021-05-11 11:26:02] [INFO ] Deduced a trap composed of 5 places in 845 ms of which 2 ms to minimize.
[2021-05-11 11:26:02] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 13
[2021-05-11 11:26:02] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:26:02] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 55 ms returned sat
[2021-05-11 11:26:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:03] [INFO ] [Real]Absence check using state equation in 1138 ms returned sat
[2021-05-11 11:26:03] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:26:03] [INFO ] [Nat]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:26:03] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 53 ms returned sat
[2021-05-11 11:26:03] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:10] [INFO ] [Nat]Absence check using state equation in 6683 ms returned unknown
[2021-05-11 11:26:10] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:26:10] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 48 ms returned sat
[2021-05-11 11:26:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:11] [INFO ] [Real]Absence check using state equation in 1010 ms returned sat
[2021-05-11 11:26:11] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:26:11] [INFO ] [Nat]Absence check using 55 positive place invariants in 23 ms returned sat
[2021-05-11 11:26:12] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 48 ms returned sat
[2021-05-11 11:26:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:19] [INFO ] [Nat]Absence check using state equation in 7251 ms returned unknown
[2021-05-11 11:26:19] [INFO ] [Real]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:26:19] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 53 ms returned sat
[2021-05-11 11:26:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:20] [INFO ] [Real]Absence check using state equation in 1231 ms returned sat
[2021-05-11 11:26:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:26:21] [INFO ] [Nat]Absence check using 55 positive place invariants in 22 ms returned sat
[2021-05-11 11:26:21] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 51 ms returned sat
[2021-05-11 11:26:21] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:27] [INFO ] [Nat]Absence check using state equation in 6395 ms returned unknown
[2021-05-11 11:26:27] [INFO ] [Real]Absence check using 55 positive place invariants in 45 ms returned sat
[2021-05-11 11:26:27] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 48 ms returned sat
[2021-05-11 11:26:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:28] [INFO ] [Real]Absence check using state equation in 1061 ms returned sat
[2021-05-11 11:26:28] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:26:29] [INFO ] [Nat]Absence check using 55 positive place invariants in 23 ms returned sat
[2021-05-11 11:26:29] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 48 ms returned sat
[2021-05-11 11:26:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:30] [INFO ] [Nat]Absence check using state equation in 1088 ms returned sat
[2021-05-11 11:26:30] [INFO ] Deduced a trap composed of 117 places in 365 ms of which 9 ms to minimize.
[2021-05-11 11:26:31] [INFO ] Deduced a trap composed of 65 places in 356 ms of which 1 ms to minimize.
[2021-05-11 11:26:31] [INFO ] Deduced a trap composed of 70 places in 156 ms of which 0 ms to minimize.
[2021-05-11 11:26:31] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1254 ms
[2021-05-11 11:26:31] [INFO ] Computed and/alt/rep : 1101/3508/1101 causal constraints (skipped 1504 transitions) in 133 ms.
[2021-05-11 11:26:48] [INFO ] Added : 690 causal constraints over 138 iterations in 17435 ms. Result :unknown
[2021-05-11 11:26:49] [INFO ] [Real]Absence check using 55 positive place invariants in 21 ms returned sat
[2021-05-11 11:26:49] [INFO ] [Real]Absence check using 55 positive and 216 generalized place invariants in 54 ms returned sat
[2021-05-11 11:26:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:50] [INFO ] [Real]Absence check using state equation in 1165 ms returned sat
[2021-05-11 11:26:50] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 11:26:50] [INFO ] [Nat]Absence check using 55 positive place invariants in 43 ms returned sat
[2021-05-11 11:26:50] [INFO ] [Nat]Absence check using 55 positive and 216 generalized place invariants in 53 ms returned sat
[2021-05-11 11:26:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 11:26:56] [INFO ] [Nat]Absence check using state equation in 6270 ms returned unknown
Ensure Unique test removed 4 places
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions removed 151 transitions
Trivial Post-agglo rules discarded 151 transitions
Performed 151 trivial Post agglomeration. Transition count delta: 151
Iterating post reduction 0 with 155 rules applied. Total rules applied 155 place count 1703 transition count 2455
Reduce places removed 151 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 159 rules applied. Total rules applied 314 place count 1552 transition count 2447
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 322 place count 1544 transition count 2447
Performed 172 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 172 Pre rules applied. Total rules applied 322 place count 1544 transition count 2275
Deduced a syphon composed of 172 places in 3 ms
Ensure Unique test removed 61 places
Reduce places removed 233 places and 0 transitions.
Iterating global reduction 3 with 405 rules applied. Total rules applied 727 place count 1311 transition count 2275
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 3 with 6 rules applied. Total rules applied 733 place count 1310 transition count 2270
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 738 place count 1305 transition count 2270
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 6 Pre rules applied. Total rules applied 738 place count 1305 transition count 2264
Deduced a syphon composed of 6 places in 4 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 5 with 12 rules applied. Total rules applied 750 place count 1299 transition count 2264
Discarding 12 places :
Symmetric choice reduction at 5 with 12 rule applications. Total rules 762 place count 1287 transition count 2209
Iterating global reduction 5 with 12 rules applied. Total rules applied 774 place count 1287 transition count 2209
Discarding 2 places :
Implicit places reduction removed 2 places
Iterating post reduction 5 with 2 rules applied. Total rules applied 776 place count 1285 transition count 2209
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 779 place count 1282 transition count 2206
Iterating global reduction 6 with 3 rules applied. Total rules applied 782 place count 1282 transition count 2206
Performed 76 Post agglomeration using F-continuation condition.Transition count delta: 76
Deduced a syphon composed of 76 places in 3 ms
Reduce places removed 76 places and 0 transitions.
Iterating global reduction 6 with 152 rules applied. Total rules applied 934 place count 1206 transition count 2130
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 938 place count 1202 transition count 2126
Iterating global reduction 6 with 4 rules applied. Total rules applied 942 place count 1202 transition count 2126
Partial Post-agglomeration rule applied 3 times.
Drop transitions removed 3 transitions
Iterating global reduction 6 with 3 rules applied. Total rules applied 945 place count 1202 transition count 2126
Applied a total of 945 rules in 744 ms. Remains 1202 /1711 variables (removed 509) and now considering 2126/2606 (removed 480) transitions.
[2021-05-11 11:26:57] [INFO ] Flatten gal took : 97 ms
[2021-05-11 11:26:57] [INFO ] Flatten gal took : 85 ms
[2021-05-11 11:26:58] [INFO ] Input system was already deterministic with 2126 transitions.
[2021-05-11 11:26:58] [INFO ] Flatten gal took : 82 ms
[2021-05-11 11:26:58] [INFO ] Flatten gal took : 81 ms
[2021-05-11 11:26:58] [INFO ] Time to serialize gal into /tmp/CTLFireability5152016424943397583.gal : 44 ms
[2021-05-11 11:26:58] [INFO ] Time to serialize properties into /tmp/CTLFireability10887403071766364859.ctl : 2 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/CTLFireability5152016424943397583.gal, -t, CGAL, -ctl, /tmp/CTLFireability10887403071766364859.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/CTLFireability5152016424943397583.gal -t CGAL -ctl /tmp/CTLFireability10887403071766364859.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:27:28] [INFO ] Flatten gal took : 77 ms
[2021-05-11 11:27:28] [INFO ] Applying decomposition
[2021-05-11 11:27:28] [INFO ] Flatten gal took : 80 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/graph7793797473426918492.txt, -o, /tmp/graph7793797473426918492.bin, -w, /tmp/graph7793797473426918492.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/graph7793797473426918492.bin, -l, -1, -v, -w, /tmp/graph7793797473426918492.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:27:32] [INFO ] Decomposing Gal with order
[2021-05-11 11:27:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:27:32] [INFO ] Removed a total of 3510 redundant transitions.
[2021-05-11 11:27:32] [INFO ] Flatten gal took : 228 ms
[2021-05-11 11:27:32] [INFO ] Fuse similar labels procedure discarded/fused a total of 49 labels/synchronizations in 44 ms.
[2021-05-11 11:27:32] [INFO ] Time to serialize gal into /tmp/CTLFireability2996651659367731603.gal : 17 ms
[2021-05-11 11:27:32] [INFO ] Time to serialize properties into /tmp/CTLFireability10009026244544376387.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/CTLFireability2996651659367731603.gal, -t, CGAL, -ctl, /tmp/CTLFireability10009026244544376387.ctl], 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/CTLFireability2996651659367731603.gal -t CGAL -ctl /tmp/CTLFireability10009026244544376387.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 4 places
Discarding 3 places :
Implicit places reduction removed 3 places
Drop transitions removed 178 transitions
Trivial Post-agglo rules discarded 178 transitions
Performed 178 trivial Post agglomeration. Transition count delta: 178
Iterating post reduction 0 with 181 rules applied. Total rules applied 181 place count 1704 transition count 2428
Reduce places removed 178 places and 0 transitions.
Iterating post reduction 1 with 178 rules applied. Total rules applied 359 place count 1526 transition count 2428
Performed 184 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 184 Pre rules applied. Total rules applied 359 place count 1526 transition count 2244
Deduced a syphon composed of 184 places in 2 ms
Ensure Unique test removed 66 places
Reduce places removed 250 places and 0 transitions.
Iterating global reduction 2 with 434 rules applied. Total rules applied 793 place count 1276 transition count 2244
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 2 with 5 rules applied. Total rules applied 798 place count 1276 transition count 2239
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 803 place count 1271 transition count 2239
Performed 8 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 8 Pre rules applied. Total rules applied 803 place count 1271 transition count 2231
Deduced a syphon composed of 8 places in 2 ms
Reduce places removed 8 places and 0 transitions.
Iterating global reduction 4 with 16 rules applied. Total rules applied 819 place count 1263 transition count 2231
Discarding 13 places :
Symmetric choice reduction at 4 with 13 rule applications. Total rules 832 place count 1250 transition count 2170
Iterating global reduction 4 with 13 rules applied. Total rules applied 845 place count 1250 transition count 2170
Discarding 2 places :
Implicit places reduction removed 2 places
Iterating post reduction 4 with 2 rules applied. Total rules applied 847 place count 1248 transition count 2170
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 850 place count 1245 transition count 2167
Iterating global reduction 5 with 3 rules applied. Total rules applied 853 place count 1245 transition count 2167
Performed 81 Post agglomeration using F-continuation condition.Transition count delta: 81
Deduced a syphon composed of 81 places in 2 ms
Reduce places removed 81 places and 0 transitions.
Iterating global reduction 5 with 162 rules applied. Total rules applied 1015 place count 1164 transition count 2086
Discarding 4 places :
Symmetric choice reduction at 5 with 4 rule applications. Total rules 1019 place count 1160 transition count 2082
Iterating global reduction 5 with 4 rules applied. Total rules applied 1023 place count 1160 transition count 2082
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 5 with 1 rules applied. Total rules applied 1024 place count 1160 transition count 2082
Applied a total of 1024 rules in 401 ms. Remains 1160 /1711 variables (removed 551) and now considering 2082/2606 (removed 524) transitions.
[2021-05-11 11:28:03] [INFO ] Flatten gal took : 68 ms
[2021-05-11 11:28:03] [INFO ] Flatten gal took : 76 ms
[2021-05-11 11:28:03] [INFO ] Input system was already deterministic with 2082 transitions.
[2021-05-11 11:28:03] [INFO ] Flatten gal took : 96 ms
[2021-05-11 11:28:03] [INFO ] Flatten gal took : 73 ms
[2021-05-11 11:28:03] [INFO ] Time to serialize gal into /tmp/CTLFireability14203347856103437452.gal : 11 ms
[2021-05-11 11:28:08] [INFO ] Time to serialize properties into /tmp/CTLFireability7803629852941287409.ctl : 4522 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/CTLFireability14203347856103437452.gal, -t, CGAL, -ctl, /tmp/CTLFireability7803629852941287409.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/CTLFireability14203347856103437452.gal -t CGAL -ctl /tmp/CTLFireability7803629852941287409.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:28:38] [INFO ] Flatten gal took : 70 ms
[2021-05-11 11:28:38] [INFO ] Applying decomposition
[2021-05-11 11:28:38] [INFO ] Flatten gal took : 71 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/graph15878279555039325756.txt, -o, /tmp/graph15878279555039325756.bin, -w, /tmp/graph15878279555039325756.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/graph15878279555039325756.bin, -l, -1, -v, -w, /tmp/graph15878279555039325756.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:28:38] [INFO ] Decomposing Gal with order
[2021-05-11 11:28:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:28:38] [INFO ] Removed a total of 3481 redundant transitions.
[2021-05-11 11:28:39] [INFO ] Flatten gal took : 123 ms
[2021-05-11 11:28:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 39 labels/synchronizations in 19 ms.
[2021-05-11 11:28:39] [INFO ] Time to serialize gal into /tmp/CTLFireability12834457640624216377.gal : 16 ms
[2021-05-11 11:28:39] [INFO ] Time to serialize properties into /tmp/CTLFireability4071021293787419451.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/CTLFireability12834457640624216377.gal, -t, CGAL, -ctl, /tmp/CTLFireability4071021293787419451.ctl], 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/CTLFireability12834457640624216377.gal -t CGAL -ctl /tmp/CTLFireability4071021293787419451.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 4 places
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions removed 176 transitions
Trivial Post-agglo rules discarded 176 transitions
Performed 176 trivial Post agglomeration. Transition count delta: 176
Iterating post reduction 0 with 180 rules applied. Total rules applied 180 place count 1703 transition count 2430
Reduce places removed 176 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 1 with 182 rules applied. Total rules applied 362 place count 1527 transition count 2424
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 368 place count 1521 transition count 2424
Performed 179 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 179 Pre rules applied. Total rules applied 368 place count 1521 transition count 2245
Deduced a syphon composed of 179 places in 2 ms
Ensure Unique test removed 63 places
Reduce places removed 242 places and 0 transitions.
Iterating global reduction 3 with 421 rules applied. Total rules applied 789 place count 1279 transition count 2245
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 3 with 9 rules applied. Total rules applied 798 place count 1277 transition count 2238
Reduce places removed 7 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 4 with 9 rules applied. Total rules applied 807 place count 1270 transition count 2236
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 809 place count 1268 transition count 2236
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 6 Pre rules applied. Total rules applied 809 place count 1268 transition count 2230
Deduced a syphon composed of 6 places in 3 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 6 with 12 rules applied. Total rules applied 821 place count 1262 transition count 2230
Discarding 12 places :
Symmetric choice reduction at 6 with 12 rule applications. Total rules 833 place count 1250 transition count 2175
Iterating global reduction 6 with 12 rules applied. Total rules applied 845 place count 1250 transition count 2175
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 6 with 3 rules applied. Total rules applied 848 place count 1247 transition count 2175
Discarding 4 places :
Symmetric choice reduction at 7 with 4 rule applications. Total rules 852 place count 1243 transition count 2164
Iterating global reduction 7 with 4 rules applied. Total rules applied 856 place count 1243 transition count 2164
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 857 place count 1242 transition count 2156
Iterating global reduction 7 with 1 rules applied. Total rules applied 858 place count 1242 transition count 2156
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 859 place count 1241 transition count 2148
Iterating global reduction 7 with 1 rules applied. Total rules applied 860 place count 1241 transition count 2148
Performed 75 Post agglomeration using F-continuation condition.Transition count delta: 75
Deduced a syphon composed of 75 places in 2 ms
Reduce places removed 75 places and 0 transitions.
Iterating global reduction 7 with 150 rules applied. Total rules applied 1010 place count 1166 transition count 2073
Discarding 5 places :
Symmetric choice reduction at 7 with 5 rule applications. Total rules 1015 place count 1161 transition count 2068
Iterating global reduction 7 with 5 rules applied. Total rules applied 1020 place count 1161 transition count 2068
Partial Post-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 7 with 7 rules applied. Total rules applied 1027 place count 1161 transition count 2068
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 1028 place count 1160 transition count 2067
Iterating global reduction 7 with 1 rules applied. Total rules applied 1029 place count 1160 transition count 2067
Applied a total of 1029 rules in 468 ms. Remains 1160 /1711 variables (removed 551) and now considering 2067/2606 (removed 539) transitions.
[2021-05-11 11:29:09] [INFO ] Flatten gal took : 67 ms
[2021-05-11 11:29:09] [INFO ] Flatten gal took : 80 ms
[2021-05-11 11:29:09] [INFO ] Input system was already deterministic with 2067 transitions.
[2021-05-11 11:29:09] [INFO ] Flatten gal took : 69 ms
[2021-05-11 11:29:10] [INFO ] Flatten gal took : 88 ms
[2021-05-11 11:29:10] [INFO ] Time to serialize gal into /tmp/CTLFireability9074707240818860112.gal : 6 ms
[2021-05-11 11:29:10] [INFO ] Time to serialize properties into /tmp/CTLFireability8632614617077539519.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/CTLFireability9074707240818860112.gal, -t, CGAL, -ctl, /tmp/CTLFireability8632614617077539519.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/CTLFireability9074707240818860112.gal -t CGAL -ctl /tmp/CTLFireability8632614617077539519.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:29:40] [INFO ] Flatten gal took : 73 ms
[2021-05-11 11:29:40] [INFO ] Applying decomposition
[2021-05-11 11:29:40] [INFO ] Flatten gal took : 83 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/graph976212137989802609.txt, -o, /tmp/graph976212137989802609.bin, -w, /tmp/graph976212137989802609.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/graph976212137989802609.bin, -l, -1, -v, -w, /tmp/graph976212137989802609.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:29:40] [INFO ] Decomposing Gal with order
[2021-05-11 11:29:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:29:42] [INFO ] Removed a total of 3402 redundant transitions.
[2021-05-11 11:29:42] [INFO ] Flatten gal took : 1672 ms
[2021-05-11 11:29:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 68 labels/synchronizations in 27 ms.
[2021-05-11 11:29:42] [INFO ] Time to serialize gal into /tmp/CTLFireability1252745164294239607.gal : 379 ms
[2021-05-11 11:29:42] [INFO ] Time to serialize properties into /tmp/CTLFireability17491121838361360051.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/CTLFireability1252745164294239607.gal, -t, CGAL, -ctl, /tmp/CTLFireability17491121838361360051.ctl], 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/CTLFireability1252745164294239607.gal -t CGAL -ctl /tmp/CTLFireability17491121838361360051.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 4 places
Discarding 2 places :
Implicit places reduction removed 2 places
Drop transitions removed 156 transitions
Trivial Post-agglo rules discarded 156 transitions
Performed 156 trivial Post agglomeration. Transition count delta: 156
Iterating post reduction 0 with 158 rules applied. Total rules applied 158 place count 1705 transition count 2450
Reduce places removed 156 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 164 rules applied. Total rules applied 322 place count 1549 transition count 2442
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 330 place count 1541 transition count 2442
Performed 182 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 182 Pre rules applied. Total rules applied 330 place count 1541 transition count 2260
Deduced a syphon composed of 182 places in 2 ms
Ensure Unique test removed 61 places
Reduce places removed 243 places and 0 transitions.
Iterating global reduction 3 with 425 rules applied. Total rules applied 755 place count 1298 transition count 2260
Drop transitions removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 3 with 8 rules applied. Total rules applied 763 place count 1298 transition count 2252
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 771 place count 1290 transition count 2252
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 7 Pre rules applied. Total rules applied 771 place count 1290 transition count 2245
Deduced a syphon composed of 7 places in 3 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 5 with 14 rules applied. Total rules applied 785 place count 1283 transition count 2245
Discarding 11 places :
Symmetric choice reduction at 5 with 11 rule applications. Total rules 796 place count 1272 transition count 2201
Iterating global reduction 5 with 11 rules applied. Total rules applied 807 place count 1272 transition count 2201
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 5 with 1 rules applied. Total rules applied 808 place count 1271 transition count 2201
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 812 place count 1267 transition count 2190
Iterating global reduction 6 with 4 rules applied. Total rules applied 816 place count 1267 transition count 2190
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 817 place count 1266 transition count 2182
Iterating global reduction 6 with 1 rules applied. Total rules applied 818 place count 1266 transition count 2182
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 819 place count 1265 transition count 2174
Iterating global reduction 6 with 1 rules applied. Total rules applied 820 place count 1265 transition count 2174
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 821 place count 1264 transition count 2166
Iterating global reduction 6 with 1 rules applied. Total rules applied 822 place count 1264 transition count 2166
Performed 69 Post agglomeration using F-continuation condition.Transition count delta: 69
Deduced a syphon composed of 69 places in 2 ms
Reduce places removed 69 places and 0 transitions.
Iterating global reduction 6 with 138 rules applied. Total rules applied 960 place count 1195 transition count 2097
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 963 place count 1192 transition count 2094
Iterating global reduction 6 with 3 rules applied. Total rules applied 966 place count 1192 transition count 2094
Applied a total of 966 rules in 382 ms. Remains 1192 /1711 variables (removed 519) and now considering 2094/2606 (removed 512) transitions.
[2021-05-11 11:30:13] [INFO ] Flatten gal took : 65 ms
[2021-05-11 11:30:13] [INFO ] Flatten gal took : 73 ms
[2021-05-11 11:30:13] [INFO ] Input system was already deterministic with 2094 transitions.
[2021-05-11 11:30:13] [INFO ] Flatten gal took : 71 ms
[2021-05-11 11:30:13] [INFO ] Flatten gal took : 71 ms
[2021-05-11 11:30:13] [INFO ] Time to serialize gal into /tmp/CTLFireability4720289882991191608.gal : 7 ms
[2021-05-11 11:30:22] [INFO ] Time to serialize properties into /tmp/CTLFireability4723065831623023323.ctl : 8592 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/CTLFireability4720289882991191608.gal, -t, CGAL, -ctl, /tmp/CTLFireability4723065831623023323.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/CTLFireability4720289882991191608.gal -t CGAL -ctl /tmp/CTLFireability4723065831623023323.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:30:52] [INFO ] Flatten gal took : 72 ms
[2021-05-11 11:30:52] [INFO ] Applying decomposition
[2021-05-11 11:30:52] [INFO ] Flatten gal took : 113 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/graph18012606170581500021.txt, -o, /tmp/graph18012606170581500021.bin, -w, /tmp/graph18012606170581500021.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/graph18012606170581500021.bin, -l, -1, -v, -w, /tmp/graph18012606170581500021.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:30:52] [INFO ] Decomposing Gal with order
[2021-05-11 11:30:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:30:52] [INFO ] Removed a total of 3400 redundant transitions.
[2021-05-11 11:30:52] [INFO ] Flatten gal took : 111 ms
[2021-05-11 11:30:52] [INFO ] Fuse similar labels procedure discarded/fused a total of 85 labels/synchronizations in 27 ms.
[2021-05-11 11:30:52] [INFO ] Time to serialize gal into /tmp/CTLFireability16350604014278349181.gal : 11 ms
[2021-05-11 11:30:52] [INFO ] Time to serialize properties into /tmp/CTLFireability18068245395901853936.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/CTLFireability16350604014278349181.gal, -t, CGAL, -ctl, /tmp/CTLFireability18068245395901853936.ctl], 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/CTLFireability16350604014278349181.gal -t CGAL -ctl /tmp/CTLFireability18068245395901853936.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 4 places
Reduce places removed 5 places and 1 transitions.
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions removed 187 transitions
Trivial Post-agglo rules discarded 187 transitions
Performed 187 trivial Post agglomeration. Transition count delta: 187
Iterating post reduction 0 with 191 rules applied. Total rules applied 191 place count 1702 transition count 2418
Reduce places removed 201 places and 0 transitions.
Iterating post reduction 1 with 201 rules applied. Total rules applied 392 place count 1501 transition count 2418
Performed 219 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 219 Pre rules applied. Total rules applied 392 place count 1501 transition count 2199
Deduced a syphon composed of 219 places in 2 ms
Ensure Unique test removed 69 places
Reduce places removed 288 places and 0 transitions.
Iterating global reduction 2 with 507 rules applied. Total rules applied 899 place count 1213 transition count 2199
Discarding 9 places :
Implicit places reduction removed 9 places
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 2 with 32 rules applied. Total rules applied 931 place count 1204 transition count 2176
Reduce places removed 25 places and 0 transitions.
Iterating post reduction 3 with 25 rules applied. Total rules applied 956 place count 1179 transition count 2176
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 19 Pre rules applied. Total rules applied 956 place count 1179 transition count 2157
Deduced a syphon composed of 19 places in 2 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 4 with 38 rules applied. Total rules applied 994 place count 1160 transition count 2157
Discarding 18 places :
Symmetric choice reduction at 4 with 18 rule applications. Total rules 1012 place count 1142 transition count 2096
Iterating global reduction 4 with 18 rules applied. Total rules applied 1030 place count 1142 transition count 2096
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Discarding 10 places :
Implicit places reduction removed 10 places
Iterating post reduction 4 with 17 rules applied. Total rules applied 1047 place count 1132 transition count 2089
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 1052 place count 1127 transition count 2077
Iterating global reduction 5 with 5 rules applied. Total rules applied 1057 place count 1127 transition count 2077
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 1060 place count 1124 transition count 2067
Iterating global reduction 5 with 3 rules applied. Total rules applied 1063 place count 1124 transition count 2067
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 1066 place count 1121 transition count 2057
Iterating global reduction 5 with 3 rules applied. Total rules applied 1069 place count 1121 transition count 2057
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 1071 place count 1121 transition count 2055
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1072 place count 1120 transition count 2047
Iterating global reduction 6 with 1 rules applied. Total rules applied 1073 place count 1120 transition count 2047
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1074 place count 1119 transition count 2039
Iterating global reduction 6 with 1 rules applied. Total rules applied 1075 place count 1119 transition count 2039
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1076 place count 1118 transition count 2031
Iterating global reduction 6 with 1 rules applied. Total rules applied 1077 place count 1118 transition count 2031
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1078 place count 1117 transition count 2023
Iterating global reduction 6 with 1 rules applied. Total rules applied 1079 place count 1117 transition count 2023
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1080 place count 1116 transition count 2015
Iterating global reduction 6 with 1 rules applied. Total rules applied 1081 place count 1116 transition count 2015
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1082 place count 1115 transition count 2007
Iterating global reduction 6 with 1 rules applied. Total rules applied 1083 place count 1115 transition count 2007
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1084 place count 1114 transition count 1999
Iterating global reduction 6 with 1 rules applied. Total rules applied 1085 place count 1114 transition count 1999
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1086 place count 1113 transition count 1991
Iterating global reduction 6 with 1 rules applied. Total rules applied 1087 place count 1113 transition count 1991
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1088 place count 1112 transition count 1983
Iterating global reduction 6 with 1 rules applied. Total rules applied 1089 place count 1112 transition count 1983
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1090 place count 1111 transition count 1975
Iterating global reduction 6 with 1 rules applied. Total rules applied 1091 place count 1111 transition count 1975
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1092 place count 1110 transition count 1967
Iterating global reduction 6 with 1 rules applied. Total rules applied 1093 place count 1110 transition count 1967
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1094 place count 1109 transition count 1959
Iterating global reduction 6 with 1 rules applied. Total rules applied 1095 place count 1109 transition count 1959
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1096 place count 1108 transition count 1951
Iterating global reduction 6 with 1 rules applied. Total rules applied 1097 place count 1108 transition count 1951
Performed 86 Post agglomeration using F-continuation condition.Transition count delta: 86
Deduced a syphon composed of 86 places in 2 ms
Reduce places removed 86 places and 0 transitions.
Iterating global reduction 6 with 172 rules applied. Total rules applied 1269 place count 1022 transition count 1865
Discarding 10 places :
Symmetric choice reduction at 6 with 10 rule applications. Total rules 1279 place count 1012 transition count 1855
Iterating global reduction 6 with 10 rules applied. Total rules applied 1289 place count 1012 transition count 1855
Applied a total of 1289 rules in 753 ms. Remains 1012 /1711 variables (removed 699) and now considering 1855/2606 (removed 751) transitions.
[2021-05-11 11:31:23] [INFO ] Flatten gal took : 154 ms
[2021-05-11 11:31:23] [INFO ] Flatten gal took : 63 ms
[2021-05-11 11:31:24] [INFO ] Input system was already deterministic with 1855 transitions.
[2021-05-11 11:31:24] [INFO ] Flatten gal took : 63 ms
[2021-05-11 11:31:24] [INFO ] Flatten gal took : 63 ms
[2021-05-11 11:31:24] [INFO ] Time to serialize gal into /tmp/CTLFireability1525985678292849815.gal : 6 ms
[2021-05-11 11:31:24] [INFO ] Time to serialize properties into /tmp/CTLFireability15258124511807515261.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/CTLFireability1525985678292849815.gal, -t, CGAL, -ctl, /tmp/CTLFireability15258124511807515261.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/CTLFireability1525985678292849815.gal -t CGAL -ctl /tmp/CTLFireability15258124511807515261.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:31:54] [INFO ] Flatten gal took : 62 ms
[2021-05-11 11:31:54] [INFO ] Applying decomposition
[2021-05-11 11:31:54] [INFO ] Flatten gal took : 63 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/graph15804934332940374630.txt, -o, /tmp/graph15804934332940374630.bin, -w, /tmp/graph15804934332940374630.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/graph15804934332940374630.bin, -l, -1, -v, -w, /tmp/graph15804934332940374630.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:31:54] [INFO ] Decomposing Gal with order
[2021-05-11 11:31:54] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:31:54] [INFO ] Removed a total of 3121 redundant transitions.
[2021-05-11 11:31:54] [INFO ] Flatten gal took : 149 ms
[2021-05-11 11:31:54] [INFO ] Fuse similar labels procedure discarded/fused a total of 69 labels/synchronizations in 13 ms.
[2021-05-11 11:31:54] [INFO ] Time to serialize gal into /tmp/CTLFireability8678015358566943963.gal : 7 ms
[2021-05-11 11:31:54] [INFO ] Time to serialize properties into /tmp/CTLFireability3096723130830447190.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/CTLFireability8678015358566943963.gal, -t, CGAL, -ctl, /tmp/CTLFireability3096723130830447190.ctl], 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/CTLFireability8678015358566943963.gal -t CGAL -ctl /tmp/CTLFireability3096723130830447190.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 3 places
Discarding 3 places :
Implicit places reduction removed 3 places
Drop transitions removed 165 transitions
Trivial Post-agglo rules discarded 165 transitions
Performed 165 trivial Post agglomeration. Transition count delta: 165
Iterating post reduction 0 with 168 rules applied. Total rules applied 168 place count 1705 transition count 2441
Reduce places removed 165 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 173 rules applied. Total rules applied 341 place count 1540 transition count 2433
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 2 with 8 rules applied. Total rules applied 349 place count 1532 transition count 2433
Performed 176 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 176 Pre rules applied. Total rules applied 349 place count 1532 transition count 2257
Deduced a syphon composed of 176 places in 2 ms
Ensure Unique test removed 63 places
Reduce places removed 239 places and 0 transitions.
Iterating global reduction 3 with 415 rules applied. Total rules applied 764 place count 1293 transition count 2257
Drop transitions removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 3 with 8 rules applied. Total rules applied 772 place count 1293 transition count 2249
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 780 place count 1285 transition count 2249
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 7 Pre rules applied. Total rules applied 780 place count 1285 transition count 2242
Deduced a syphon composed of 7 places in 2 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 5 with 14 rules applied. Total rules applied 794 place count 1278 transition count 2242
Discarding 13 places :
Symmetric choice reduction at 5 with 13 rule applications. Total rules 807 place count 1265 transition count 2181
Iterating global reduction 5 with 13 rules applied. Total rules applied 820 place count 1265 transition count 2181
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 5 with 3 rules applied. Total rules applied 823 place count 1262 transition count 2181
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 826 place count 1259 transition count 2171
Iterating global reduction 6 with 3 rules applied. Total rules applied 829 place count 1259 transition count 2171
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 830 place count 1258 transition count 2163
Iterating global reduction 6 with 1 rules applied. Total rules applied 831 place count 1258 transition count 2163
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 832 place count 1257 transition count 2155
Iterating global reduction 6 with 1 rules applied. Total rules applied 833 place count 1257 transition count 2155
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 834 place count 1256 transition count 2147
Iterating global reduction 6 with 1 rules applied. Total rules applied 835 place count 1256 transition count 2147
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 836 place count 1255 transition count 2139
Iterating global reduction 6 with 1 rules applied. Total rules applied 837 place count 1255 transition count 2139
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 838 place count 1254 transition count 2131
Iterating global reduction 6 with 1 rules applied. Total rules applied 839 place count 1254 transition count 2131
Performed 74 Post agglomeration using F-continuation condition.Transition count delta: 74
Deduced a syphon composed of 74 places in 3 ms
Reduce places removed 74 places and 0 transitions.
Iterating global reduction 6 with 148 rules applied. Total rules applied 987 place count 1180 transition count 2057
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 992 place count 1175 transition count 2052
Iterating global reduction 6 with 5 rules applied. Total rules applied 997 place count 1175 transition count 2052
Partial Post-agglomeration rule applied 4 times.
Drop transitions removed 4 transitions
Iterating global reduction 6 with 4 rules applied. Total rules applied 1001 place count 1175 transition count 2052
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1002 place count 1174 transition count 2051
Iterating global reduction 6 with 1 rules applied. Total rules applied 1003 place count 1174 transition count 2051
Applied a total of 1003 rules in 433 ms. Remains 1174 /1711 variables (removed 537) and now considering 2051/2606 (removed 555) transitions.
[2021-05-11 11:32:25] [INFO ] Flatten gal took : 64 ms
[2021-05-11 11:32:25] [INFO ] Flatten gal took : 95 ms
[2021-05-11 11:32:25] [INFO ] Input system was already deterministic with 2051 transitions.
[2021-05-11 11:32:25] [INFO ] Flatten gal took : 69 ms
[2021-05-11 11:32:25] [INFO ] Flatten gal took : 70 ms
[2021-05-11 11:32:25] [INFO ] Time to serialize gal into /tmp/CTLFireability14811724995300408197.gal : 5 ms
[2021-05-11 11:32:25] [INFO ] Time to serialize properties into /tmp/CTLFireability3955348874233693542.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/CTLFireability14811724995300408197.gal, -t, CGAL, -ctl, /tmp/CTLFireability3955348874233693542.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/CTLFireability14811724995300408197.gal -t CGAL -ctl /tmp/CTLFireability3955348874233693542.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:32:55] [INFO ] Flatten gal took : 68 ms
[2021-05-11 11:32:55] [INFO ] Applying decomposition
[2021-05-11 11:32:55] [INFO ] Flatten gal took : 68 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/graph8792456974731820221.txt, -o, /tmp/graph8792456974731820221.bin, -w, /tmp/graph8792456974731820221.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/graph8792456974731820221.bin, -l, -1, -v, -w, /tmp/graph8792456974731820221.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:32:56] [INFO ] Decomposing Gal with order
[2021-05-11 11:32:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:32:56] [INFO ] Removed a total of 3367 redundant transitions.
[2021-05-11 11:32:56] [INFO ] Flatten gal took : 100 ms
[2021-05-11 11:32:56] [INFO ] Fuse similar labels procedure discarded/fused a total of 50 labels/synchronizations in 17 ms.
[2021-05-11 11:32:56] [INFO ] Time to serialize gal into /tmp/CTLFireability3740612319848013310.gal : 9 ms
[2021-05-11 11:32:56] [INFO ] Time to serialize properties into /tmp/CTLFireability9145126063649011521.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/CTLFireability3740612319848013310.gal, -t, CGAL, -ctl, /tmp/CTLFireability9145126063649011521.ctl], 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/CTLFireability3740612319848013310.gal -t CGAL -ctl /tmp/CTLFireability9145126063649011521.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 4 places
Reduce places removed 5 places and 1 transitions.
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions removed 188 transitions
Trivial Post-agglo rules discarded 188 transitions
Performed 188 trivial Post agglomeration. Transition count delta: 188
Iterating post reduction 0 with 192 rules applied. Total rules applied 192 place count 1702 transition count 2417
Reduce places removed 202 places and 0 transitions.
Iterating post reduction 1 with 202 rules applied. Total rules applied 394 place count 1500 transition count 2417
Performed 219 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 219 Pre rules applied. Total rules applied 394 place count 1500 transition count 2198
Deduced a syphon composed of 219 places in 2 ms
Ensure Unique test removed 69 places
Reduce places removed 288 places and 0 transitions.
Iterating global reduction 2 with 507 rules applied. Total rules applied 901 place count 1212 transition count 2198
Discarding 9 places :
Implicit places reduction removed 9 places
Drop transitions removed 23 transitions
Trivial Post-agglo rules discarded 23 transitions
Performed 23 trivial Post agglomeration. Transition count delta: 23
Iterating post reduction 2 with 32 rules applied. Total rules applied 933 place count 1203 transition count 2175
Reduce places removed 25 places and 0 transitions.
Iterating post reduction 3 with 25 rules applied. Total rules applied 958 place count 1178 transition count 2175
Performed 19 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 19 Pre rules applied. Total rules applied 958 place count 1178 transition count 2156
Deduced a syphon composed of 19 places in 2 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 4 with 38 rules applied. Total rules applied 996 place count 1159 transition count 2156
Discarding 20 places :
Symmetric choice reduction at 4 with 20 rule applications. Total rules 1016 place count 1139 transition count 2088
Iterating global reduction 4 with 20 rules applied. Total rules applied 1036 place count 1139 transition count 2088
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Discarding 11 places :
Implicit places reduction removed 11 places
Iterating post reduction 4 with 18 rules applied. Total rules applied 1054 place count 1128 transition count 2081
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 1060 place count 1122 transition count 2068
Iterating global reduction 5 with 6 rules applied. Total rules applied 1066 place count 1122 transition count 2068
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 1069 place count 1119 transition count 2058
Iterating global reduction 5 with 3 rules applied. Total rules applied 1072 place count 1119 transition count 2058
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 1075 place count 1116 transition count 2048
Iterating global reduction 5 with 3 rules applied. Total rules applied 1078 place count 1116 transition count 2048
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 5 with 2 rules applied. Total rules applied 1080 place count 1116 transition count 2046
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1081 place count 1115 transition count 2038
Iterating global reduction 6 with 1 rules applied. Total rules applied 1082 place count 1115 transition count 2038
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1083 place count 1114 transition count 2030
Iterating global reduction 6 with 1 rules applied. Total rules applied 1084 place count 1114 transition count 2030
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1085 place count 1113 transition count 2022
Iterating global reduction 6 with 1 rules applied. Total rules applied 1086 place count 1113 transition count 2022
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1087 place count 1112 transition count 2014
Iterating global reduction 6 with 1 rules applied. Total rules applied 1088 place count 1112 transition count 2014
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1089 place count 1111 transition count 2006
Iterating global reduction 6 with 1 rules applied. Total rules applied 1090 place count 1111 transition count 2006
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1091 place count 1110 transition count 1998
Iterating global reduction 6 with 1 rules applied. Total rules applied 1092 place count 1110 transition count 1998
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1093 place count 1109 transition count 1990
Iterating global reduction 6 with 1 rules applied. Total rules applied 1094 place count 1109 transition count 1990
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1095 place count 1108 transition count 1982
Iterating global reduction 6 with 1 rules applied. Total rules applied 1096 place count 1108 transition count 1982
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1097 place count 1107 transition count 1974
Iterating global reduction 6 with 1 rules applied. Total rules applied 1098 place count 1107 transition count 1974
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1099 place count 1106 transition count 1966
Iterating global reduction 6 with 1 rules applied. Total rules applied 1100 place count 1106 transition count 1966
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1101 place count 1105 transition count 1958
Iterating global reduction 6 with 1 rules applied. Total rules applied 1102 place count 1105 transition count 1958
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1103 place count 1104 transition count 1950
Iterating global reduction 6 with 1 rules applied. Total rules applied 1104 place count 1104 transition count 1950
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1105 place count 1103 transition count 1942
Iterating global reduction 6 with 1 rules applied. Total rules applied 1106 place count 1103 transition count 1942
Performed 87 Post agglomeration using F-continuation condition.Transition count delta: 87
Deduced a syphon composed of 87 places in 2 ms
Reduce places removed 87 places and 0 transitions.
Iterating global reduction 6 with 174 rules applied. Total rules applied 1280 place count 1016 transition count 1855
Discarding 11 places :
Symmetric choice reduction at 6 with 11 rule applications. Total rules 1291 place count 1005 transition count 1844
Iterating global reduction 6 with 11 rules applied. Total rules applied 1302 place count 1005 transition count 1844
Applied a total of 1302 rules in 604 ms. Remains 1005 /1711 variables (removed 706) and now considering 1844/2606 (removed 762) transitions.
[2021-05-11 11:33:27] [INFO ] Flatten gal took : 56 ms
[2021-05-11 11:33:27] [INFO ] Flatten gal took : 63 ms
[2021-05-11 11:33:27] [INFO ] Input system was already deterministic with 1844 transitions.
[2021-05-11 11:33:27] [INFO ] Flatten gal took : 117 ms
[2021-05-11 11:33:27] [INFO ] Flatten gal took : 60 ms
[2021-05-11 11:33:27] [INFO ] Time to serialize gal into /tmp/CTLFireability7205915730698859924.gal : 5 ms
[2021-05-11 11:33:27] [INFO ] Time to serialize properties into /tmp/CTLFireability7588031540236459278.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/CTLFireability7205915730698859924.gal, -t, CGAL, -ctl, /tmp/CTLFireability7588031540236459278.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/CTLFireability7205915730698859924.gal -t CGAL -ctl /tmp/CTLFireability7588031540236459278.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:33:57] [INFO ] Flatten gal took : 61 ms
[2021-05-11 11:33:57] [INFO ] Applying decomposition
[2021-05-11 11:33:57] [INFO ] Flatten gal took : 61 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/graph15102652063446692815.txt, -o, /tmp/graph15102652063446692815.bin, -w, /tmp/graph15102652063446692815.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/graph15102652063446692815.bin, -l, -1, -v, -w, /tmp/graph15102652063446692815.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:33:57] [INFO ] Decomposing Gal with order
[2021-05-11 11:33:57] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:33:57] [INFO ] Removed a total of 3101 redundant transitions.
[2021-05-11 11:33:57] [INFO ] Flatten gal took : 90 ms
[2021-05-11 11:33:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 75 labels/synchronizations in 12 ms.
[2021-05-11 11:33:57] [INFO ] Time to serialize gal into /tmp/CTLFireability3400954321039050076.gal : 7 ms
[2021-05-11 11:33:57] [INFO ] Time to serialize properties into /tmp/CTLFireability1205879965982848357.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/CTLFireability3400954321039050076.gal, -t, CGAL, -ctl, /tmp/CTLFireability1205879965982848357.ctl], 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/CTLFireability3400954321039050076.gal -t CGAL -ctl /tmp/CTLFireability1205879965982848357.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 4 places
Discarding 3 places :
Implicit places reduction removed 3 places
Drop transitions removed 182 transitions
Trivial Post-agglo rules discarded 182 transitions
Performed 182 trivial Post agglomeration. Transition count delta: 182
Iterating post reduction 0 with 185 rules applied. Total rules applied 185 place count 1704 transition count 2424
Reduce places removed 182 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 184 rules applied. Total rules applied 369 place count 1522 transition count 2422
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 371 place count 1520 transition count 2422
Performed 182 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 182 Pre rules applied. Total rules applied 371 place count 1520 transition count 2240
Deduced a syphon composed of 182 places in 3 ms
Ensure Unique test removed 67 places
Reduce places removed 249 places and 0 transitions.
Iterating global reduction 3 with 431 rules applied. Total rules applied 802 place count 1271 transition count 2240
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 3 with 9 rules applied. Total rules applied 811 place count 1271 transition count 2231
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 4 with 9 rules applied. Total rules applied 820 place count 1262 transition count 2231
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 7 Pre rules applied. Total rules applied 820 place count 1262 transition count 2224
Deduced a syphon composed of 7 places in 3 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 5 with 14 rules applied. Total rules applied 834 place count 1255 transition count 2224
Discarding 12 places :
Symmetric choice reduction at 5 with 12 rule applications. Total rules 846 place count 1243 transition count 2169
Iterating global reduction 5 with 12 rules applied. Total rules applied 858 place count 1243 transition count 2169
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 5 with 1 rules applied. Total rules applied 859 place count 1242 transition count 2169
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 863 place count 1238 transition count 2158
Iterating global reduction 6 with 4 rules applied. Total rules applied 867 place count 1238 transition count 2158
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 868 place count 1237 transition count 2150
Iterating global reduction 6 with 1 rules applied. Total rules applied 869 place count 1237 transition count 2150
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 870 place count 1236 transition count 2142
Iterating global reduction 6 with 1 rules applied. Total rules applied 871 place count 1236 transition count 2142
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 872 place count 1235 transition count 2134
Iterating global reduction 6 with 1 rules applied. Total rules applied 873 place count 1235 transition count 2134
Performed 81 Post agglomeration using F-continuation condition.Transition count delta: 81
Deduced a syphon composed of 81 places in 2 ms
Reduce places removed 81 places and 0 transitions.
Iterating global reduction 6 with 162 rules applied. Total rules applied 1035 place count 1154 transition count 2053
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 1038 place count 1151 transition count 2050
Iterating global reduction 6 with 3 rules applied. Total rules applied 1041 place count 1151 transition count 2050
Applied a total of 1041 rules in 348 ms. Remains 1151 /1711 variables (removed 560) and now considering 2050/2606 (removed 556) transitions.
[2021-05-11 11:34:28] [INFO ] Flatten gal took : 63 ms
[2021-05-11 11:34:28] [INFO ] Flatten gal took : 71 ms
[2021-05-11 11:34:28] [INFO ] Input system was already deterministic with 2050 transitions.
[2021-05-11 11:34:28] [INFO ] Flatten gal took : 68 ms
[2021-05-11 11:34:28] [INFO ] Flatten gal took : 69 ms
[2021-05-11 11:34:28] [INFO ] Time to serialize gal into /tmp/CTLFireability14031619964584062611.gal : 5 ms
[2021-05-11 11:34:28] [INFO ] Time to serialize properties into /tmp/CTLFireability13702317695173521732.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/CTLFireability14031619964584062611.gal, -t, CGAL, -ctl, /tmp/CTLFireability13702317695173521732.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/CTLFireability14031619964584062611.gal -t CGAL -ctl /tmp/CTLFireability13702317695173521732.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:34:58] [INFO ] Flatten gal took : 67 ms
[2021-05-11 11:34:58] [INFO ] Applying decomposition
[2021-05-11 11:34:58] [INFO ] Flatten gal took : 69 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/graph14365963904786511510.txt, -o, /tmp/graph14365963904786511510.bin, -w, /tmp/graph14365963904786511510.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/graph14365963904786511510.bin, -l, -1, -v, -w, /tmp/graph14365963904786511510.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:34:59] [INFO ] Decomposing Gal with order
[2021-05-11 11:34:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:34:59] [INFO ] Removed a total of 3430 redundant transitions.
[2021-05-11 11:34:59] [INFO ] Flatten gal took : 102 ms
[2021-05-11 11:34:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 54 labels/synchronizations in 16 ms.
[2021-05-11 11:34:59] [INFO ] Time to serialize gal into /tmp/CTLFireability2573225254223113448.gal : 9 ms
[2021-05-11 11:34:59] [INFO ] Time to serialize properties into /tmp/CTLFireability7796656818707768382.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/CTLFireability2573225254223113448.gal, -t, CGAL, -ctl, /tmp/CTLFireability7796656818707768382.ctl], 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/CTLFireability2573225254223113448.gal -t CGAL -ctl /tmp/CTLFireability7796656818707768382.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 4 places
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions removed 179 transitions
Trivial Post-agglo rules discarded 179 transitions
Performed 179 trivial Post agglomeration. Transition count delta: 179
Iterating post reduction 0 with 183 rules applied. Total rules applied 183 place count 1703 transition count 2427
Reduce places removed 179 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 1 with 184 rules applied. Total rules applied 367 place count 1524 transition count 2422
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 2 with 5 rules applied. Total rules applied 372 place count 1519 transition count 2422
Performed 181 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 181 Pre rules applied. Total rules applied 372 place count 1519 transition count 2241
Deduced a syphon composed of 181 places in 2 ms
Ensure Unique test removed 66 places
Reduce places removed 247 places and 0 transitions.
Iterating global reduction 3 with 428 rules applied. Total rules applied 800 place count 1272 transition count 2241
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 3 with 9 rules applied. Total rules applied 809 place count 1272 transition count 2232
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 4 with 9 rules applied. Total rules applied 818 place count 1263 transition count 2232
Performed 6 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 6 Pre rules applied. Total rules applied 818 place count 1263 transition count 2226
Deduced a syphon composed of 6 places in 2 ms
Reduce places removed 6 places and 0 transitions.
Iterating global reduction 5 with 12 rules applied. Total rules applied 830 place count 1257 transition count 2226
Discarding 11 places :
Symmetric choice reduction at 5 with 11 rule applications. Total rules 841 place count 1246 transition count 2180
Iterating global reduction 5 with 11 rules applied. Total rules applied 852 place count 1246 transition count 2180
Discarding 3 places :
Implicit places reduction removed 3 places
Iterating post reduction 5 with 3 rules applied. Total rules applied 855 place count 1243 transition count 2180
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 858 place count 1240 transition count 2177
Iterating global reduction 6 with 3 rules applied. Total rules applied 861 place count 1240 transition count 2177
Performed 80 Post agglomeration using F-continuation condition.Transition count delta: 80
Deduced a syphon composed of 80 places in 2 ms
Reduce places removed 80 places and 0 transitions.
Iterating global reduction 6 with 160 rules applied. Total rules applied 1021 place count 1160 transition count 2097
Discarding 5 places :
Symmetric choice reduction at 6 with 5 rule applications. Total rules 1026 place count 1155 transition count 2092
Iterating global reduction 6 with 5 rules applied. Total rules applied 1031 place count 1155 transition count 2092
Applied a total of 1031 rules in 239 ms. Remains 1155 /1711 variables (removed 556) and now considering 2092/2606 (removed 514) transitions.
[2021-05-11 11:35:29] [INFO ] Flatten gal took : 62 ms
[2021-05-11 11:35:29] [INFO ] Flatten gal took : 69 ms
[2021-05-11 11:35:29] [INFO ] Input system was already deterministic with 2092 transitions.
[2021-05-11 11:35:29] [INFO ] Flatten gal took : 70 ms
[2021-05-11 11:35:30] [INFO ] Flatten gal took : 83 ms
[2021-05-11 11:35:30] [INFO ] Time to serialize gal into /tmp/CTLFireability4069806207383164113.gal : 5 ms
[2021-05-11 11:35:30] [INFO ] Time to serialize properties into /tmp/CTLFireability5806561533016007279.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/CTLFireability4069806207383164113.gal, -t, CGAL, -ctl, /tmp/CTLFireability5806561533016007279.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/CTLFireability4069806207383164113.gal -t CGAL -ctl /tmp/CTLFireability5806561533016007279.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:36:00] [INFO ] Flatten gal took : 67 ms
[2021-05-11 11:36:00] [INFO ] Applying decomposition
[2021-05-11 11:36:00] [INFO ] Flatten gal took : 69 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/graph6911340099081802680.txt, -o, /tmp/graph6911340099081802680.bin, -w, /tmp/graph6911340099081802680.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/graph6911340099081802680.bin, -l, -1, -v, -w, /tmp/graph6911340099081802680.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:36:00] [INFO ] Decomposing Gal with order
[2021-05-11 11:36:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:36:00] [INFO ] Removed a total of 3490 redundant transitions.
[2021-05-11 11:36:00] [INFO ] Flatten gal took : 103 ms
[2021-05-11 11:36:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 64 labels/synchronizations in 17 ms.
[2021-05-11 11:36:00] [INFO ] Time to serialize gal into /tmp/CTLFireability7015800442681799374.gal : 10 ms
[2021-05-11 11:36:00] [INFO ] Time to serialize properties into /tmp/CTLFireability13982378404957821589.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/CTLFireability7015800442681799374.gal, -t, CGAL, -ctl, /tmp/CTLFireability13982378404957821589.ctl], 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/CTLFireability7015800442681799374.gal -t CGAL -ctl /tmp/CTLFireability13982378404957821589.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:36:30] [INFO ] Flatten gal took : 110 ms
[2021-05-11 11:36:30] [INFO ] Flatten gal took : 83 ms
[2021-05-11 11:36:30] [INFO ] Applying decomposition
[2021-05-11 11:36:30] [INFO ] Flatten gal took : 84 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/graph1869888337130750344.txt, -o, /tmp/graph1869888337130750344.bin, -w, /tmp/graph1869888337130750344.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/graph1869888337130750344.bin, -l, -1, -v, -w, /tmp/graph1869888337130750344.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 11:36:31] [INFO ] Decomposing Gal with order
[2021-05-11 11:36:31] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 11:36:31] [INFO ] Removed a total of 3548 redundant transitions.
[2021-05-11 11:36:31] [INFO ] Flatten gal took : 139 ms
[2021-05-11 11:36:31] [INFO ] Fuse similar labels procedure discarded/fused a total of 55 labels/synchronizations in 14 ms.
[2021-05-11 11:36:31] [INFO ] Time to serialize gal into /tmp/CTLFireability9964570778832419917.gal : 10 ms
[2021-05-11 11:36:31] [INFO ] Time to serialize properties into /tmp/CTLFireability8581301529745904876.ctl : 4 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/CTLFireability9964570778832419917.gal, -t, CGAL, -ctl, /tmp/CTLFireability8581301529745904876.ctl], 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/CTLFireability9964570778832419917.gal -t CGAL -ctl /tmp/CTLFireability8581301529745904876.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 12:01:12] [INFO ] Applying decomposition
[2021-05-11 12:01:12] [INFO ] Flatten gal took : 86 ms
[2021-05-11 12:01:12] [INFO ] Decomposing Gal with order
[2021-05-11 12:01:12] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 12:01:13] [INFO ] Removed a total of 3081 redundant transitions.
[2021-05-11 12:01:13] [INFO ] Flatten gal took : 166 ms
[2021-05-11 12:01:13] [INFO ] Fuse similar labels procedure discarded/fused a total of 1089 labels/synchronizations in 59 ms.
[2021-05-11 12:01:13] [INFO ] Time to serialize gal into /tmp/CTLFireability1123943459258337537.gal : 6 ms
[2021-05-11 12:01:13] [INFO ] Time to serialize properties into /tmp/CTLFireability15080417711531188316.ctl : 2 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/CTLFireability1123943459258337537.gal, -t, CGAL, -ctl, /tmp/CTLFireability15080417711531188316.ctl], 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/CTLFireability1123943459258337537.gal -t CGAL -ctl /tmp/CTLFireability15080417711531188316.ctl
No direction supplied, using forward translation only.
Parsed 16 CTL formulae.
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
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -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 CTLFireability -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="ASLink-PT-08a"
export BK_EXAMINATION="CTLFireability"
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 ASLink-PT-08a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r007-tall-162037989500124"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-08a.tgz
mv ASLink-PT-08a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;