About the Execution of ITS-Tools for ASLink-PT-06b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16248.096 | 3600000.00 | 2760330.00 | 477511.10 | T?TTTTF?F??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-162037989500099.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-06b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r007-tall-162037989500099
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 9.3K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 77K 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.2K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K 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.6K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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 921K 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-06b-CTLCardinality-00
FORMULA_NAME ASLink-PT-06b-CTLCardinality-01
FORMULA_NAME ASLink-PT-06b-CTLCardinality-02
FORMULA_NAME ASLink-PT-06b-CTLCardinality-03
FORMULA_NAME ASLink-PT-06b-CTLCardinality-04
FORMULA_NAME ASLink-PT-06b-CTLCardinality-05
FORMULA_NAME ASLink-PT-06b-CTLCardinality-06
FORMULA_NAME ASLink-PT-06b-CTLCardinality-07
FORMULA_NAME ASLink-PT-06b-CTLCardinality-08
FORMULA_NAME ASLink-PT-06b-CTLCardinality-09
FORMULA_NAME ASLink-PT-06b-CTLCardinality-10
FORMULA_NAME ASLink-PT-06b-CTLCardinality-11
FORMULA_NAME ASLink-PT-06b-CTLCardinality-12
FORMULA_NAME ASLink-PT-06b-CTLCardinality-13
FORMULA_NAME ASLink-PT-06b-CTLCardinality-14
FORMULA_NAME ASLink-PT-06b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1620728485144
Running Version 0
[2021-05-11 10:21:26] [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 10:21:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 10:21:26] [INFO ] Load time of PNML (sax parser for PT used): 161 ms
[2021-05-11 10:21:27] [INFO ] Transformed 2826 places.
[2021-05-11 10:21:27] [INFO ] Transformed 3513 transitions.
[2021-05-11 10:21:27] [INFO ] Found NUPN structural information;
[2021-05-11 10:21:27] [INFO ] Parsed PT model containing 2826 places and 3513 transitions in 244 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 18 ms.
Support contains 518 out of 2826 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2826/2826 places, 3513/3513 transitions.
Discarding 131 places :
Symmetric choice reduction at 0 with 131 rule applications. Total rules 131 place count 2695 transition count 3382
Iterating global reduction 0 with 131 rules applied. Total rules applied 262 place count 2695 transition count 3382
Discarding 34 places :
Symmetric choice reduction at 0 with 34 rule applications. Total rules 296 place count 2661 transition count 3330
Iterating global reduction 0 with 34 rules applied. Total rules applied 330 place count 2661 transition count 3330
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 0 with 9 rules applied. Total rules applied 339 place count 2661 transition count 3321
Discarding 6 places :
Symmetric choice reduction at 1 with 6 rule applications. Total rules 345 place count 2655 transition count 3315
Iterating global reduction 1 with 6 rules applied. Total rules applied 351 place count 2655 transition count 3315
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 353 place count 2653 transition count 3313
Iterating global reduction 1 with 2 rules applied. Total rules applied 355 place count 2653 transition count 3313
Applied a total of 355 rules in 981 ms. Remains 2653 /2826 variables (removed 173) and now considering 3313/3513 (removed 200) transitions.
// Phase 1: matrix 3313 rows 2653 cols
[2021-05-11 10:21:28] [INFO ] Computed 277 place invariants in 231 ms
[2021-05-11 10:21:29] [INFO ] Implicit Places using invariants in 1496 ms returned [2484, 2495, 2506, 2514, 2522, 2530, 2538, 2549, 2557, 2565, 2576]
Discarding 11 places :
Implicit Place search using SMT only with invariants took 1527 ms to find 11 implicit places.
// Phase 1: matrix 3313 rows 2642 cols
[2021-05-11 10:21:29] [INFO ] Computed 266 place invariants in 135 ms
[2021-05-11 10:21:31] [INFO ] Dead Transitions using invariants and state equation in 2072 ms returned []
Starting structural reductions, iteration 1 : 2642/2826 places, 3313/3513 transitions.
Discarding 7 places :
Symmetric choice reduction at 0 with 7 rule applications. Total rules 7 place count 2635 transition count 3306
Iterating global reduction 0 with 7 rules applied. Total rules applied 14 place count 2635 transition count 3306
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 18 place count 2631 transition count 3302
Iterating global reduction 0 with 4 rules applied. Total rules applied 22 place count 2631 transition count 3302
Discarding 3 places :
Symmetric choice reduction at 0 with 3 rule applications. Total rules 25 place count 2628 transition count 3299
Iterating global reduction 0 with 3 rules applied. Total rules applied 28 place count 2628 transition count 3299
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 30 place count 2626 transition count 3297
Iterating global reduction 0 with 2 rules applied. Total rules applied 32 place count 2626 transition count 3297
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 33 place count 2625 transition count 3296
Iterating global reduction 0 with 1 rules applied. Total rules applied 34 place count 2625 transition count 3296
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 35 place count 2624 transition count 3295
Iterating global reduction 0 with 1 rules applied. Total rules applied 36 place count 2624 transition count 3295
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 37 place count 2623 transition count 3294
Iterating global reduction 0 with 1 rules applied. Total rules applied 38 place count 2623 transition count 3294
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 39 place count 2622 transition count 3293
Iterating global reduction 0 with 1 rules applied. Total rules applied 40 place count 2622 transition count 3293
Applied a total of 40 rules in 997 ms. Remains 2622 /2642 variables (removed 20) and now considering 3293/3313 (removed 20) transitions.
// Phase 1: matrix 3293 rows 2622 cols
[2021-05-11 10:21:32] [INFO ] Computed 266 place invariants in 52 ms
[2021-05-11 10:21:33] [INFO ] Implicit Places using invariants in 935 ms returned []
// Phase 1: matrix 3293 rows 2622 cols
[2021-05-11 10:21:33] [INFO ] Computed 266 place invariants in 44 ms
[2021-05-11 10:21:36] [INFO ] Implicit Places using invariants and state equation in 2305 ms returned []
Implicit Place search using SMT with State Equation took 3242 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 2622/2826 places, 3293/3513 transitions.
[2021-05-11 10:21:36] [INFO ] Flatten gal took : 238 ms
[2021-05-11 10:21:36] [INFO ] Flatten gal took : 148 ms
[2021-05-11 10:21:36] [INFO ] Input system was already deterministic with 3293 transitions.
Incomplete random walk after 100000 steps, including 160 resets, run finished after 1532 ms. (steps per millisecond=65 ) properties (out of 61) seen :16
Running SMT prover for 45 properties.
// Phase 1: matrix 3293 rows 2622 cols
[2021-05-11 10:21:38] [INFO ] Computed 266 place invariants in 44 ms
[2021-05-11 10:21:40] [INFO ] [Real]Absence check using 66 positive place invariants in 26 ms returned sat
[2021-05-11 10:21:40] [INFO ] [Real]Absence check using 66 positive and 200 generalized place invariants in 113 ms returned sat
[2021-05-11 10:21:40] [INFO ] SMT Verify possible in real domain returnedunsat :3 sat :0 real:42
[2021-05-11 10:21:42] [INFO ] [Nat]Absence check using 66 positive place invariants in 26 ms returned sat
[2021-05-11 10:21:42] [INFO ] [Nat]Absence check using 66 positive and 200 generalized place invariants in 111 ms returned sat
[2021-05-11 10:21:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 10:21:46] [INFO ] [Nat]Absence check using state equation in 4394 ms returned unsat :38 sat :7
Attempting to minimize the solution found.
Minimization took 1588 ms.
[2021-05-11 10:21:48] [INFO ] SMT Verify possible in nat domain returned unsat :38 sat :7
Successfully simplified 41 atomic propositions for a total of 16 simplifications.
[2021-05-11 10:21:48] [INFO ] Initial state test concluded for 4 properties.
FORMULA ASLink-PT-06b-CTLCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06b-CTLCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06b-CTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06b-CTLCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 503 transitions
Trivial Post-agglo rules discarded 503 transitions
Performed 503 trivial Post agglomeration. Transition count delta: 503
Iterating post reduction 0 with 503 rules applied. Total rules applied 503 place count 2621 transition count 2789
Reduce places removed 503 places and 0 transitions.
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 1 with 521 rules applied. Total rules applied 1024 place count 2118 transition count 2771
Reduce places removed 7 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 2 with 12 rules applied. Total rules applied 1036 place count 2111 transition count 2766
Reduce places removed 3 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 3 with 5 rules applied. Total rules applied 1041 place count 2108 transition count 2764
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 1043 place count 2106 transition count 2764
Performed 672 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 672 Pre rules applied. Total rules applied 1043 place count 2106 transition count 2092
Deduced a syphon composed of 672 places in 4 ms
Ensure Unique test removed 62 places
Reduce places removed 734 places and 0 transitions.
Iterating global reduction 5 with 1406 rules applied. Total rules applied 2449 place count 1372 transition count 2092
Discarding 6 places :
Implicit places reduction removed 6 places
Drop transitions removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 5 with 45 rules applied. Total rules applied 2494 place count 1366 transition count 2053
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 6 with 39 rules applied. Total rules applied 2533 place count 1327 transition count 2053
Performed 23 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 23 Pre rules applied. Total rules applied 2533 place count 1327 transition count 2030
Deduced a syphon composed of 23 places in 4 ms
Ensure Unique test removed 23 places
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 7 with 69 rules applied. Total rules applied 2602 place count 1281 transition count 2030
Performed 23 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 23 Pre rules applied. Total rules applied 2602 place count 1281 transition count 2007
Deduced a syphon composed of 23 places in 4 ms
Reduce places removed 23 places and 0 transitions.
Iterating global reduction 7 with 46 rules applied. Total rules applied 2648 place count 1258 transition count 2007
Discarding 35 places :
Symmetric choice reduction at 7 with 35 rule applications. Total rules 2683 place count 1223 transition count 1960
Ensure Unique test removed 1 places
Iterating global reduction 7 with 36 rules applied. Total rules applied 2719 place count 1222 transition count 1960
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 2720 place count 1222 transition count 1959
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 17 Pre rules applied. Total rules applied 2720 place count 1222 transition count 1942
Deduced a syphon composed of 17 places in 12 ms
Ensure Unique test removed 1 places
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 8 with 35 rules applied. Total rules applied 2755 place count 1204 transition count 1942
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1 Pre rules applied. Total rules applied 2755 place count 1204 transition count 1941
Deduced a syphon composed of 1 places in 11 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 8 with 3 rules applied. Total rules applied 2758 place count 1202 transition count 1941
Discarding 10 places :
Symmetric choice reduction at 8 with 10 rule applications. Total rules 2768 place count 1192 transition count 1909
Iterating global reduction 8 with 10 rules applied. Total rules applied 2778 place count 1192 transition count 1909
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 2 Pre rules applied. Total rules applied 2778 place count 1192 transition count 1907
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 8 with 4 rules applied. Total rules applied 2782 place count 1190 transition count 1907
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 2784 place count 1188 transition count 1898
Iterating global reduction 8 with 2 rules applied. Total rules applied 2786 place count 1188 transition count 1898
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2787 place count 1187 transition count 1890
Iterating global reduction 8 with 1 rules applied. Total rules applied 2788 place count 1187 transition count 1890
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2789 place count 1186 transition count 1882
Iterating global reduction 8 with 1 rules applied. Total rules applied 2790 place count 1186 transition count 1882
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2791 place count 1185 transition count 1874
Iterating global reduction 8 with 1 rules applied. Total rules applied 2792 place count 1185 transition count 1874
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2793 place count 1184 transition count 1866
Iterating global reduction 8 with 1 rules applied. Total rules applied 2794 place count 1184 transition count 1866
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2795 place count 1183 transition count 1858
Iterating global reduction 8 with 1 rules applied. Total rules applied 2796 place count 1183 transition count 1858
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2797 place count 1182 transition count 1850
Iterating global reduction 8 with 1 rules applied. Total rules applied 2798 place count 1182 transition count 1850
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2799 place count 1181 transition count 1842
Iterating global reduction 8 with 1 rules applied. Total rules applied 2800 place count 1181 transition count 1842
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2801 place count 1180 transition count 1834
Iterating global reduction 8 with 1 rules applied. Total rules applied 2802 place count 1180 transition count 1834
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2803 place count 1179 transition count 1826
Iterating global reduction 8 with 1 rules applied. Total rules applied 2804 place count 1179 transition count 1826
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2805 place count 1178 transition count 1818
Iterating global reduction 8 with 1 rules applied. Total rules applied 2806 place count 1178 transition count 1818
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2807 place count 1177 transition count 1810
Iterating global reduction 8 with 1 rules applied. Total rules applied 2808 place count 1177 transition count 1810
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2809 place count 1176 transition count 1802
Iterating global reduction 8 with 1 rules applied. Total rules applied 2810 place count 1176 transition count 1802
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2811 place count 1175 transition count 1794
Iterating global reduction 8 with 1 rules applied. Total rules applied 2812 place count 1175 transition count 1794
Performed 195 Post agglomeration using F-continuation condition.Transition count delta: 195
Deduced a syphon composed of 195 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 196 places and 0 transitions.
Iterating global reduction 8 with 391 rules applied. Total rules applied 3203 place count 979 transition count 1599
Discarding 3 places :
Symmetric choice reduction at 8 with 3 rule applications. Total rules 3206 place count 976 transition count 1596
Ensure Unique test removed 1 places
Iterating global reduction 8 with 4 rules applied. Total rules applied 3210 place count 975 transition count 1596
Discarding 3 places :
Symmetric choice reduction at 8 with 3 rule applications. Total rules 3213 place count 972 transition count 1593
Iterating global reduction 8 with 3 rules applied. Total rules applied 3216 place count 972 transition count 1593
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 8 with 2 rules applied. Total rules applied 3218 place count 972 transition count 1591
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 3219 place count 971 transition count 1591
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 3220 place count 970 transition count 1590
Iterating global reduction 10 with 1 rules applied. Total rules applied 3221 place count 970 transition count 1590
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -5
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 3223 place count 969 transition count 1595
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 3224 place count 968 transition count 1594
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 3225 place count 967 transition count 1593
Reduce places removed 12 places and 0 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 10 with 18 rules applied. Total rules applied 3243 place count 955 transition count 1587
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 11 with 6 rules applied. Total rules applied 3249 place count 949 transition count 1587
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 12 with 18 Pre rules applied. Total rules applied 3249 place count 949 transition count 1569
Deduced a syphon composed of 18 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 12 with 37 rules applied. Total rules applied 3286 place count 930 transition count 1569
Discarding 11 places :
Implicit places reduction removed 11 places
Iterating post reduction 12 with 11 rules applied. Total rules applied 3297 place count 919 transition count 1569
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 1 Pre rules applied. Total rules applied 3297 place count 919 transition count 1568
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 13 with 2 rules applied. Total rules applied 3299 place count 918 transition count 1568
Performed 17 Post agglomeration using F-continuation condition.Transition count delta: 17
Deduced a syphon composed of 17 places in 2 ms
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 13 with 34 rules applied. Total rules applied 3333 place count 901 transition count 1551
Discarding 10 places :
Symmetric choice reduction at 13 with 10 rule applications. Total rules 3343 place count 891 transition count 1541
Iterating global reduction 13 with 10 rules applied. Total rules applied 3353 place count 891 transition count 1541
Discarding 4 places :
Symmetric choice reduction at 13 with 4 rule applications. Total rules 3357 place count 887 transition count 1537
Iterating global reduction 13 with 4 rules applied. Total rules applied 3361 place count 887 transition count 1537
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 13 with 4 rules applied. Total rules applied 3365 place count 887 transition count 1533
Applied a total of 3365 rules in 1709 ms. Remains 887 /2622 variables (removed 1735) and now considering 1533/3293 (removed 1760) transitions.
[2021-05-11 10:21:50] [INFO ] Flatten gal took : 61 ms
[2021-05-11 10:21:50] [INFO ] Flatten gal took : 62 ms
[2021-05-11 10:21:50] [INFO ] Input system was already deterministic with 1533 transitions.
[2021-05-11 10:21:50] [INFO ] Flatten gal took : 61 ms
[2021-05-11 10:21:50] [INFO ] Flatten gal took : 60 ms
[2021-05-11 10:21:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality18299639344609929405.gal : 47 ms
[2021-05-11 10:21:50] [INFO ] Time to serialize properties into /tmp/CTLCardinality16725431926560906175.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality18299639344609929405.gal, -t, CGAL, -ctl, /tmp/CTLCardinality16725431926560906175.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/CTLCardinality18299639344609929405.gal -t CGAL -ctl /tmp/CTLCardinality16725431926560906175.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 10:22:20] [INFO ] Flatten gal took : 57 ms
[2021-05-11 10:22:20] [INFO ] Applying decomposition
[2021-05-11 10:22:20] [INFO ] Flatten gal took : 59 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/graph12029376803553225571.txt, -o, /tmp/graph12029376803553225571.bin, -w, /tmp/graph12029376803553225571.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/graph12029376803553225571.bin, -l, -1, -v, -w, /tmp/graph12029376803553225571.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 10:22:21] [INFO ] Decomposing Gal with order
[2021-05-11 10:22:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 10:22:21] [INFO ] Removed a total of 2463 redundant transitions.
[2021-05-11 10:22:21] [INFO ] Flatten gal took : 169 ms
[2021-05-11 10:22:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 168 labels/synchronizations in 63 ms.
[2021-05-11 10:22:21] [INFO ] Time to serialize gal into /tmp/CTLCardinality1770126767380793603.gal : 11 ms
[2021-05-11 10:22:21] [INFO ] Time to serialize properties into /tmp/CTLCardinality18428367287755409580.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality1770126767380793603.gal, -t, CGAL, -ctl, /tmp/CTLCardinality18428367287755409580.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/CTLCardinality1770126767380793603.gal -t CGAL -ctl /tmp/CTLCardinality18428367287755409580.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 506 transitions
Trivial Post-agglo rules discarded 506 transitions
Performed 506 trivial Post agglomeration. Transition count delta: 506
Iterating post reduction 0 with 506 rules applied. Total rules applied 506 place count 2621 transition count 2786
Reduce places removed 506 places and 0 transitions.
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 1 with 524 rules applied. Total rules applied 1030 place count 2115 transition count 2768
Reduce places removed 7 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 2 with 12 rules applied. Total rules applied 1042 place count 2108 transition count 2763
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 1045 place count 2105 transition count 2763
Performed 671 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 671 Pre rules applied. Total rules applied 1045 place count 2105 transition count 2092
Deduced a syphon composed of 671 places in 4 ms
Ensure Unique test removed 62 places
Reduce places removed 733 places and 0 transitions.
Iterating global reduction 4 with 1404 rules applied. Total rules applied 2449 place count 1372 transition count 2092
Discarding 7 places :
Implicit places reduction removed 7 places
Drop transitions removed 39 transitions
Trivial Post-agglo rules discarded 39 transitions
Performed 39 trivial Post agglomeration. Transition count delta: 39
Iterating post reduction 4 with 46 rules applied. Total rules applied 2495 place count 1365 transition count 2053
Reduce places removed 39 places and 0 transitions.
Iterating post reduction 5 with 39 rules applied. Total rules applied 2534 place count 1326 transition count 2053
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 24 Pre rules applied. Total rules applied 2534 place count 1326 transition count 2029
Deduced a syphon composed of 24 places in 3 ms
Ensure Unique test removed 24 places
Reduce places removed 48 places and 0 transitions.
Iterating global reduction 6 with 72 rules applied. Total rules applied 2606 place count 1278 transition count 2029
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 24 Pre rules applied. Total rules applied 2606 place count 1278 transition count 2005
Deduced a syphon composed of 24 places in 4 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 6 with 48 rules applied. Total rules applied 2654 place count 1254 transition count 2005
Discarding 38 places :
Symmetric choice reduction at 6 with 38 rule applications. Total rules 2692 place count 1216 transition count 1955
Ensure Unique test removed 1 places
Iterating global reduction 6 with 39 rules applied. Total rules applied 2731 place count 1215 transition count 1955
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 2732 place count 1215 transition count 1954
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 18 Pre rules applied. Total rules applied 2732 place count 1215 transition count 1936
Deduced a syphon composed of 18 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 7 with 37 rules applied. Total rules applied 2769 place count 1196 transition count 1936
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 2769 place count 1196 transition count 1935
Deduced a syphon composed of 1 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 3 rules applied. Total rules applied 2772 place count 1194 transition count 1935
Discarding 11 places :
Symmetric choice reduction at 7 with 11 rule applications. Total rules 2783 place count 1183 transition count 1902
Iterating global reduction 7 with 11 rules applied. Total rules applied 2794 place count 1183 transition count 1902
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 2 Pre rules applied. Total rules applied 2794 place count 1183 transition count 1900
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 7 with 4 rules applied. Total rules applied 2798 place count 1181 transition count 1900
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 2800 place count 1179 transition count 1891
Iterating global reduction 7 with 2 rules applied. Total rules applied 2802 place count 1179 transition count 1891
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2803 place count 1178 transition count 1883
Iterating global reduction 7 with 1 rules applied. Total rules applied 2804 place count 1178 transition count 1883
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2805 place count 1177 transition count 1875
Iterating global reduction 7 with 1 rules applied. Total rules applied 2806 place count 1177 transition count 1875
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2807 place count 1176 transition count 1867
Iterating global reduction 7 with 1 rules applied. Total rules applied 2808 place count 1176 transition count 1867
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2809 place count 1175 transition count 1859
Iterating global reduction 7 with 1 rules applied. Total rules applied 2810 place count 1175 transition count 1859
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2811 place count 1174 transition count 1851
Iterating global reduction 7 with 1 rules applied. Total rules applied 2812 place count 1174 transition count 1851
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2813 place count 1173 transition count 1843
Iterating global reduction 7 with 1 rules applied. Total rules applied 2814 place count 1173 transition count 1843
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2815 place count 1172 transition count 1835
Iterating global reduction 7 with 1 rules applied. Total rules applied 2816 place count 1172 transition count 1835
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2817 place count 1171 transition count 1827
Iterating global reduction 7 with 1 rules applied. Total rules applied 2818 place count 1171 transition count 1827
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2819 place count 1170 transition count 1819
Iterating global reduction 7 with 1 rules applied. Total rules applied 2820 place count 1170 transition count 1819
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2821 place count 1169 transition count 1811
Iterating global reduction 7 with 1 rules applied. Total rules applied 2822 place count 1169 transition count 1811
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2823 place count 1168 transition count 1803
Iterating global reduction 7 with 1 rules applied. Total rules applied 2824 place count 1168 transition count 1803
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2825 place count 1167 transition count 1795
Iterating global reduction 7 with 1 rules applied. Total rules applied 2826 place count 1167 transition count 1795
Discarding 1 places :
Symmetric choice reduction at 7 with 1 rule applications. Total rules 2827 place count 1166 transition count 1787
Iterating global reduction 7 with 1 rules applied. Total rules applied 2828 place count 1166 transition count 1787
Performed 194 Post agglomeration using F-continuation condition.Transition count delta: 194
Deduced a syphon composed of 194 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 195 places and 0 transitions.
Iterating global reduction 7 with 389 rules applied. Total rules applied 3217 place count 971 transition count 1593
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 3220 place count 968 transition count 1590
Ensure Unique test removed 1 places
Iterating global reduction 7 with 4 rules applied. Total rules applied 3224 place count 967 transition count 1590
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 7 with 1 rules applied. Total rules applied 3225 place count 967 transition count 1589
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 3226 place count 966 transition count 1589
Discarding 3 places :
Symmetric choice reduction at 9 with 3 rule applications. Total rules 3229 place count 963 transition count 1586
Iterating global reduction 9 with 3 rules applied. Total rules applied 3232 place count 963 transition count 1586
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 9 with 2 rules applied. Total rules applied 3234 place count 963 transition count 1584
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 3235 place count 962 transition count 1584
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 3236 place count 961 transition count 1583
Iterating global reduction 11 with 1 rules applied. Total rules applied 3237 place count 961 transition count 1583
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -5
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 11 with 2 rules applied. Total rules applied 3239 place count 960 transition count 1588
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 3240 place count 959 transition count 1587
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 3241 place count 958 transition count 1586
Reduce places removed 12 places and 0 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 11 with 18 rules applied. Total rules applied 3259 place count 946 transition count 1580
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 12 with 6 rules applied. Total rules applied 3265 place count 940 transition count 1580
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 18 Pre rules applied. Total rules applied 3265 place count 940 transition count 1562
Deduced a syphon composed of 18 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 13 with 37 rules applied. Total rules applied 3302 place count 921 transition count 1562
Discarding 10 places :
Implicit places reduction removed 10 places
Iterating post reduction 13 with 10 rules applied. Total rules applied 3312 place count 911 transition count 1562
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 1 Pre rules applied. Total rules applied 3312 place count 911 transition count 1561
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 3314 place count 910 transition count 1561
Performed 16 Post agglomeration using F-continuation condition.Transition count delta: 16
Deduced a syphon composed of 16 places in 2 ms
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 14 with 32 rules applied. Total rules applied 3346 place count 894 transition count 1545
Discarding 8 places :
Symmetric choice reduction at 14 with 8 rule applications. Total rules 3354 place count 886 transition count 1537
Iterating global reduction 14 with 8 rules applied. Total rules applied 3362 place count 886 transition count 1537
Discarding 3 places :
Symmetric choice reduction at 14 with 3 rule applications. Total rules 3365 place count 883 transition count 1534
Iterating global reduction 14 with 3 rules applied. Total rules applied 3368 place count 883 transition count 1534
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 14 with 3 rules applied. Total rules applied 3371 place count 883 transition count 1531
Applied a total of 3371 rules in 1406 ms. Remains 883 /2622 variables (removed 1739) and now considering 1531/3293 (removed 1762) transitions.
[2021-05-11 10:22:53] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 10:22:53] [INFO ] Flatten gal took : 52 ms
FORMULA ASLink-PT-06b-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 10:22:53] [INFO ] Flatten gal took : 56 ms
[2021-05-11 10:22:53] [INFO ] Input system was already deterministic with 1531 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 490 transitions
Trivial Post-agglo rules discarded 490 transitions
Performed 490 trivial Post agglomeration. Transition count delta: 490
Iterating post reduction 0 with 490 rules applied. Total rules applied 490 place count 2621 transition count 2802
Reduce places removed 490 places and 0 transitions.
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 1 with 503 rules applied. Total rules applied 993 place count 2131 transition count 2789
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 2 with 9 rules applied. Total rules applied 1002 place count 2127 transition count 2784
Reduce places removed 3 places and 0 transitions.
Performed 5 Post agglomeration using F-continuation condition.Transition count delta: 5
Iterating post reduction 3 with 8 rules applied. Total rules applied 1010 place count 2124 transition count 2779
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 4 with 5 rules applied. Total rules applied 1015 place count 2119 transition count 2779
Performed 665 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 665 Pre rules applied. Total rules applied 1015 place count 2119 transition count 2114
Deduced a syphon composed of 665 places in 4 ms
Ensure Unique test removed 60 places
Reduce places removed 725 places and 0 transitions.
Iterating global reduction 5 with 1390 rules applied. Total rules applied 2405 place count 1394 transition count 2114
Discarding 9 places :
Implicit places reduction removed 9 places
Drop transitions removed 38 transitions
Trivial Post-agglo rules discarded 38 transitions
Performed 38 trivial Post agglomeration. Transition count delta: 38
Iterating post reduction 5 with 47 rules applied. Total rules applied 2452 place count 1385 transition count 2076
Reduce places removed 38 places and 0 transitions.
Iterating post reduction 6 with 38 rules applied. Total rules applied 2490 place count 1347 transition count 2076
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 24 Pre rules applied. Total rules applied 2490 place count 1347 transition count 2052
Deduced a syphon composed of 24 places in 4 ms
Ensure Unique test removed 20 places
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 7 with 68 rules applied. Total rules applied 2558 place count 1303 transition count 2052
Discarding 1 places :
Implicit places reduction removed 1 places
Iterating post reduction 7 with 1 rules applied. Total rules applied 2559 place count 1302 transition count 2052
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 21 Pre rules applied. Total rules applied 2559 place count 1302 transition count 2031
Deduced a syphon composed of 21 places in 3 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 8 with 42 rules applied. Total rules applied 2601 place count 1281 transition count 2031
Discarding 33 places :
Symmetric choice reduction at 8 with 33 rule applications. Total rules 2634 place count 1248 transition count 1986
Ensure Unique test removed 1 places
Iterating global reduction 8 with 34 rules applied. Total rules applied 2668 place count 1247 transition count 1986
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 2669 place count 1247 transition count 1985
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 15 Pre rules applied. Total rules applied 2669 place count 1247 transition count 1970
Deduced a syphon composed of 15 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 9 with 31 rules applied. Total rules applied 2700 place count 1231 transition count 1970
Discarding 1 places :
Implicit places reduction removed 1 places
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 9 with 2 rules applied. Total rules applied 2702 place count 1230 transition count 1969
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 10 with 1 rules applied. Total rules applied 2703 place count 1229 transition count 1969
Discarding 10 places :
Symmetric choice reduction at 11 with 10 rule applications. Total rules 2713 place count 1219 transition count 1937
Iterating global reduction 11 with 10 rules applied. Total rules applied 2723 place count 1219 transition count 1937
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 11 with 2 Pre rules applied. Total rules applied 2723 place count 1219 transition count 1935
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 11 with 4 rules applied. Total rules applied 2727 place count 1217 transition count 1935
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2728 place count 1216 transition count 1927
Iterating global reduction 11 with 1 rules applied. Total rules applied 2729 place count 1216 transition count 1927
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2730 place count 1215 transition count 1919
Iterating global reduction 11 with 1 rules applied. Total rules applied 2731 place count 1215 transition count 1919
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2732 place count 1214 transition count 1911
Iterating global reduction 11 with 1 rules applied. Total rules applied 2733 place count 1214 transition count 1911
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2734 place count 1213 transition count 1903
Iterating global reduction 11 with 1 rules applied. Total rules applied 2735 place count 1213 transition count 1903
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2736 place count 1212 transition count 1895
Iterating global reduction 11 with 1 rules applied. Total rules applied 2737 place count 1212 transition count 1895
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2738 place count 1211 transition count 1887
Iterating global reduction 11 with 1 rules applied. Total rules applied 2739 place count 1211 transition count 1887
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2740 place count 1210 transition count 1879
Iterating global reduction 11 with 1 rules applied. Total rules applied 2741 place count 1210 transition count 1879
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2742 place count 1209 transition count 1871
Iterating global reduction 11 with 1 rules applied. Total rules applied 2743 place count 1209 transition count 1871
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2744 place count 1208 transition count 1863
Iterating global reduction 11 with 1 rules applied. Total rules applied 2745 place count 1208 transition count 1863
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2746 place count 1207 transition count 1855
Iterating global reduction 11 with 1 rules applied. Total rules applied 2747 place count 1207 transition count 1855
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2748 place count 1206 transition count 1847
Iterating global reduction 11 with 1 rules applied. Total rules applied 2749 place count 1206 transition count 1847
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2750 place count 1205 transition count 1839
Iterating global reduction 11 with 1 rules applied. Total rules applied 2751 place count 1205 transition count 1839
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2752 place count 1204 transition count 1831
Iterating global reduction 11 with 1 rules applied. Total rules applied 2753 place count 1204 transition count 1831
Discarding 1 places :
Symmetric choice reduction at 11 with 1 rule applications. Total rules 2754 place count 1203 transition count 1823
Iterating global reduction 11 with 1 rules applied. Total rules applied 2755 place count 1203 transition count 1823
Performed 198 Post agglomeration using F-continuation condition.Transition count delta: 198
Deduced a syphon composed of 198 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 199 places and 0 transitions.
Iterating global reduction 11 with 397 rules applied. Total rules applied 3152 place count 1004 transition count 1625
Discarding 3 places :
Symmetric choice reduction at 11 with 3 rule applications. Total rules 3155 place count 1001 transition count 1622
Ensure Unique test removed 1 places
Iterating global reduction 11 with 4 rules applied. Total rules applied 3159 place count 1000 transition count 1622
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 11 with 1 rules applied. Total rules applied 3160 place count 1000 transition count 1621
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 3161 place count 999 transition count 1621
Discarding 2 places :
Symmetric choice reduction at 13 with 2 rule applications. Total rules 3163 place count 997 transition count 1619
Iterating global reduction 13 with 2 rules applied. Total rules applied 3165 place count 997 transition count 1619
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 13 with 2 rules applied. Total rules applied 3167 place count 997 transition count 1617
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 14 with 1 rules applied. Total rules applied 3168 place count 996 transition count 1617
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -7
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 15 with 2 rules applied. Total rules applied 3170 place count 995 transition count 1624
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 15 with 2 rules applied. Total rules applied 3172 place count 995 transition count 1624
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 15 with 1 rules applied. Total rules applied 3173 place count 994 transition count 1623
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 15 with 1 rules applied. Total rules applied 3174 place count 993 transition count 1622
Reduce places removed 9 places and 0 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 15 with 12 rules applied. Total rules applied 3186 place count 984 transition count 1619
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 16 with 3 rules applied. Total rules applied 3189 place count 981 transition count 1619
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 17 with 15 Pre rules applied. Total rules applied 3189 place count 981 transition count 1604
Deduced a syphon composed of 15 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 17 with 31 rules applied. Total rules applied 3220 place count 965 transition count 1604
Discarding 9 places :
Implicit places reduction removed 9 places
Iterating post reduction 17 with 9 rules applied. Total rules applied 3229 place count 956 transition count 1604
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 18 with 1 Pre rules applied. Total rules applied 3229 place count 956 transition count 1603
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 18 with 2 rules applied. Total rules applied 3231 place count 955 transition count 1603
Performed 15 Post agglomeration using F-continuation condition.Transition count delta: 15
Deduced a syphon composed of 15 places in 9 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 18 with 30 rules applied. Total rules applied 3261 place count 940 transition count 1588
Discarding 8 places :
Symmetric choice reduction at 18 with 8 rule applications. Total rules 3269 place count 932 transition count 1580
Iterating global reduction 18 with 8 rules applied. Total rules applied 3277 place count 932 transition count 1580
Discarding 4 places :
Symmetric choice reduction at 18 with 4 rule applications. Total rules 3281 place count 928 transition count 1576
Iterating global reduction 18 with 4 rules applied. Total rules applied 3285 place count 928 transition count 1576
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 18 with 4 rules applied. Total rules applied 3289 place count 928 transition count 1572
Applied a total of 3289 rules in 1360 ms. Remains 928 /2622 variables (removed 1694) and now considering 1572/3293 (removed 1721) transitions.
[2021-05-11 10:22:54] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 10:22:54] [INFO ] Flatten gal took : 50 ms
FORMULA ASLink-PT-06b-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 10:22:55] [INFO ] Flatten gal took : 55 ms
[2021-05-11 10:22:55] [INFO ] Input system was already deterministic with 1572 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 500 transitions
Trivial Post-agglo rules discarded 500 transitions
Performed 500 trivial Post agglomeration. Transition count delta: 500
Iterating post reduction 0 with 500 rules applied. Total rules applied 500 place count 2621 transition count 2792
Reduce places removed 500 places and 0 transitions.
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Drop transitions removed 7 transitions
Trivial Post-agglo rules discarded 7 transitions
Performed 7 trivial Post agglomeration. Transition count delta: 7
Iterating post reduction 1 with 518 rules applied. Total rules applied 1018 place count 2121 transition count 2774
Reduce places removed 7 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 2 with 12 rules applied. Total rules applied 1030 place count 2114 transition count 2769
Reduce places removed 3 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 3 with 5 rules applied. Total rules applied 1035 place count 2111 transition count 2767
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 1037 place count 2109 transition count 2767
Performed 672 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 672 Pre rules applied. Total rules applied 1037 place count 2109 transition count 2095
Deduced a syphon composed of 672 places in 4 ms
Ensure Unique test removed 62 places
Reduce places removed 734 places and 0 transitions.
Iterating global reduction 5 with 1406 rules applied. Total rules applied 2443 place count 1375 transition count 2095
Discarding 7 places :
Implicit places reduction removed 7 places
Drop transitions removed 37 transitions
Trivial Post-agglo rules discarded 37 transitions
Performed 37 trivial Post agglomeration. Transition count delta: 37
Iterating post reduction 5 with 44 rules applied. Total rules applied 2487 place count 1368 transition count 2058
Reduce places removed 37 places and 0 transitions.
Iterating post reduction 6 with 37 rules applied. Total rules applied 2524 place count 1331 transition count 2058
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 24 Pre rules applied. Total rules applied 2524 place count 1331 transition count 2034
Deduced a syphon composed of 24 places in 4 ms
Ensure Unique test removed 24 places
Reduce places removed 48 places and 0 transitions.
Iterating global reduction 7 with 72 rules applied. Total rules applied 2596 place count 1283 transition count 2034
Performed 24 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 24 Pre rules applied. Total rules applied 2596 place count 1283 transition count 2010
Deduced a syphon composed of 24 places in 3 ms
Reduce places removed 24 places and 0 transitions.
Iterating global reduction 7 with 48 rules applied. Total rules applied 2644 place count 1259 transition count 2010
Discarding 36 places :
Symmetric choice reduction at 7 with 36 rule applications. Total rules 2680 place count 1223 transition count 1962
Ensure Unique test removed 1 places
Iterating global reduction 7 with 37 rules applied. Total rules applied 2717 place count 1222 transition count 1962
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 2718 place count 1222 transition count 1961
Performed 16 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 16 Pre rules applied. Total rules applied 2718 place count 1222 transition count 1945
Deduced a syphon composed of 16 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 17 places and 0 transitions.
Iterating global reduction 8 with 33 rules applied. Total rules applied 2751 place count 1205 transition count 1945
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1 Pre rules applied. Total rules applied 2751 place count 1205 transition count 1944
Deduced a syphon composed of 1 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 8 with 3 rules applied. Total rules applied 2754 place count 1203 transition count 1944
Discarding 11 places :
Symmetric choice reduction at 8 with 11 rule applications. Total rules 2765 place count 1192 transition count 1911
Iterating global reduction 8 with 11 rules applied. Total rules applied 2776 place count 1192 transition count 1911
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 2 Pre rules applied. Total rules applied 2776 place count 1192 transition count 1909
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 8 with 4 rules applied. Total rules applied 2780 place count 1190 transition count 1909
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 2782 place count 1188 transition count 1900
Iterating global reduction 8 with 2 rules applied. Total rules applied 2784 place count 1188 transition count 1900
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2785 place count 1187 transition count 1892
Iterating global reduction 8 with 1 rules applied. Total rules applied 2786 place count 1187 transition count 1892
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2787 place count 1186 transition count 1884
Iterating global reduction 8 with 1 rules applied. Total rules applied 2788 place count 1186 transition count 1884
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2789 place count 1185 transition count 1876
Iterating global reduction 8 with 1 rules applied. Total rules applied 2790 place count 1185 transition count 1876
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2791 place count 1184 transition count 1868
Iterating global reduction 8 with 1 rules applied. Total rules applied 2792 place count 1184 transition count 1868
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2793 place count 1183 transition count 1860
Iterating global reduction 8 with 1 rules applied. Total rules applied 2794 place count 1183 transition count 1860
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2795 place count 1182 transition count 1852
Iterating global reduction 8 with 1 rules applied. Total rules applied 2796 place count 1182 transition count 1852
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2797 place count 1181 transition count 1844
Iterating global reduction 8 with 1 rules applied. Total rules applied 2798 place count 1181 transition count 1844
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2799 place count 1180 transition count 1836
Iterating global reduction 8 with 1 rules applied. Total rules applied 2800 place count 1180 transition count 1836
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2801 place count 1179 transition count 1828
Iterating global reduction 8 with 1 rules applied. Total rules applied 2802 place count 1179 transition count 1828
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2803 place count 1178 transition count 1820
Iterating global reduction 8 with 1 rules applied. Total rules applied 2804 place count 1178 transition count 1820
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2805 place count 1177 transition count 1812
Iterating global reduction 8 with 1 rules applied. Total rules applied 2806 place count 1177 transition count 1812
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2807 place count 1176 transition count 1804
Iterating global reduction 8 with 1 rules applied. Total rules applied 2808 place count 1176 transition count 1804
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2809 place count 1175 transition count 1796
Iterating global reduction 8 with 1 rules applied. Total rules applied 2810 place count 1175 transition count 1796
Performed 193 Post agglomeration using F-continuation condition.Transition count delta: 193
Deduced a syphon composed of 193 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 194 places and 0 transitions.
Iterating global reduction 8 with 387 rules applied. Total rules applied 3197 place count 981 transition count 1603
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 3199 place count 979 transition count 1601
Iterating global reduction 8 with 2 rules applied. Total rules applied 3201 place count 979 transition count 1601
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 8 with 1 rules applied. Total rules applied 3202 place count 979 transition count 1600
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 3203 place count 978 transition count 1600
Discarding 2 places :
Symmetric choice reduction at 10 with 2 rule applications. Total rules 3205 place count 976 transition count 1598
Iterating global reduction 10 with 2 rules applied. Total rules applied 3207 place count 976 transition count 1598
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 3208 place count 975 transition count 1597
Iterating global reduction 10 with 1 rules applied. Total rules applied 3209 place count 975 transition count 1597
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -5
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 3211 place count 974 transition count 1602
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 3212 place count 974 transition count 1602
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 3213 place count 973 transition count 1601
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 3214 place count 972 transition count 1600
Reduce places removed 10 places and 0 transitions.
Drop transitions removed 4 transitions
Trivial Post-agglo rules discarded 4 transitions
Performed 4 trivial Post agglomeration. Transition count delta: 4
Iterating post reduction 10 with 14 rules applied. Total rules applied 3228 place count 962 transition count 1596
Reduce places removed 4 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 11 with 5 rules applied. Total rules applied 3233 place count 958 transition count 1595
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 12 with 1 rules applied. Total rules applied 3234 place count 957 transition count 1595
Performed 14 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 14 Pre rules applied. Total rules applied 3234 place count 957 transition count 1581
Deduced a syphon composed of 14 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 13 with 29 rules applied. Total rules applied 3263 place count 942 transition count 1581
Discarding 9 places :
Implicit places reduction removed 9 places
Iterating post reduction 13 with 9 rules applied. Total rules applied 3272 place count 933 transition count 1581
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 1 Pre rules applied. Total rules applied 3272 place count 933 transition count 1580
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 3274 place count 932 transition count 1580
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Deduced a syphon composed of 14 places in 2 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 14 with 28 rules applied. Total rules applied 3302 place count 918 transition count 1566
Discarding 7 places :
Symmetric choice reduction at 14 with 7 rule applications. Total rules 3309 place count 911 transition count 1559
Iterating global reduction 14 with 7 rules applied. Total rules applied 3316 place count 911 transition count 1559
Discarding 1 places :
Symmetric choice reduction at 14 with 1 rule applications. Total rules 3317 place count 910 transition count 1558
Iterating global reduction 14 with 1 rules applied. Total rules applied 3318 place count 910 transition count 1558
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 14 with 1 rules applied. Total rules applied 3319 place count 910 transition count 1557
Applied a total of 3319 rules in 1423 ms. Remains 910 /2622 variables (removed 1712) and now considering 1557/3293 (removed 1736) transitions.
[2021-05-11 10:22:56] [INFO ] Flatten gal took : 50 ms
[2021-05-11 10:22:56] [INFO ] Flatten gal took : 57 ms
[2021-05-11 10:22:56] [INFO ] Input system was already deterministic with 1557 transitions.
[2021-05-11 10:22:56] [INFO ] Flatten gal took : 57 ms
[2021-05-11 10:22:57] [INFO ] Flatten gal took : 59 ms
[2021-05-11 10:22:57] [INFO ] Time to serialize gal into /tmp/CTLCardinality16149061857578464568.gal : 6 ms
[2021-05-11 10:22:57] [INFO ] Time to serialize properties into /tmp/CTLCardinality9950368983402818927.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/CTLCardinality16149061857578464568.gal, -t, CGAL, -ctl, /tmp/CTLCardinality9950368983402818927.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/CTLCardinality16149061857578464568.gal -t CGAL -ctl /tmp/CTLCardinality9950368983402818927.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 10:23:27] [INFO ] Flatten gal took : 56 ms
[2021-05-11 10:23:27] [INFO ] Applying decomposition
[2021-05-11 10:23:27] [INFO ] Flatten gal took : 55 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/graph15869732440355274495.txt, -o, /tmp/graph15869732440355274495.bin, -w, /tmp/graph15869732440355274495.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/graph15869732440355274495.bin, -l, -1, -v, -w, /tmp/graph15869732440355274495.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 10:23:27] [INFO ] Decomposing Gal with order
[2021-05-11 10:23:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 10:23:27] [INFO ] Removed a total of 2427 redundant transitions.
[2021-05-11 10:23:27] [INFO ] Flatten gal took : 111 ms
[2021-05-11 10:23:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 125 labels/synchronizations in 52 ms.
[2021-05-11 10:23:27] [INFO ] Time to serialize gal into /tmp/CTLCardinality1574970874723492271.gal : 8 ms
[2021-05-11 10:23:27] [INFO ] Time to serialize properties into /tmp/CTLCardinality17110755452816671420.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality1574970874723492271.gal, -t, CGAL, -ctl, /tmp/CTLCardinality17110755452816671420.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/CTLCardinality1574970874723492271.gal -t CGAL -ctl /tmp/CTLCardinality17110755452816671420.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 491 transitions
Trivial Post-agglo rules discarded 491 transitions
Performed 491 trivial Post agglomeration. Transition count delta: 491
Iterating post reduction 0 with 491 rules applied. Total rules applied 491 place count 2621 transition count 2801
Reduce places removed 491 places and 0 transitions.
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Drop transitions removed 5 transitions
Trivial Post-agglo rules discarded 5 transitions
Performed 5 trivial Post agglomeration. Transition count delta: 5
Iterating post reduction 1 with 505 rules applied. Total rules applied 996 place count 2130 transition count 2787
Reduce places removed 5 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 2 with 10 rules applied. Total rules applied 1006 place count 2125 transition count 2782
Reduce places removed 3 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 3 with 4 rules applied. Total rules applied 1010 place count 2122 transition count 2781
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 4 with 1 rules applied. Total rules applied 1011 place count 2121 transition count 2781
Performed 674 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 674 Pre rules applied. Total rules applied 1011 place count 2121 transition count 2107
Deduced a syphon composed of 674 places in 4 ms
Ensure Unique test removed 60 places
Reduce places removed 734 places and 0 transitions.
Iterating global reduction 5 with 1408 rules applied. Total rules applied 2419 place count 1387 transition count 2107
Discarding 8 places :
Implicit places reduction removed 8 places
Drop transitions removed 40 transitions
Trivial Post-agglo rules discarded 40 transitions
Performed 40 trivial Post agglomeration. Transition count delta: 40
Iterating post reduction 5 with 48 rules applied. Total rules applied 2467 place count 1379 transition count 2067
Reduce places removed 40 places and 0 transitions.
Iterating post reduction 6 with 40 rules applied. Total rules applied 2507 place count 1339 transition count 2067
Performed 23 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 23 Pre rules applied. Total rules applied 2507 place count 1339 transition count 2044
Deduced a syphon composed of 23 places in 4 ms
Ensure Unique test removed 21 places
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 7 with 67 rules applied. Total rules applied 2574 place count 1295 transition count 2044
Performed 21 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 21 Pre rules applied. Total rules applied 2574 place count 1295 transition count 2023
Deduced a syphon composed of 21 places in 3 ms
Reduce places removed 21 places and 0 transitions.
Iterating global reduction 7 with 42 rules applied. Total rules applied 2616 place count 1274 transition count 2023
Discarding 37 places :
Symmetric choice reduction at 7 with 37 rule applications. Total rules 2653 place count 1237 transition count 1974
Ensure Unique test removed 1 places
Iterating global reduction 7 with 38 rules applied. Total rules applied 2691 place count 1236 transition count 1974
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 2692 place count 1236 transition count 1973
Performed 18 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 18 Pre rules applied. Total rules applied 2692 place count 1236 transition count 1955
Deduced a syphon composed of 18 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 8 with 37 rules applied. Total rules applied 2729 place count 1217 transition count 1955
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1 Pre rules applied. Total rules applied 2729 place count 1217 transition count 1954
Deduced a syphon composed of 1 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 8 with 3 rules applied. Total rules applied 2732 place count 1215 transition count 1954
Discarding 11 places :
Symmetric choice reduction at 8 with 11 rule applications. Total rules 2743 place count 1204 transition count 1921
Iterating global reduction 8 with 11 rules applied. Total rules applied 2754 place count 1204 transition count 1921
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 1 Pre rules applied. Total rules applied 2754 place count 1204 transition count 1920
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 2756 place count 1203 transition count 1920
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 2758 place count 1201 transition count 1911
Iterating global reduction 8 with 2 rules applied. Total rules applied 2760 place count 1201 transition count 1911
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2761 place count 1200 transition count 1903
Iterating global reduction 8 with 1 rules applied. Total rules applied 2762 place count 1200 transition count 1903
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2763 place count 1199 transition count 1895
Iterating global reduction 8 with 1 rules applied. Total rules applied 2764 place count 1199 transition count 1895
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2765 place count 1198 transition count 1887
Iterating global reduction 8 with 1 rules applied. Total rules applied 2766 place count 1198 transition count 1887
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2767 place count 1197 transition count 1879
Iterating global reduction 8 with 1 rules applied. Total rules applied 2768 place count 1197 transition count 1879
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2769 place count 1196 transition count 1871
Iterating global reduction 8 with 1 rules applied. Total rules applied 2770 place count 1196 transition count 1871
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2771 place count 1195 transition count 1863
Iterating global reduction 8 with 1 rules applied. Total rules applied 2772 place count 1195 transition count 1863
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2773 place count 1194 transition count 1855
Iterating global reduction 8 with 1 rules applied. Total rules applied 2774 place count 1194 transition count 1855
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2775 place count 1193 transition count 1847
Iterating global reduction 8 with 1 rules applied. Total rules applied 2776 place count 1193 transition count 1847
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2777 place count 1192 transition count 1839
Iterating global reduction 8 with 1 rules applied. Total rules applied 2778 place count 1192 transition count 1839
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2779 place count 1191 transition count 1831
Iterating global reduction 8 with 1 rules applied. Total rules applied 2780 place count 1191 transition count 1831
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2781 place count 1190 transition count 1823
Iterating global reduction 8 with 1 rules applied. Total rules applied 2782 place count 1190 transition count 1823
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2783 place count 1189 transition count 1815
Iterating global reduction 8 with 1 rules applied. Total rules applied 2784 place count 1189 transition count 1815
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 2785 place count 1188 transition count 1807
Iterating global reduction 8 with 1 rules applied. Total rules applied 2786 place count 1188 transition count 1807
Performed 195 Post agglomeration using F-continuation condition.Transition count delta: 195
Deduced a syphon composed of 195 places in 2 ms
Ensure Unique test removed 2 places
Reduce places removed 197 places and 0 transitions.
Iterating global reduction 8 with 392 rules applied. Total rules applied 3178 place count 991 transition count 1612
Discarding 3 places :
Symmetric choice reduction at 8 with 3 rule applications. Total rules 3181 place count 988 transition count 1609
Ensure Unique test removed 1 places
Iterating global reduction 8 with 4 rules applied. Total rules applied 3185 place count 987 transition count 1609
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 8 with 1 rules applied. Total rules applied 3186 place count 987 transition count 1608
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 3187 place count 986 transition count 1608
Discarding 3 places :
Symmetric choice reduction at 10 with 3 rule applications. Total rules 3190 place count 983 transition count 1605
Iterating global reduction 10 with 3 rules applied. Total rules applied 3193 place count 983 transition count 1605
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Drop transitions removed 1 transitions
Trivial Post-agglo rules discarded 1 transitions
Performed 1 trivial Post agglomeration. Transition count delta: 1
Iterating post reduction 10 with 2 rules applied. Total rules applied 3195 place count 983 transition count 1603
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 11 with 1 rules applied. Total rules applied 3196 place count 982 transition count 1603
Discarding 1 places :
Symmetric choice reduction at 12 with 1 rule applications. Total rules 3197 place count 981 transition count 1602
Iterating global reduction 12 with 1 rules applied. Total rules applied 3198 place count 981 transition count 1602
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -5
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 12 with 2 rules applied. Total rules applied 3200 place count 980 transition count 1607
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 12 with 1 rules applied. Total rules applied 3201 place count 980 transition count 1607
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 12 with 1 rules applied. Total rules applied 3202 place count 979 transition count 1606
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 12 with 1 rules applied. Total rules applied 3203 place count 978 transition count 1605
Reduce places removed 8 places and 0 transitions.
Drop transitions removed 3 transitions
Trivial Post-agglo rules discarded 3 transitions
Performed 3 trivial Post agglomeration. Transition count delta: 3
Iterating post reduction 12 with 11 rules applied. Total rules applied 3214 place count 970 transition count 1602
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 13 with 3 rules applied. Total rules applied 3217 place count 967 transition count 1602
Performed 13 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 13 Pre rules applied. Total rules applied 3217 place count 967 transition count 1589
Deduced a syphon composed of 13 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 14 with 27 rules applied. Total rules applied 3244 place count 953 transition count 1589
Discarding 8 places :
Implicit places reduction removed 8 places
Iterating post reduction 14 with 8 rules applied. Total rules applied 3252 place count 945 transition count 1589
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 15 with 1 Pre rules applied. Total rules applied 3252 place count 945 transition count 1588
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 15 with 2 rules applied. Total rules applied 3254 place count 944 transition count 1588
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Deduced a syphon composed of 12 places in 2 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 15 with 24 rules applied. Total rules applied 3278 place count 932 transition count 1576
Discarding 6 places :
Symmetric choice reduction at 15 with 6 rule applications. Total rules 3284 place count 926 transition count 1570
Iterating global reduction 15 with 6 rules applied. Total rules applied 3290 place count 926 transition count 1570
Discarding 3 places :
Symmetric choice reduction at 15 with 3 rule applications. Total rules 3293 place count 923 transition count 1567
Iterating global reduction 15 with 3 rules applied. Total rules applied 3296 place count 923 transition count 1567
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 15 with 3 rules applied. Total rules applied 3299 place count 923 transition count 1564
Applied a total of 3299 rules in 1280 ms. Remains 923 /2622 variables (removed 1699) and now considering 1564/3293 (removed 1729) transitions.
[2021-05-11 10:23:59] [INFO ] Flatten gal took : 52 ms
[2021-05-11 10:23:59] [INFO ] Flatten gal took : 55 ms
[2021-05-11 10:23:59] [INFO ] Input system was already deterministic with 1564 transitions.
[2021-05-11 10:23:59] [INFO ] Flatten gal took : 52 ms
[2021-05-11 10:23:59] [INFO ] Flatten gal took : 53 ms
[2021-05-11 10:23:59] [INFO ] Time to serialize gal into /tmp/CTLCardinality17830875174356049391.gal : 10 ms
[2021-05-11 10:23:59] [INFO ] Time to serialize properties into /tmp/CTLCardinality499570230975700900.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/CTLCardinality17830875174356049391.gal, -t, CGAL, -ctl, /tmp/CTLCardinality499570230975700900.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/CTLCardinality17830875174356049391.gal -t CGAL -ctl /tmp/CTLCardinality499570230975700900.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 10:24:29] [INFO ] Flatten gal took : 54 ms
[2021-05-11 10:24:29] [INFO ] Applying decomposition
[2021-05-11 10:24:29] [INFO ] Flatten gal took : 57 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/graph6316341587565841548.txt, -o, /tmp/graph6316341587565841548.bin, -w, /tmp/graph6316341587565841548.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/graph6316341587565841548.bin, -l, -1, -v, -w, /tmp/graph6316341587565841548.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 10:24:29] [INFO ] Decomposing Gal with order
[2021-05-11 10:24:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 10:24:29] [INFO ] Removed a total of 2431 redundant transitions.
[2021-05-11 10:24:29] [INFO ] Flatten gal took : 97 ms
[2021-05-11 10:24:30] [INFO ] Fuse similar labels procedure discarded/fused a total of 138 labels/synchronizations in 32 ms.
[2021-05-11 10:24:30] [INFO ] Time to serialize gal into /tmp/CTLCardinality13537785194945787588.gal : 13 ms
[2021-05-11 10:24:30] [INFO ] Time to serialize properties into /tmp/CTLCardinality2121158703437408978.ctl : 0 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/CTLCardinality13537785194945787588.gal, -t, CGAL, -ctl, /tmp/CTLCardinality2121158703437408978.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/CTLCardinality13537785194945787588.gal -t CGAL -ctl /tmp/CTLCardinality2121158703437408978.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 10:25:00] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 10:25:00] [INFO ] Flatten gal took : 92 ms
[2021-05-11 10:25:00] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
FORMULA ASLink-PT-06b-CTLCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06b-CTLCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-06b-CTLCardinality-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 10:25:00] [INFO ] Flatten gal took : 96 ms
[2021-05-11 10:25:00] [INFO ] Applying decomposition
[2021-05-11 10:25:00] [INFO ] Flatten gal took : 95 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/graph9825704871071902175.txt, -o, /tmp/graph9825704871071902175.bin, -w, /tmp/graph9825704871071902175.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/graph9825704871071902175.bin, -l, -1, -v, -w, /tmp/graph9825704871071902175.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 10:25:00] [INFO ] Decomposing Gal with order
[2021-05-11 10:25:00] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 10:25:01] [INFO ] Removed a total of 2582 redundant transitions.
[2021-05-11 10:25:01] [INFO ] Flatten gal took : 157 ms
[2021-05-11 10:25:01] [INFO ] Fuse similar labels procedure discarded/fused a total of 419 labels/synchronizations in 130 ms.
[2021-05-11 10:25:01] [INFO ] Time to serialize gal into /tmp/CTLCardinality11827479060287769098.gal : 26 ms
[2021-05-11 10:25:01] [INFO ] Time to serialize properties into /tmp/CTLCardinality9292661381598181723.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/CTLCardinality11827479060287769098.gal, -t, CGAL, -ctl, /tmp/CTLCardinality9292661381598181723.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/CTLCardinality11827479060287769098.gal -t CGAL -ctl /tmp/CTLCardinality9292661381598181723.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 7 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 10:46:32] [INFO ] Applying decomposition
[2021-05-11 10:46:33] [INFO ] Flatten gal took : 524 ms
[2021-05-11 10:46:33] [INFO ] Decomposing Gal with order
[2021-05-11 10:46:33] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 10:46:34] [INFO ] Removed a total of 2327 redundant transitions.
[2021-05-11 10:46:34] [INFO ] Flatten gal took : 812 ms
[2021-05-11 10:46:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 3516 labels/synchronizations in 424 ms.
[2021-05-11 10:46:39] [INFO ] Time to serialize gal into /tmp/CTLCardinality12618703196224030146.gal : 49 ms
[2021-05-11 10:46:39] [INFO ] Time to serialize properties into /tmp/CTLCardinality6022810608156071547.ctl : 3 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/CTLCardinality12618703196224030146.gal, -t, CGAL, -ctl, /tmp/CTLCardinality6022810608156071547.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/CTLCardinality12618703196224030146.gal -t CGAL -ctl /tmp/CTLCardinality6022810608156071547.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 7 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 11:08:18] [INFO ] Flatten gal took : 953 ms
[2021-05-11 11:08:20] [INFO ] Input system was already deterministic with 3293 transitions.
[2021-05-11 11:08:20] [INFO ] Transformed 2622 places.
[2021-05-11 11:08:20] [INFO ] Transformed 3293 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 11:08:50] [INFO ] Time to serialize gal into /tmp/CTLCardinality8992632457346337891.gal : 27 ms
[2021-05-11 11:08:51] [INFO ] Time to serialize properties into /tmp/CTLCardinality13124356153784511494.ctl : 11 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/CTLCardinality8992632457346337891.gal, -t, CGAL, -ctl, /tmp/CTLCardinality13124356153784511494.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/CTLCardinality8992632457346337891.gal -t CGAL -ctl /tmp/CTLCardinality13124356153784511494.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 7 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-06b"
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-06b, 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-162037989500099"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-06b.tgz
mv ASLink-PT-06b 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 ;