About the Execution of ITS-Tools for ASLink-PT-10a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16247.155 | 3600000.00 | 2822514.00 | 440412.30 | FF????T?????T?T? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r007-tall-162037989600155.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-10a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r007-tall-162037989600155
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 170K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 97K 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.4K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K 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.8K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 920K 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-10a-CTLCardinality-00
FORMULA_NAME ASLink-PT-10a-CTLCardinality-01
FORMULA_NAME ASLink-PT-10a-CTLCardinality-02
FORMULA_NAME ASLink-PT-10a-CTLCardinality-03
FORMULA_NAME ASLink-PT-10a-CTLCardinality-04
FORMULA_NAME ASLink-PT-10a-CTLCardinality-05
FORMULA_NAME ASLink-PT-10a-CTLCardinality-06
FORMULA_NAME ASLink-PT-10a-CTLCardinality-07
FORMULA_NAME ASLink-PT-10a-CTLCardinality-08
FORMULA_NAME ASLink-PT-10a-CTLCardinality-09
FORMULA_NAME ASLink-PT-10a-CTLCardinality-10
FORMULA_NAME ASLink-PT-10a-CTLCardinality-11
FORMULA_NAME ASLink-PT-10a-CTLCardinality-12
FORMULA_NAME ASLink-PT-10a-CTLCardinality-13
FORMULA_NAME ASLink-PT-10a-CTLCardinality-14
FORMULA_NAME ASLink-PT-10a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1620735739087
Running Version 0
[2021-05-11 12:22:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-11 12:22:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 12:22:20] [INFO ] Load time of PNML (sax parser for PT used): 160 ms
[2021-05-11 12:22:20] [INFO ] Transformed 2186 places.
[2021-05-11 12:22:20] [INFO ] Transformed 3192 transitions.
[2021-05-11 12:22:20] [INFO ] Found NUPN structural information;
[2021-05-11 12:22:20] [INFO ] Parsed PT model containing 2186 places and 3192 transitions in 234 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 25 ms.
Ensure Unique test removed 34 transitions
Reduce redundant transitions removed 34 transitions.
Support contains 977 out of 2186 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2186/2186 places, 3158/3158 transitions.
Ensure Unique test removed 32 places
Discarding 10 places :
Implicit places reduction removed 10 places
Iterating post reduction 0 with 42 rules applied. Total rules applied 42 place count 2144 transition count 3158
Discarding 4 places :
Symmetric choice reduction at 1 with 4 rule applications. Total rules 46 place count 2140 transition count 3154
Ensure Unique test removed 1 places
Iterating global reduction 1 with 5 rules applied. Total rules applied 51 place count 2139 transition count 3154
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 1 with 2 rules applied. Total rules applied 53 place count 2139 transition count 3152
Applied a total of 53 rules in 263 ms. Remains 2139 /2186 variables (removed 47) and now considering 3152/3158 (removed 6) transitions.
// Phase 1: matrix 3152 rows 2139 cols
[2021-05-11 12:22:21] [INFO ] Computed 379 place invariants in 483 ms
[2021-05-11 12:22:22] [INFO ] Implicit Places using invariants in 1526 ms returned [20, 52, 217, 391, 415, 453, 600, 605, 643, 774, 794, 795, 815, 833, 984, 985, 1023, 1154, 1171, 1176, 1197, 1345, 1367, 1406, 1536, 1553, 1558, 1579, 1597, 1726, 1744, 1748, 1749, 1769, 1918, 1923, 1936, 1942, 1977, 1979, 1982, 2001, 2002, 2003, 2042, 2048, 2060, 2074]
Discarding 48 places :
Implicit Place search using SMT only with invariants took 1558 ms to find 48 implicit places.
// Phase 1: matrix 3152 rows 2091 cols
[2021-05-11 12:22:23] [INFO ] Computed 331 place invariants in 252 ms
[2021-05-11 12:22:24] [INFO ] Dead Transitions using invariants and state equation in 1936 ms returned []
Starting structural reductions, iteration 1 : 2091/2186 places, 3152/3158 transitions.
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 1 place count 2090 transition count 3151
Iterating global reduction 0 with 1 rules applied. Total rules applied 2 place count 2090 transition count 3151
Applied a total of 2 rules in 154 ms. Remains 2090 /2091 variables (removed 1) and now considering 3151/3152 (removed 1) transitions.
// Phase 1: matrix 3151 rows 2090 cols
[2021-05-11 12:22:25] [INFO ] Computed 331 place invariants in 117 ms
[2021-05-11 12:22:25] [INFO ] Implicit Places using invariants in 869 ms returned []
// Phase 1: matrix 3151 rows 2090 cols
[2021-05-11 12:22:25] [INFO ] Computed 331 place invariants in 48 ms
[2021-05-11 12:22:30] [INFO ] Implicit Places using invariants and state equation in 4910 ms returned []
Implicit Place search using SMT with State Equation took 5781 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 2090/2186 places, 3151/3158 transitions.
[2021-05-11 12:22:31] [INFO ] Flatten gal took : 270 ms
[2021-05-11 12:22:31] [INFO ] Flatten gal took : 172 ms
[2021-05-11 12:22:31] [INFO ] Input system was already deterministic with 3151 transitions.
Incomplete random walk after 100000 steps, including 440 resets, run finished after 3542 ms. (steps per millisecond=28 ) properties (out of 106) seen :34
Running SMT prover for 72 properties.
// Phase 1: matrix 3151 rows 2090 cols
[2021-05-11 12:22:35] [INFO ] Computed 331 place invariants in 56 ms
[2021-05-11 12:22:37] [INFO ] [Real]Absence check using 64 positive place invariants in 22 ms returned sat
[2021-05-11 12:22:37] [INFO ] [Real]Absence check using 64 positive and 267 generalized place invariants in 84 ms returned sat
[2021-05-11 12:22:37] [INFO ] SMT Verify possible in real domain returnedunsat :10 sat :0 real:62
[2021-05-11 12:22:39] [INFO ] [Nat]Absence check using 64 positive place invariants in 21 ms returned sat
[2021-05-11 12:22:39] [INFO ] [Nat]Absence check using 64 positive and 267 generalized place invariants in 82 ms returned sat
[2021-05-11 12:22:39] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 12:22:45] [INFO ] [Nat]Absence check using state equation in 5439 ms returned unsat :53 sat :19
Attempting to minimize the solution found.
Minimization took 4288 ms.
[2021-05-11 12:22:49] [INFO ] SMT Verify possible in nat domain returned unsat :53 sat :19
Successfully simplified 63 atomic propositions for a total of 16 simplifications.
Ensure Unique test removed 8 places
Discarding 10 places :
Implicit places reduction removed 10 places
Drop transitions removed 265 transitions
Trivial Post-agglo rules discarded 265 transitions
Performed 265 trivial Post agglomeration. Transition count delta: 265
Iterating post reduction 0 with 275 rules applied. Total rules applied 275 place count 2072 transition count 2886
Reduce places removed 265 places and 0 transitions.
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Iterating post reduction 1 with 275 rules applied. Total rules applied 550 place count 1807 transition count 2876
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 560 place count 1797 transition count 2876
Performed 231 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 231 Pre rules applied. Total rules applied 560 place count 1797 transition count 2645
Deduced a syphon composed of 231 places in 5 ms
Ensure Unique test removed 83 places
Reduce places removed 314 places and 0 transitions.
Iterating global reduction 3 with 545 rules applied. Total rules applied 1105 place count 1483 transition count 2645
Discarding 1 places :
Implicit places reduction removed 1 places
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 9 rules applied. Total rules applied 1114 place count 1482 transition count 2637
Reduce places removed 8 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 9 rules applied. Total rules applied 1123 place count 1474 transition count 2636
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1124 place count 1473 transition count 2636
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 12 Pre rules applied. Total rules applied 1124 place count 1473 transition count 2624
Deduced a syphon composed of 12 places in 14 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 6 with 24 rules applied. Total rules applied 1148 place count 1461 transition count 2624
Discarding 13 places :
Symmetric choice reduction at 6 with 13 rule applications. Total rules 1161 place count 1448 transition count 2553
Iterating global reduction 6 with 13 rules applied. Total rules applied 1174 place count 1448 transition count 2553
Discarding 6 places :
Implicit places reduction removed 6 places
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 6 with 10 rules applied. Total rules applied 1184 place count 1442 transition count 2549
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 1188 place count 1438 transition count 2549
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1189 place count 1437 transition count 2541
Iterating global reduction 8 with 1 rules applied. Total rules applied 1190 place count 1437 transition count 2541
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1191 place count 1436 transition count 2533
Iterating global reduction 8 with 1 rules applied. Total rules applied 1192 place count 1436 transition count 2533
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1193 place count 1435 transition count 2525
Iterating global reduction 8 with 1 rules applied. Total rules applied 1194 place count 1435 transition count 2525
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1195 place count 1434 transition count 2517
Iterating global reduction 8 with 1 rules applied. Total rules applied 1196 place count 1434 transition count 2517
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1197 place count 1433 transition count 2509
Iterating global reduction 8 with 1 rules applied. Total rules applied 1198 place count 1433 transition count 2509
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1199 place count 1432 transition count 2501
Iterating global reduction 8 with 1 rules applied. Total rules applied 1200 place count 1432 transition count 2501
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1201 place count 1431 transition count 2493
Iterating global reduction 8 with 1 rules applied. Total rules applied 1202 place count 1431 transition count 2493
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1203 place count 1430 transition count 2485
Iterating global reduction 8 with 1 rules applied. Total rules applied 1204 place count 1430 transition count 2485
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1205 place count 1429 transition count 2477
Iterating global reduction 8 with 1 rules applied. Total rules applied 1206 place count 1429 transition count 2477
Performed 110 Post agglomeration using F-continuation condition.Transition count delta: 110
Deduced a syphon composed of 110 places in 3 ms
Reduce places removed 110 places and 0 transitions.
Iterating global reduction 8 with 220 rules applied. Total rules applied 1426 place count 1319 transition count 2367
Discarding 6 places :
Symmetric choice reduction at 8 with 6 rule applications. Total rules 1432 place count 1313 transition count 2361
Iterating global reduction 8 with 6 rules applied. Total rules applied 1438 place count 1313 transition count 2361
Applied a total of 1438 rules in 1283 ms. Remains 1313 /2090 variables (removed 777) and now considering 2361/3151 (removed 790) transitions.
[2021-05-11 12:22:51] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 12:22:51] [INFO ] Flatten gal took : 112 ms
FORMULA ASLink-PT-10a-CTLCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 12:22:51] [INFO ] Flatten gal took : 140 ms
[2021-05-11 12:22:51] [INFO ] Input system was already deterministic with 2361 transitions.
Ensure Unique test removed 8 places
Reduce places removed 9 places and 1 transitions.
Discarding 10 places :
Implicit places reduction removed 10 places
Drop transitions removed 267 transitions
Trivial Post-agglo rules discarded 267 transitions
Performed 267 trivial Post agglomeration. Transition count delta: 267
Iterating post reduction 0 with 277 rules applied. Total rules applied 277 place count 2071 transition count 2883
Reduce places removed 278 places and 0 transitions.
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 1 with 286 rules applied. Total rules applied 563 place count 1793 transition count 2875
Reduce places removed 11 places and 0 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 574 place count 1782 transition count 2875
Performed 257 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 257 Pre rules applied. Total rules applied 574 place count 1782 transition count 2618
Deduced a syphon composed of 257 places in 4 ms
Ensure Unique test removed 79 places
Reduce places removed 336 places and 0 transitions.
Iterating global reduction 3 with 593 rules applied. Total rules applied 1167 place count 1446 transition count 2618
Discarding 12 places :
Implicit places reduction removed 12 places
Drop transitions removed 21 transitions
Trivial Post-agglo rules discarded 21 transitions
Performed 21 trivial Post agglomeration. Transition count delta: 21
Iterating post reduction 3 with 33 rules applied. Total rules applied 1200 place count 1434 transition count 2597
Reduce places removed 23 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 24 rules applied. Total rules applied 1224 place count 1411 transition count 2596
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1225 place count 1410 transition count 2596
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 21 Pre rules applied. Total rules applied 1225 place count 1410 transition count 2575
Deduced a syphon composed of 21 places in 3 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 6 with 42 rules applied. Total rules applied 1267 place count 1389 transition count 2575
Discarding 18 places :
Symmetric choice reduction at 6 with 18 rule applications. Total rules 1285 place count 1371 transition count 2499
Iterating global reduction 6 with 18 rules applied. Total rules applied 1303 place count 1371 transition count 2499
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Discarding 9 places :
Implicit places reduction removed 9 places
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 6 with 17 rules applied. Total rules applied 1320 place count 1362 transition count 2491
Reduce places removed 3 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 7 with 4 rules applied. Total rules applied 1324 place count 1359 transition count 2490
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 1325 place count 1358 transition count 2490
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1326 place count 1357 transition count 2482
Iterating global reduction 9 with 1 rules applied. Total rules applied 1327 place count 1357 transition count 2482
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1328 place count 1356 transition count 2474
Iterating global reduction 9 with 1 rules applied. Total rules applied 1329 place count 1356 transition count 2474
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1330 place count 1355 transition count 2466
Iterating global reduction 9 with 1 rules applied. Total rules applied 1331 place count 1355 transition count 2466
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1332 place count 1354 transition count 2458
Iterating global reduction 9 with 1 rules applied. Total rules applied 1333 place count 1354 transition count 2458
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1334 place count 1353 transition count 2450
Iterating global reduction 9 with 1 rules applied. Total rules applied 1335 place count 1353 transition count 2450
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1336 place count 1352 transition count 2442
Iterating global reduction 9 with 1 rules applied. Total rules applied 1337 place count 1352 transition count 2442
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1338 place count 1351 transition count 2434
Iterating global reduction 9 with 1 rules applied. Total rules applied 1339 place count 1351 transition count 2434
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1340 place count 1350 transition count 2426
Iterating global reduction 9 with 1 rules applied. Total rules applied 1341 place count 1350 transition count 2426
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1342 place count 1349 transition count 2418
Iterating global reduction 9 with 1 rules applied. Total rules applied 1343 place count 1349 transition count 2418
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1344 place count 1348 transition count 2410
Iterating global reduction 9 with 1 rules applied. Total rules applied 1345 place count 1348 transition count 2410
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1346 place count 1347 transition count 2402
Iterating global reduction 9 with 1 rules applied. Total rules applied 1347 place count 1347 transition count 2402
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1348 place count 1346 transition count 2394
Iterating global reduction 9 with 1 rules applied. Total rules applied 1349 place count 1346 transition count 2394
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1350 place count 1345 transition count 2386
Iterating global reduction 9 with 1 rules applied. Total rules applied 1351 place count 1345 transition count 2386
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1352 place count 1344 transition count 2378
Iterating global reduction 9 with 1 rules applied. Total rules applied 1353 place count 1344 transition count 2378
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1354 place count 1343 transition count 2370
Iterating global reduction 9 with 1 rules applied. Total rules applied 1355 place count 1343 transition count 2370
Discarding 1 places :
Symmetric choice reduction at 9 with 1 rule applications. Total rules 1356 place count 1342 transition count 2362
Iterating global reduction 9 with 1 rules applied. Total rules applied 1357 place count 1342 transition count 2362
Performed 110 Post agglomeration using F-continuation condition.Transition count delta: 110
Deduced a syphon composed of 110 places in 3 ms
Reduce places removed 110 places and 0 transitions.
Iterating global reduction 9 with 220 rules applied. Total rules applied 1577 place count 1232 transition count 2252
Discarding 12 places :
Symmetric choice reduction at 9 with 12 rule applications. Total rules 1589 place count 1220 transition count 2240
Iterating global reduction 9 with 12 rules applied. Total rules applied 1601 place count 1220 transition count 2240
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 1603 place count 1220 transition count 2240
Applied a total of 1603 rules in 989 ms. Remains 1220 /2090 variables (removed 870) and now considering 2240/3151 (removed 911) transitions.
[2021-05-11 12:22:52] [INFO ] Flatten gal took : 80 ms
[2021-05-11 12:22:52] [INFO ] Flatten gal took : 86 ms
[2021-05-11 12:22:53] [INFO ] Input system was already deterministic with 2240 transitions.
[2021-05-11 12:22:53] [INFO ] Flatten gal took : 87 ms
[2021-05-11 12:22:53] [INFO ] Flatten gal took : 85 ms
[2021-05-11 12:22:53] [INFO ] Time to serialize gal into /tmp/CTLCardinality7152003629027681225.gal : 49 ms
[2021-05-11 12:22:53] [INFO ] Time to serialize properties into /tmp/CTLCardinality675846428060408882.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/CTLCardinality7152003629027681225.gal, -t, CGAL, -ctl, /tmp/CTLCardinality675846428060408882.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/CTLCardinality7152003629027681225.gal -t CGAL -ctl /tmp/CTLCardinality675846428060408882.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 12:23:23] [INFO ] Flatten gal took : 86 ms
[2021-05-11 12:23:23] [INFO ] Applying decomposition
[2021-05-11 12:23:23] [INFO ] Flatten gal took : 85 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/graph3297815681056278714.txt, -o, /tmp/graph3297815681056278714.bin, -w, /tmp/graph3297815681056278714.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/graph3297815681056278714.bin, -l, -1, -v, -w, /tmp/graph3297815681056278714.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 12:23:23] [INFO ] Decomposing Gal with order
[2021-05-11 12:23:23] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 12:23:24] [INFO ] Removed a total of 3792 redundant transitions.
[2021-05-11 12:23:24] [INFO ] Flatten gal took : 237 ms
[2021-05-11 12:23:24] [INFO ] Fuse similar labels procedure discarded/fused a total of 326 labels/synchronizations in 96 ms.
[2021-05-11 12:23:24] [INFO ] Time to serialize gal into /tmp/CTLCardinality9319413276079925027.gal : 18 ms
[2021-05-11 12:23:24] [INFO ] Time to serialize properties into /tmp/CTLCardinality10064426140150541667.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/CTLCardinality9319413276079925027.gal, -t, CGAL, -ctl, /tmp/CTLCardinality10064426140150541667.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/CTLCardinality9319413276079925027.gal -t CGAL -ctl /tmp/CTLCardinality10064426140150541667.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Ensure Unique test removed 8 places
Discarding 10 places :
Implicit places reduction removed 10 places
Drop transitions removed 260 transitions
Trivial Post-agglo rules discarded 260 transitions
Performed 260 trivial Post agglomeration. Transition count delta: 260
Iterating post reduction 0 with 270 rules applied. Total rules applied 270 place count 2072 transition count 2891
Reduce places removed 260 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 1 with 266 rules applied. Total rules applied 536 place count 1812 transition count 2885
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 542 place count 1806 transition count 2885
Performed 214 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 214 Pre rules applied. Total rules applied 542 place count 1806 transition count 2671
Deduced a syphon composed of 214 places in 4 ms
Ensure Unique test removed 74 places
Reduce places removed 288 places and 0 transitions.
Iterating global reduction 3 with 502 rules applied. Total rules applied 1044 place count 1518 transition count 2671
Discarding 6 places :
Implicit places reduction removed 6 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 13 rules applied. Total rules applied 1057 place count 1512 transition count 2664
Reduce places removed 7 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 8 rules applied. Total rules applied 1065 place count 1505 transition count 2663
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 1066 place count 1504 transition count 2663
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 11 Pre rules applied. Total rules applied 1066 place count 1504 transition count 2652
Deduced a syphon composed of 11 places in 4 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 6 with 22 rules applied. Total rules applied 1088 place count 1493 transition count 2652
Discarding 12 places :
Symmetric choice reduction at 6 with 12 rule applications. Total rules 1100 place count 1481 transition count 2587
Iterating global reduction 6 with 12 rules applied. Total rules applied 1112 place count 1481 transition count 2587
Discarding 6 places :
Implicit places reduction removed 6 places
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 6 with 10 rules applied. Total rules applied 1122 place count 1475 transition count 2583
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 7 with 4 rules applied. Total rules applied 1126 place count 1471 transition count 2583
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1127 place count 1470 transition count 2575
Iterating global reduction 8 with 1 rules applied. Total rules applied 1128 place count 1470 transition count 2575
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1129 place count 1469 transition count 2567
Iterating global reduction 8 with 1 rules applied. Total rules applied 1130 place count 1469 transition count 2567
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1131 place count 1468 transition count 2559
Iterating global reduction 8 with 1 rules applied. Total rules applied 1132 place count 1468 transition count 2559
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1133 place count 1467 transition count 2551
Iterating global reduction 8 with 1 rules applied. Total rules applied 1134 place count 1467 transition count 2551
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1135 place count 1466 transition count 2543
Iterating global reduction 8 with 1 rules applied. Total rules applied 1136 place count 1466 transition count 2543
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1137 place count 1465 transition count 2535
Iterating global reduction 8 with 1 rules applied. Total rules applied 1138 place count 1465 transition count 2535
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1139 place count 1464 transition count 2527
Iterating global reduction 8 with 1 rules applied. Total rules applied 1140 place count 1464 transition count 2527
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1141 place count 1463 transition count 2519
Iterating global reduction 8 with 1 rules applied. Total rules applied 1142 place count 1463 transition count 2519
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1143 place count 1462 transition count 2511
Iterating global reduction 8 with 1 rules applied. Total rules applied 1144 place count 1462 transition count 2511
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1145 place count 1461 transition count 2503
Iterating global reduction 8 with 1 rules applied. Total rules applied 1146 place count 1461 transition count 2503
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1147 place count 1460 transition count 2495
Iterating global reduction 8 with 1 rules applied. Total rules applied 1148 place count 1460 transition count 2495
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1149 place count 1459 transition count 2487
Iterating global reduction 8 with 1 rules applied. Total rules applied 1150 place count 1459 transition count 2487
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1151 place count 1458 transition count 2479
Iterating global reduction 8 with 1 rules applied. Total rules applied 1152 place count 1458 transition count 2479
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1153 place count 1457 transition count 2471
Iterating global reduction 8 with 1 rules applied. Total rules applied 1154 place count 1457 transition count 2471
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1155 place count 1456 transition count 2463
Iterating global reduction 8 with 1 rules applied. Total rules applied 1156 place count 1456 transition count 2463
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1157 place count 1455 transition count 2455
Iterating global reduction 8 with 1 rules applied. Total rules applied 1158 place count 1455 transition count 2455
Performed 99 Post agglomeration using F-continuation condition.Transition count delta: 99
Deduced a syphon composed of 99 places in 3 ms
Reduce places removed 99 places and 0 transitions.
Iterating global reduction 8 with 198 rules applied. Total rules applied 1356 place count 1356 transition count 2356
Discarding 5 places :
Symmetric choice reduction at 8 with 5 rule applications. Total rules 1361 place count 1351 transition count 2351
Iterating global reduction 8 with 5 rules applied. Total rules applied 1366 place count 1351 transition count 2351
Partial Post-agglomeration rule applied 6 times.
Drop transitions removed 6 transitions
Iterating global reduction 8 with 6 rules applied. Total rules applied 1372 place count 1351 transition count 2351
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1373 place count 1350 transition count 2350
Iterating global reduction 8 with 1 rules applied. Total rules applied 1374 place count 1350 transition count 2350
Applied a total of 1374 rules in 1039 ms. Remains 1350 /2090 variables (removed 740) and now considering 2350/3151 (removed 801) transitions.
[2021-05-11 12:23:55] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 12:23:55] [INFO ] Flatten gal took : 92 ms
FORMULA ASLink-PT-10a-CTLCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 12:23:56] [INFO ] Flatten gal took : 92 ms
[2021-05-11 12:23:56] [INFO ] Input system was already deterministic with 2350 transitions.
[2021-05-11 12:23:56] [INFO ] Flatten gal took : 120 ms
[2021-05-11 12:23:56] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
FORMULA ASLink-PT-10a-CTLCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10a-CTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-10a-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 12:23:56] [INFO ] Flatten gal took : 121 ms
[2021-05-11 12:23:56] [INFO ] Applying decomposition
[2021-05-11 12:23:56] [INFO ] Flatten gal took : 116 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/graph6553387959258318897.txt, -o, /tmp/graph6553387959258318897.bin, -w, /tmp/graph6553387959258318897.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/graph6553387959258318897.bin, -l, -1, -v, -w, /tmp/graph6553387959258318897.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 12:23:56] [INFO ] Decomposing Gal with order
[2021-05-11 12:23:56] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 12:23:57] [INFO ] Removed a total of 4635 redundant transitions.
[2021-05-11 12:23:57] [INFO ] Flatten gal took : 244 ms
[2021-05-11 12:23:57] [INFO ] Fuse similar labels procedure discarded/fused a total of 587 labels/synchronizations in 100 ms.
[2021-05-11 12:23:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality4903732287186896635.gal : 18 ms
[2021-05-11 12:23:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality16926322942371001049.ctl : 58 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/CTLCardinality4903732287186896635.gal, -t, CGAL, -ctl, /tmp/CTLCardinality16926322942371001049.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/CTLCardinality4903732287186896635.gal -t CGAL -ctl /tmp/CTLCardinality16926322942371001049.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 12:44:30] [INFO ] Applying decomposition
[2021-05-11 12:44:31] [INFO ] Flatten gal took : 716 ms
[2021-05-11 12:44:31] [INFO ] Decomposing Gal with order
[2021-05-11 12:44:32] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 12:44:33] [INFO ] Removed a total of 3683 redundant transitions.
[2021-05-11 12:44:33] [INFO ] Flatten gal took : 897 ms
[2021-05-11 12:44:34] [INFO ] Fuse similar labels procedure discarded/fused a total of 1340 labels/synchronizations in 176 ms.
[2021-05-11 12:44:34] [INFO ] Time to serialize gal into /tmp/CTLCardinality12744175083862512380.gal : 24 ms
[2021-05-11 12:44:36] [INFO ] Time to serialize properties into /tmp/CTLCardinality2576186020711529446.ctl : 1600 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/CTLCardinality12744175083862512380.gal, -t, CGAL, -ctl, /tmp/CTLCardinality2576186020711529446.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/CTLCardinality12744175083862512380.gal -t CGAL -ctl /tmp/CTLCardinality2576186020711529446.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 13:05:11] [INFO ] Flatten gal took : 887 ms
[2021-05-11 13:05:13] [INFO ] Input system was already deterministic with 3151 transitions.
[2021-05-11 13:05:13] [INFO ] Transformed 2090 places.
[2021-05-11 13:05:13] [INFO ] Transformed 3151 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit/bin//..//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-11 13:05:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality11927468272921291258.gal : 15 ms
[2021-05-11 13:05:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality14092059210658249695.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/CTLCardinality11927468272921291258.gal, -t, CGAL, -ctl, /tmp/CTLCardinality14092059210658249695.ctl, --load-order, /home/mcc/execution/model.ord, --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/CTLCardinality11927468272921291258.gal -t CGAL -ctl /tmp/CTLCardinality14092059210658249695.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 11 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
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-10a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ASLink-PT-10a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r007-tall-162037989600155"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-10a.tgz
mv ASLink-PT-10a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;