About the Execution of ITS-Tools for ASLink-PT-04b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16246.968 | 3600000.00 | 2837167.00 | 355324.50 | ????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-162037989500068.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-04b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r007-tall-162037989500068
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 138K May 10 09:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 97K May 10 09:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K 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.8K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 23 01:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 01:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 669K 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-04b-CTLFireability-00
FORMULA_NAME ASLink-PT-04b-CTLFireability-01
FORMULA_NAME ASLink-PT-04b-CTLFireability-02
FORMULA_NAME ASLink-PT-04b-CTLFireability-03
FORMULA_NAME ASLink-PT-04b-CTLFireability-04
FORMULA_NAME ASLink-PT-04b-CTLFireability-05
FORMULA_NAME ASLink-PT-04b-CTLFireability-06
FORMULA_NAME ASLink-PT-04b-CTLFireability-07
FORMULA_NAME ASLink-PT-04b-CTLFireability-08
FORMULA_NAME ASLink-PT-04b-CTLFireability-09
FORMULA_NAME ASLink-PT-04b-CTLFireability-10
FORMULA_NAME ASLink-PT-04b-CTLFireability-11
FORMULA_NAME ASLink-PT-04b-CTLFireability-12
FORMULA_NAME ASLink-PT-04b-CTLFireability-13
FORMULA_NAME ASLink-PT-04b-CTLFireability-14
FORMULA_NAME ASLink-PT-04b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1620724868109
Running Version 0
[2021-05-11 09:21:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-11 09:21:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 09:21:10] [INFO ] Load time of PNML (sax parser for PT used): 132 ms
[2021-05-11 09:21:10] [INFO ] Transformed 2034 places.
[2021-05-11 09:21:10] [INFO ] Transformed 2567 transitions.
[2021-05-11 09:21:10] [INFO ] Found NUPN structural information;
[2021-05-11 09:21:10] [INFO ] Parsed PT model containing 2034 places and 2567 transitions in 200 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 12 ms.
Support contains 681 out of 2034 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 2034/2034 places, 2567/2567 transitions.
Discarding 90 places :
Symmetric choice reduction at 0 with 90 rule applications. Total rules 90 place count 1944 transition count 2477
Iterating global reduction 0 with 90 rules applied. Total rules applied 180 place count 1944 transition count 2477
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 181 place count 1944 transition count 2476
Discarding 18 places :
Symmetric choice reduction at 1 with 18 rule applications. Total rules 199 place count 1926 transition count 2458
Iterating global reduction 1 with 18 rules applied. Total rules applied 217 place count 1926 transition count 2458
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 1 with 7 rules applied. Total rules applied 224 place count 1926 transition count 2451
Applied a total of 224 rules in 462 ms. Remains 1926 /2034 variables (removed 108) and now considering 2451/2567 (removed 116) transitions.
// Phase 1: matrix 2451 rows 1926 cols
[2021-05-11 09:21:11] [INFO ] Computed 199 place invariants in 150 ms
[2021-05-11 09:21:11] [INFO ] Implicit Places using invariants in 831 ms returned [1756, 1767, 1786, 1810, 1821, 1837, 1848]
Discarding 7 places :
Implicit Place search using SMT only with invariants took 867 ms to find 7 implicit places.
// Phase 1: matrix 2451 rows 1919 cols
[2021-05-11 09:21:12] [INFO ] Computed 192 place invariants in 82 ms
[2021-05-11 09:21:13] [INFO ] Dead Transitions using invariants and state equation in 1518 ms returned []
Starting structural reductions, iteration 1 : 1919/2034 places, 2451/2567 transitions.
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 1914 transition count 2446
Iterating global reduction 0 with 5 rules applied. Total rules applied 10 place count 1914 transition count 2446
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 12 place count 1912 transition count 2444
Iterating global reduction 0 with 2 rules applied. Total rules applied 14 place count 1912 transition count 2444
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 15 place count 1911 transition count 2443
Iterating global reduction 0 with 1 rules applied. Total rules applied 16 place count 1911 transition count 2443
Applied a total of 16 rules in 553 ms. Remains 1911 /1919 variables (removed 8) and now considering 2443/2451 (removed 8) transitions.
// Phase 1: matrix 2443 rows 1911 cols
[2021-05-11 09:21:14] [INFO ] Computed 192 place invariants in 34 ms
[2021-05-11 09:21:14] [INFO ] Implicit Places using invariants in 581 ms returned []
// Phase 1: matrix 2443 rows 1911 cols
[2021-05-11 09:21:14] [INFO ] Computed 192 place invariants in 29 ms
[2021-05-11 09:21:16] [INFO ] Implicit Places using invariants and state equation in 1507 ms returned []
Implicit Place search using SMT with State Equation took 2090 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 1911/2034 places, 2443/2567 transitions.
[2021-05-11 09:21:16] [INFO ] Flatten gal took : 195 ms
[2021-05-11 09:21:16] [INFO ] Flatten gal took : 132 ms
[2021-05-11 09:21:16] [INFO ] Input system was already deterministic with 2443 transitions.
Incomplete random walk after 100000 steps, including 232 resets, run finished after 753 ms. (steps per millisecond=132 ) properties (out of 91) seen :83
Running SMT prover for 8 properties.
// Phase 1: matrix 2443 rows 1911 cols
[2021-05-11 09:21:17] [INFO ] Computed 192 place invariants in 29 ms
[2021-05-11 09:21:18] [INFO ] [Real]Absence check using 47 positive place invariants in 25 ms returned sat
[2021-05-11 09:21:18] [INFO ] [Real]Absence check using 47 positive and 145 generalized place invariants in 63 ms returned sat
[2021-05-11 09:21:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 09:21:20] [INFO ] [Real]Absence check using state equation in 1963 ms returned sat
[2021-05-11 09:21:20] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 09:21:20] [INFO ] [Nat]Absence check using 47 positive place invariants in 26 ms returned sat
[2021-05-11 09:21:20] [INFO ] [Nat]Absence check using 47 positive and 145 generalized place invariants in 53 ms returned sat
[2021-05-11 09:21:20] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 09:21:29] [INFO ] [Nat]Absence check using state equation in 8838 ms returned unknown
[2021-05-11 09:21:29] [INFO ] [Real]Absence check using 47 positive place invariants in 30 ms returned sat
[2021-05-11 09:21:29] [INFO ] [Real]Absence check using 47 positive and 145 generalized place invariants in 49 ms returned sat
[2021-05-11 09:21:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 09:21:30] [INFO ] [Real]Absence check using state equation in 1386 ms returned sat
[2021-05-11 09:21:30] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 09:21:31] [INFO ] [Nat]Absence check using 47 positive place invariants in 29 ms returned sat
[2021-05-11 09:21:31] [INFO ] [Nat]Absence check using 47 positive and 145 generalized place invariants in 48 ms returned sat
[2021-05-11 09:21:31] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 09:21:32] [INFO ] [Nat]Absence check using state equation in 1396 ms returned sat
[2021-05-11 09:21:33] [INFO ] Deduced a trap composed of 91 places in 415 ms of which 4 ms to minimize.
[2021-05-11 09:21:33] [INFO ] Deduced a trap composed of 53 places in 310 ms of which 2 ms to minimize.
[2021-05-11 09:21:33] [INFO ] Deduced a trap composed of 96 places in 369 ms of which 2 ms to minimize.
[2021-05-11 09:21:34] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1427 ms
[2021-05-11 09:21:34] [INFO ] Computed and/alt/rep : 2053/4597/2053 causal constraints (skipped 389 transitions) in 122 ms.
[2021-05-11 09:21:50] [INFO ] Added : 590 causal constraints over 118 iterations in 16929 ms. Result :unknown
[2021-05-11 09:21:51] [INFO ] [Real]Absence check using 47 positive place invariants in 29 ms returned sat
[2021-05-11 09:21:51] [INFO ] [Real]Absence check using 47 positive and 145 generalized place invariants in 43 ms returned sat
[2021-05-11 09:21:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 09:21:52] [INFO ] [Real]Absence check using state equation in 1006 ms returned sat
[2021-05-11 09:21:52] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 09:21:52] [INFO ] [Nat]Absence check using 47 positive place invariants in 27 ms returned sat
[2021-05-11 09:21:52] [INFO ] [Nat]Absence check using 47 positive and 145 generalized place invariants in 43 ms returned sat
[2021-05-11 09:21:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 09:21:54] [INFO ] [Nat]Absence check using state equation in 2258 ms returned sat
[2021-05-11 09:21:55] [INFO ] Deduced a trap composed of 41 places in 459 ms of which 4 ms to minimize.
[2021-05-11 09:21:55] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 539 ms
[2021-05-11 09:21:55] [INFO ] [Real]Absence check using 47 positive place invariants in 24 ms returned sat
[2021-05-11 09:21:55] [INFO ] [Real]Absence check using 47 positive and 145 generalized place invariants in 41 ms returned sat
[2021-05-11 09:21:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 09:21:56] [INFO ] [Real]Absence check using state equation in 874 ms returned sat
[2021-05-11 09:21:56] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 09:21:56] [INFO ] [Nat]Absence check using 47 positive place invariants in 26 ms returned sat
[2021-05-11 09:21:56] [INFO ] [Nat]Absence check using 47 positive and 145 generalized place invariants in 45 ms returned sat
[2021-05-11 09:21:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 09:21:57] [INFO ] [Nat]Absence check using state equation in 1062 ms returned sat
[2021-05-11 09:21:58] [INFO ] Deduced a trap composed of 140 places in 562 ms of which 1 ms to minimize.
[2021-05-11 09:21:59] [INFO ] Deduced a trap composed of 142 places in 536 ms of which 1 ms to minimize.
[2021-05-11 09:21:59] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 2 trap constraints in 1240 ms
[2021-05-11 09:21:59] [INFO ] [Real]Absence check using 47 positive place invariants in 25 ms returned sat
[2021-05-11 09:21:59] [INFO ] [Real]Absence check using 47 positive and 145 generalized place invariants in 62 ms returned sat
[2021-05-11 09:21:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 09:22:01] [INFO ] [Real]Absence check using state equation in 2067 ms returned sat
[2021-05-11 09:22:01] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 09:22:01] [INFO ] [Nat]Absence check using 47 positive place invariants in 26 ms returned sat
[2021-05-11 09:22:01] [INFO ] [Nat]Absence check using 47 positive and 145 generalized place invariants in 60 ms returned sat
[2021-05-11 09:22:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 09:22:04] [INFO ] [Nat]Absence check using state equation in 2346 ms returned sat
[2021-05-11 09:22:04] [INFO ] Deduced a trap composed of 135 places in 421 ms of which 1 ms to minimize.
[2021-05-11 09:22:05] [INFO ] Deduced a trap composed of 49 places in 460 ms of which 1 ms to minimize.
[2021-05-11 09:22:05] [INFO ] Deduced a trap composed of 124 places in 471 ms of which 0 ms to minimize.
[2021-05-11 09:22:06] [INFO ] Deduced a trap composed of 50 places in 199 ms of which 1 ms to minimize.
[2021-05-11 09:22:06] [INFO ] Deduced a trap composed of 42 places in 180 ms of which 1 ms to minimize.
[2021-05-11 09:22:06] [INFO ] Deduced a trap composed of 65 places in 175 ms of which 0 ms to minimize.
[2021-05-11 09:22:06] [INFO ] Deduced a trap composed of 78 places in 160 ms of which 0 ms to minimize.
[2021-05-11 09:22:07] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 2711 ms
[2021-05-11 09:22:07] [INFO ] Computed and/alt/rep : 2053/4597/2053 causal constraints (skipped 389 transitions) in 153 ms.
[2021-05-11 09:22:22] [INFO ] Deduced a trap composed of 11 places in 968 ms of which 10 ms to minimize.
[2021-05-11 09:22:22] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 4
[2021-05-11 09:22:22] [INFO ] [Real]Absence check using 47 positive place invariants in 23 ms returned sat
[2021-05-11 09:22:22] [INFO ] [Real]Absence check using 47 positive and 145 generalized place invariants in 43 ms returned sat
[2021-05-11 09:22:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 09:22:24] [INFO ] [Real]Absence check using state equation in 1284 ms returned sat
[2021-05-11 09:22:24] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 09:22:24] [INFO ] [Nat]Absence check using 47 positive place invariants in 25 ms returned sat
[2021-05-11 09:22:24] [INFO ] [Nat]Absence check using 47 positive and 145 generalized place invariants in 46 ms returned sat
[2021-05-11 09:22:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 09:22:25] [INFO ] [Nat]Absence check using state equation in 1086 ms returned sat
[2021-05-11 09:22:25] [INFO ] Deduced a trap composed of 22 places in 296 ms of which 0 ms to minimize.
[2021-05-11 09:22:26] [INFO ] Deduced a trap composed of 25 places in 301 ms of which 1 ms to minimize.
[2021-05-11 09:22:26] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 831 ms
[2021-05-11 09:22:26] [INFO ] Computed and/alt/rep : 2053/4597/2053 causal constraints (skipped 389 transitions) in 130 ms.
[2021-05-11 09:22:45] [INFO ] Deduced a trap composed of 11 places in 949 ms of which 2 ms to minimize.
[2021-05-11 09:22:45] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close... while checking expression at index 5
[2021-05-11 09:22:45] [INFO ] [Real]Absence check using 47 positive place invariants in 24 ms returned sat
[2021-05-11 09:22:45] [INFO ] [Real]Absence check using 47 positive and 145 generalized place invariants in 51 ms returned sat
[2021-05-11 09:22:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 09:22:47] [INFO ] [Real]Absence check using state equation in 1608 ms returned sat
[2021-05-11 09:22:47] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 09:22:47] [INFO ] [Nat]Absence check using 47 positive place invariants in 26 ms returned sat
[2021-05-11 09:22:47] [INFO ] [Nat]Absence check using 47 positive and 145 generalized place invariants in 49 ms returned sat
[2021-05-11 09:22:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 09:22:54] [INFO ] [Nat]Absence check using state equation in 6684 ms returned unknown
[2021-05-11 09:22:54] [INFO ] [Real]Absence check using 47 positive place invariants in 25 ms returned sat
[2021-05-11 09:22:54] [INFO ] [Real]Absence check using 47 positive and 145 generalized place invariants in 48 ms returned sat
[2021-05-11 09:22:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-11 09:22:57] [INFO ] [Real]Absence check using state equation in 2672 ms returned sat
[2021-05-11 09:22:57] [INFO ] Solution in real domain found non-integer solution.
[2021-05-11 09:22:57] [INFO ] [Nat]Absence check using 47 positive place invariants in 26 ms returned sat
[2021-05-11 09:22:57] [INFO ] [Nat]Absence check using 47 positive and 145 generalized place invariants in 48 ms returned sat
[2021-05-11 09:22:57] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-11 09:23:03] [INFO ] [Nat]Absence check using state equation in 6518 ms returned unknown
Successfully simplified 2 atomic propositions for a total of 16 simplifications.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 355 transitions
Trivial Post-agglo rules discarded 355 transitions
Performed 355 trivial Post agglomeration. Transition count delta: 355
Iterating post reduction 0 with 355 rules applied. Total rules applied 355 place count 1910 transition count 2087
Reduce places removed 355 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 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 366 rules applied. Total rules applied 721 place count 1555 transition count 2076
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 730 place count 1551 transition count 2071
Reduce places removed 3 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 3 with 9 rules applied. Total rules applied 739 place count 1548 transition count 2065
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 4 with 6 rules applied. Total rules applied 745 place count 1542 transition count 2065
Performed 475 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 475 Pre rules applied. Total rules applied 745 place count 1542 transition count 1590
Deduced a syphon composed of 475 places in 2 ms
Ensure Unique test removed 41 places
Reduce places removed 516 places and 0 transitions.
Iterating global reduction 5 with 991 rules applied. Total rules applied 1736 place count 1026 transition count 1590
Discarding 5 places :
Implicit places reduction removed 5 places
Drop transitions removed 26 transitions
Trivial Post-agglo rules discarded 26 transitions
Performed 26 trivial Post agglomeration. Transition count delta: 26
Iterating post reduction 5 with 31 rules applied. Total rules applied 1767 place count 1021 transition count 1564
Reduce places removed 26 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 6 with 27 rules applied. Total rules applied 1794 place count 995 transition count 1563
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 1795 place count 994 transition count 1563
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 15 Pre rules applied. Total rules applied 1795 place count 994 transition count 1548
Deduced a syphon composed of 15 places in 3 ms
Ensure Unique test removed 15 places
Reduce places removed 30 places and 0 transitions.
Iterating global reduction 8 with 45 rules applied. Total rules applied 1840 place count 964 transition count 1548
Performed 14 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 14 Pre rules applied. Total rules applied 1840 place count 964 transition count 1534
Deduced a syphon composed of 14 places in 3 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 8 with 28 rules applied. Total rules applied 1868 place count 950 transition count 1534
Discarding 28 places :
Symmetric choice reduction at 8 with 28 rule applications. Total rules 1896 place count 922 transition count 1488
Iterating global reduction 8 with 28 rules applied. Total rules applied 1924 place count 922 transition count 1488
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 11 Pre rules applied. Total rules applied 1924 place count 922 transition count 1477
Deduced a syphon composed of 11 places in 7 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 8 with 22 rules applied. Total rules applied 1946 place count 911 transition count 1477
Discarding 8 places :
Symmetric choice reduction at 8 with 8 rule applications. Total rules 1954 place count 903 transition count 1457
Iterating global reduction 8 with 8 rules applied. Total rules applied 1962 place count 903 transition count 1457
Discarding 3 places :
Symmetric choice reduction at 8 with 3 rule applications. Total rules 1965 place count 900 transition count 1447
Iterating global reduction 8 with 3 rules applied. Total rules applied 1968 place count 900 transition count 1447
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 1970 place count 898 transition count 1438
Iterating global reduction 8 with 2 rules applied. Total rules applied 1972 place count 898 transition count 1438
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1973 place count 897 transition count 1430
Iterating global reduction 8 with 1 rules applied. Total rules applied 1974 place count 897 transition count 1430
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1975 place count 896 transition count 1422
Iterating global reduction 8 with 1 rules applied. Total rules applied 1976 place count 896 transition count 1422
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1977 place count 895 transition count 1414
Iterating global reduction 8 with 1 rules applied. Total rules applied 1978 place count 895 transition count 1414
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1979 place count 894 transition count 1406
Iterating global reduction 8 with 1 rules applied. Total rules applied 1980 place count 894 transition count 1406
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1981 place count 893 transition count 1398
Iterating global reduction 8 with 1 rules applied. Total rules applied 1982 place count 893 transition count 1398
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1983 place count 892 transition count 1390
Iterating global reduction 8 with 1 rules applied. Total rules applied 1984 place count 892 transition count 1390
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1985 place count 891 transition count 1382
Iterating global reduction 8 with 1 rules applied. Total rules applied 1986 place count 891 transition count 1382
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1987 place count 890 transition count 1374
Iterating global reduction 8 with 1 rules applied. Total rules applied 1988 place count 890 transition count 1374
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1989 place count 889 transition count 1366
Iterating global reduction 8 with 1 rules applied. Total rules applied 1990 place count 889 transition count 1366
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 1991 place count 888 transition count 1358
Iterating global reduction 8 with 1 rules applied. Total rules applied 1992 place count 888 transition count 1358
Performed 132 Post agglomeration using F-continuation condition.Transition count delta: 132
Deduced a syphon composed of 132 places in 2 ms
Reduce places removed 132 places and 0 transitions.
Iterating global reduction 8 with 264 rules applied. Total rules applied 2256 place count 756 transition count 1226
Discarding 3 places :
Symmetric choice reduction at 8 with 3 rule applications. Total rules 2259 place count 753 transition count 1223
Ensure Unique test removed 1 places
Iterating global reduction 8 with 4 rules applied. Total rules applied 2263 place count 752 transition count 1223
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 2265 place count 750 transition count 1221
Iterating global reduction 8 with 2 rules applied. Total rules applied 2267 place count 750 transition count 1221
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 2269 place count 750 transition count 1219
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 2270 place count 749 transition count 1219
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -6
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 2272 place count 748 transition count 1225
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 2273 place count 747 transition count 1224
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 10 with 1 rules applied. Total rules applied 2274 place count 746 transition count 1223
Reduce places removed 7 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 10 with 10 rules applied. Total rules applied 2284 place count 739 transition count 1220
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 11 with 3 rules applied. Total rules applied 2287 place count 736 transition count 1220
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 12 with 11 Pre rules applied. Total rules applied 2287 place count 736 transition count 1209
Deduced a syphon composed of 11 places in 1 ms
Ensure Unique test removed 1 places
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 12 with 23 rules applied. Total rules applied 2310 place count 724 transition count 1209
Discarding 4 places :
Implicit places reduction removed 4 places
Iterating post reduction 12 with 4 rules applied. Total rules applied 2314 place count 720 transition count 1209
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 1 Pre rules applied. Total rules applied 2314 place count 720 transition count 1208
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 2316 place count 719 transition count 1208
Discarding 1 places :
Symmetric choice reduction at 13 with 1 rule applications. Total rules 2317 place count 718 transition count 1207
Iterating global reduction 13 with 1 rules applied. Total rules applied 2318 place count 718 transition count 1207
Discarding 1 places :
Symmetric choice reduction at 13 with 1 rule applications. Total rules 2319 place count 717 transition count 1206
Iterating global reduction 13 with 1 rules applied. Total rules applied 2320 place count 717 transition count 1206
Discarding 1 places :
Symmetric choice reduction at 13 with 1 rule applications. Total rules 2321 place count 716 transition count 1205
Iterating global reduction 13 with 1 rules applied. Total rules applied 2322 place count 716 transition count 1205
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 13 with 1 rules applied. Total rules applied 2323 place count 716 transition count 1204
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 2 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 14 with 14 rules applied. Total rules applied 2337 place count 709 transition count 1197
Discarding 1 places :
Symmetric choice reduction at 14 with 1 rule applications. Total rules 2338 place count 708 transition count 1196
Iterating global reduction 14 with 1 rules applied. Total rules applied 2339 place count 708 transition count 1196
Applied a total of 2339 rules in 1145 ms. Remains 708 /1911 variables (removed 1203) and now considering 1196/2443 (removed 1247) transitions.
[2021-05-11 09:23:05] [INFO ] Flatten gal took : 49 ms
[2021-05-11 09:23:05] [INFO ] Flatten gal took : 48 ms
[2021-05-11 09:23:05] [INFO ] Input system was already deterministic with 1196 transitions.
[2021-05-11 09:23:05] [INFO ] Flatten gal took : 46 ms
[2021-05-11 09:23:05] [INFO ] Flatten gal took : 46 ms
[2021-05-11 09:23:05] [INFO ] Time to serialize gal into /tmp/CTLFireability17161297493115052970.gal : 25 ms
[2021-05-11 09:23:05] [INFO ] Time to serialize properties into /tmp/CTLFireability3879422703483795564.ctl : 103 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/CTLFireability17161297493115052970.gal, -t, CGAL, -ctl, /tmp/CTLFireability3879422703483795564.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/CTLFireability17161297493115052970.gal -t CGAL -ctl /tmp/CTLFireability3879422703483795564.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 09:23:40] [INFO ] Flatten gal took : 46 ms
[2021-05-11 09:23:40] [INFO ] Applying decomposition
[2021-05-11 09:23:40] [INFO ] Flatten gal took : 46 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/graph12868094039195051193.txt, -o, /tmp/graph12868094039195051193.bin, -w, /tmp/graph12868094039195051193.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/graph12868094039195051193.bin, -l, -1, -v, -w, /tmp/graph12868094039195051193.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 09:23:40] [INFO ] Decomposing Gal with order
[2021-05-11 09:23:40] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 09:23:40] [INFO ] Removed a total of 1875 redundant transitions.
[2021-05-11 09:23:40] [INFO ] Flatten gal took : 134 ms
[2021-05-11 09:23:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 51 labels/synchronizations in 35 ms.
[2021-05-11 09:23:40] [INFO ] Time to serialize gal into /tmp/CTLFireability16621933063384559535.gal : 13 ms
[2021-05-11 09:23:40] [INFO ] Time to serialize properties into /tmp/CTLFireability11561115597065988912.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/CTLFireability16621933063384559535.gal, -t, CGAL, -ctl, /tmp/CTLFireability11561115597065988912.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability16621933063384559535.gal -t CGAL -ctl /tmp/CTLFireability11561115597065988912.ctl
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 357 transitions
Trivial Post-agglo rules discarded 357 transitions
Performed 357 trivial Post agglomeration. Transition count delta: 357
Iterating post reduction 0 with 357 rules applied. Total rules applied 357 place count 1910 transition count 2085
Reduce places removed 357 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 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 368 rules applied. Total rules applied 725 place count 1553 transition count 2074
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 734 place count 1549 transition count 2069
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 739 place count 1546 transition count 2067
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 4 with 2 rules applied. Total rules applied 741 place count 1544 transition count 2067
Performed 479 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 479 Pre rules applied. Total rules applied 741 place count 1544 transition count 1588
Deduced a syphon composed of 479 places in 3 ms
Ensure Unique test removed 44 places
Reduce places removed 523 places and 0 transitions.
Iterating global reduction 5 with 1002 rules applied. Total rules applied 1743 place count 1021 transition count 1588
Discarding 5 places :
Implicit places reduction removed 5 places
Drop transitions removed 29 transitions
Trivial Post-agglo rules discarded 29 transitions
Performed 29 trivial Post agglomeration. Transition count delta: 29
Iterating post reduction 5 with 34 rules applied. Total rules applied 1777 place count 1016 transition count 1559
Reduce places removed 29 places and 0 transitions.
Iterating post reduction 6 with 29 rules applied. Total rules applied 1806 place count 987 transition count 1559
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 17 Pre rules applied. Total rules applied 1806 place count 987 transition count 1542
Deduced a syphon composed of 17 places in 2 ms
Ensure Unique test removed 16 places
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 7 with 50 rules applied. Total rules applied 1856 place count 954 transition count 1542
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 15 Pre rules applied. Total rules applied 1856 place count 954 transition count 1527
Deduced a syphon composed of 15 places in 2 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 7 with 30 rules applied. Total rules applied 1886 place count 939 transition count 1527
Discarding 28 places :
Symmetric choice reduction at 7 with 28 rule applications. Total rules 1914 place count 911 transition count 1476
Iterating global reduction 7 with 28 rules applied. Total rules applied 1942 place count 911 transition count 1476
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 12 Pre rules applied. Total rules applied 1942 place count 911 transition count 1464
Deduced a syphon composed of 12 places in 2 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 7 with 24 rules applied. Total rules applied 1966 place count 899 transition count 1464
Discarding 6 places :
Symmetric choice reduction at 7 with 6 rule applications. Total rules 1972 place count 893 transition count 1453
Iterating global reduction 7 with 6 rules applied. Total rules applied 1978 place count 893 transition count 1453
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 7 with 1 Pre rules applied. Total rules applied 1978 place count 893 transition count 1452
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 1980 place count 892 transition count 1452
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 1982 place count 890 transition count 1450
Iterating global reduction 7 with 2 rules applied. Total rules applied 1984 place count 890 transition count 1450
Performed 133 Post agglomeration using F-continuation condition.Transition count delta: 133
Deduced a syphon composed of 133 places in 1 ms
Reduce places removed 133 places and 0 transitions.
Iterating global reduction 7 with 266 rules applied. Total rules applied 2250 place count 757 transition count 1317
Discarding 3 places :
Symmetric choice reduction at 7 with 3 rule applications. Total rules 2253 place count 754 transition count 1314
Ensure Unique test removed 1 places
Iterating global reduction 7 with 4 rules applied. Total rules applied 2257 place count 753 transition count 1314
Discarding 2 places :
Symmetric choice reduction at 7 with 2 rule applications. Total rules 2259 place count 751 transition count 1312
Iterating global reduction 7 with 2 rules applied. Total rules applied 2261 place count 751 transition count 1312
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 7 with 2 rules applied. Total rules applied 2263 place count 751 transition count 1310
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 2264 place count 750 transition count 1310
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 9 with 2 rules applied. Total rules applied 2266 place count 749 transition count 1317
Partial Post-agglomeration rule applied 2 times.
Drop transitions removed 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 2268 place count 749 transition count 1317
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 9 with 1 rules applied. Total rules applied 2269 place count 748 transition count 1316
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 9 with 1 rules applied. Total rules applied 2270 place count 747 transition count 1315
Reduce places removed 8 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 9 with 12 rules applied. Total rules applied 2282 place count 739 transition count 1311
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 10 with 4 rules applied. Total rules applied 2286 place count 735 transition count 1311
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 11 with 12 Pre rules applied. Total rules applied 2286 place count 735 transition count 1299
Deduced a syphon composed of 12 places in 1 ms
Ensure Unique test removed 1 places
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 11 with 25 rules applied. Total rules applied 2311 place count 722 transition count 1299
Discarding 5 places :
Implicit places reduction removed 5 places
Iterating post reduction 11 with 5 rules applied. Total rules applied 2316 place count 717 transition count 1299
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 12 with 1 Pre rules applied. Total rules applied 2316 place count 717 transition count 1298
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 2318 place count 716 transition count 1298
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 2 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 12 with 14 rules applied. Total rules applied 2332 place count 709 transition count 1291
Discarding 2 places :
Symmetric choice reduction at 12 with 2 rule applications. Total rules 2334 place count 707 transition count 1289
Iterating global reduction 12 with 2 rules applied. Total rules applied 2336 place count 707 transition count 1289
Applied a total of 2336 rules in 541 ms. Remains 707 /1911 variables (removed 1204) and now considering 1289/2443 (removed 1154) transitions.
[2021-05-11 09:24:11] [INFO ] Flatten gal took : 48 ms
[2021-05-11 09:24:11] [INFO ] Flatten gal took : 52 ms
[2021-05-11 09:24:11] [INFO ] Input system was already deterministic with 1289 transitions.
[2021-05-11 09:24:11] [INFO ] Flatten gal took : 48 ms
[2021-05-11 09:24:11] [INFO ] Flatten gal took : 49 ms
[2021-05-11 09:24:11] [INFO ] Time to serialize gal into /tmp/CTLFireability16668229051513368730.gal : 7 ms
[2021-05-11 09:24:11] [INFO ] Time to serialize properties into /tmp/CTLFireability12194563855636645724.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/CTLFireability16668229051513368730.gal, -t, CGAL, -ctl, /tmp/CTLFireability12194563855636645724.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/CTLFireability16668229051513368730.gal -t CGAL -ctl /tmp/CTLFireability12194563855636645724.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 09:24:41] [INFO ] Flatten gal took : 48 ms
[2021-05-11 09:24:41] [INFO ] Applying decomposition
[2021-05-11 09:24:41] [INFO ] Flatten gal took : 47 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/graph12876476360525375121.txt, -o, /tmp/graph12876476360525375121.bin, -w, /tmp/graph12876476360525375121.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/graph12876476360525375121.bin, -l, -1, -v, -w, /tmp/graph12876476360525375121.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 09:24:41] [INFO ] Decomposing Gal with order
[2021-05-11 09:24:41] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 09:24:42] [INFO ] Removed a total of 2090 redundant transitions.
[2021-05-11 09:24:42] [INFO ] Flatten gal took : 80 ms
[2021-05-11 09:24:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 30 labels/synchronizations in 22 ms.
[2021-05-11 09:24:47] [INFO ] Time to serialize gal into /tmp/CTLFireability2916964846830135105.gal : 5492 ms
[2021-05-11 09:24:48] [INFO ] Time to serialize properties into /tmp/CTLFireability18322358550690469607.ctl : 1188 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/CTLFireability2916964846830135105.gal, -t, CGAL, -ctl, /tmp/CTLFireability18322358550690469607.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability2916964846830135105.gal -t CGAL -ctl /tmp/CTLFireability18322358550690469607.ctl
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 365 transitions
Trivial Post-agglo rules discarded 365 transitions
Performed 365 trivial Post agglomeration. Transition count delta: 365
Iterating post reduction 0 with 365 rules applied. Total rules applied 365 place count 1910 transition count 2077
Reduce places removed 365 places and 0 transitions.
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 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 376 rules applied. Total rules applied 741 place count 1545 transition count 2066
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 750 place count 1541 transition count 2061
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 753 place count 1538 transition count 2061
Performed 484 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 484 Pre rules applied. Total rules applied 753 place count 1538 transition count 1577
Deduced a syphon composed of 484 places in 2 ms
Ensure Unique test removed 44 places
Reduce places removed 528 places and 0 transitions.
Iterating global reduction 4 with 1012 rules applied. Total rules applied 1765 place count 1010 transition count 1577
Discarding 5 places :
Implicit places reduction removed 5 places
Drop transitions removed 29 transitions
Trivial Post-agglo rules discarded 29 transitions
Performed 29 trivial Post agglomeration. Transition count delta: 29
Iterating post reduction 4 with 34 rules applied. Total rules applied 1799 place count 1005 transition count 1548
Reduce places removed 29 places and 0 transitions.
Iterating post reduction 5 with 29 rules applied. Total rules applied 1828 place count 976 transition count 1548
Performed 17 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 17 Pre rules applied. Total rules applied 1828 place count 976 transition count 1531
Deduced a syphon composed of 17 places in 2 ms
Ensure Unique test removed 16 places
Reduce places removed 33 places and 0 transitions.
Iterating global reduction 6 with 50 rules applied. Total rules applied 1878 place count 943 transition count 1531
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 15 Pre rules applied. Total rules applied 1878 place count 943 transition count 1516
Deduced a syphon composed of 15 places in 2 ms
Reduce places removed 15 places and 0 transitions.
Iterating global reduction 6 with 30 rules applied. Total rules applied 1908 place count 928 transition count 1516
Discarding 28 places :
Symmetric choice reduction at 6 with 28 rule applications. Total rules 1936 place count 900 transition count 1465
Iterating global reduction 6 with 28 rules applied. Total rules applied 1964 place count 900 transition count 1465
Performed 11 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 11 Pre rules applied. Total rules applied 1964 place count 900 transition count 1454
Deduced a syphon composed of 11 places in 3 ms
Reduce places removed 11 places and 0 transitions.
Iterating global reduction 6 with 22 rules applied. Total rules applied 1986 place count 889 transition count 1454
Discarding 8 places :
Symmetric choice reduction at 6 with 8 rule applications. Total rules 1994 place count 881 transition count 1434
Iterating global reduction 6 with 8 rules applied. Total rules applied 2002 place count 881 transition count 1434
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 2002 place count 881 transition count 1433
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 2004 place count 880 transition count 1433
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 2007 place count 877 transition count 1423
Iterating global reduction 6 with 3 rules applied. Total rules applied 2010 place count 877 transition count 1423
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 2011 place count 876 transition count 1422
Iterating global reduction 6 with 1 rules applied. Total rules applied 2012 place count 876 transition count 1422
Performed 135 Post agglomeration using F-continuation condition.Transition count delta: 135
Deduced a syphon composed of 135 places in 2 ms
Reduce places removed 135 places and 0 transitions.
Iterating global reduction 6 with 270 rules applied. Total rules applied 2282 place count 741 transition count 1287
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 2285 place count 738 transition count 1284
Ensure Unique test removed 1 places
Iterating global reduction 6 with 4 rules applied. Total rules applied 2289 place count 737 transition count 1284
Discarding 2 places :
Symmetric choice reduction at 6 with 2 rule applications. Total rules 2291 place count 735 transition count 1282
Iterating global reduction 6 with 2 rules applied. Total rules applied 2293 place count 735 transition count 1282
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 6 with 2 rules applied. Total rules applied 2295 place count 735 transition count 1280
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 2296 place count 734 transition count 1280
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -6
Deduced a syphon composed of 1 places in 1 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 2298 place count 733 transition count 1286
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 2299 place count 732 transition count 1285
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 2300 place count 731 transition count 1284
Reduce places removed 8 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 8 with 12 rules applied. Total rules applied 2312 place count 723 transition count 1280
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 9 with 4 rules applied. Total rules applied 2316 place count 719 transition count 1280
Performed 12 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 12 Pre rules applied. Total rules applied 2316 place count 719 transition count 1268
Deduced a syphon composed of 12 places in 2 ms
Ensure Unique test removed 1 places
Reduce places removed 13 places and 0 transitions.
Iterating global reduction 10 with 25 rules applied. Total rules applied 2341 place count 706 transition count 1268
Discarding 6 places :
Implicit places reduction removed 6 places
Iterating post reduction 10 with 6 rules applied. Total rules applied 2347 place count 700 transition count 1268
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 11 with 1 Pre rules applied. Total rules applied 2347 place count 700 transition count 1267
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 2349 place count 699 transition count 1267
Performed 10 Post agglomeration using F-continuation condition.Transition count delta: 10
Deduced a syphon composed of 10 places in 1 ms
Reduce places removed 10 places and 0 transitions.
Iterating global reduction 11 with 20 rules applied. Total rules applied 2369 place count 689 transition count 1257
Discarding 4 places :
Symmetric choice reduction at 11 with 4 rule applications. Total rules 2373 place count 685 transition count 1253
Iterating global reduction 11 with 4 rules applied. Total rules applied 2377 place count 685 transition count 1253
Applied a total of 2377 rules in 441 ms. Remains 685 /1911 variables (removed 1226) and now considering 1253/2443 (removed 1190) transitions.
[2021-05-11 09:25:26] [INFO ] Flatten gal took : 65 ms
[2021-05-11 09:25:26] [INFO ] Flatten gal took : 43 ms
[2021-05-11 09:25:26] [INFO ] Input system was already deterministic with 1253 transitions.
[2021-05-11 09:25:26] [INFO ] Flatten gal took : 42 ms
[2021-05-11 09:25:26] [INFO ] Flatten gal took : 70 ms
[2021-05-11 09:25:26] [INFO ] Time to serialize gal into /tmp/CTLFireability1524016874219480300.gal : 5 ms
[2021-05-11 09:25:27] [INFO ] Time to serialize properties into /tmp/CTLFireability238177240445521591.ctl : 542 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/CTLFireability1524016874219480300.gal, -t, CGAL, -ctl, /tmp/CTLFireability238177240445521591.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/CTLFireability1524016874219480300.gal -t CGAL -ctl /tmp/CTLFireability238177240445521591.ctl --gen-order FOLLOW
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 09:26:04] [INFO ] Flatten gal took : 44 ms
[2021-05-11 09:26:04] [INFO ] Applying decomposition
[2021-05-11 09:26:04] [INFO ] Flatten gal took : 42 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/graph10785568395566376523.txt, -o, /tmp/graph10785568395566376523.bin, -w, /tmp/graph10785568395566376523.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/graph10785568395566376523.bin, -l, -1, -v, -w, /tmp/graph10785568395566376523.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 09:26:04] [INFO ] Decomposing Gal with order
[2021-05-11 09:26:04] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 09:26:05] [INFO ] Removed a total of 2058 redundant transitions.
[2021-05-11 09:26:05] [INFO ] Flatten gal took : 84 ms
[2021-05-11 09:26:05] [INFO ] Fuse similar labels procedure discarded/fused a total of 43 labels/synchronizations in 9 ms.
[2021-05-11 09:26:05] [INFO ] Time to serialize gal into /tmp/CTLFireability609090481775798182.gal : 885 ms
[2021-05-11 09:26:05] [INFO ] Time to serialize properties into /tmp/CTLFireability11621373468465374772.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/CTLFireability609090481775798182.gal, -t, CGAL, -ctl, /tmp/CTLFireability11621373468465374772.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability609090481775798182.gal -t CGAL -ctl /tmp/CTLFireability11621373468465374772.ctl
No direction supplied, using forward translation only.
Parsed 1 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 09:26:36] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2021-05-11 09:26:36] [INFO ] Flatten gal took : 72 ms
FORMULA ASLink-PT-04b-CTLFireability-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-11 09:26:36] [INFO ] Flatten gal took : 71 ms
[2021-05-11 09:26:36] [INFO ] Applying decomposition
[2021-05-11 09:26:36] [INFO ] Flatten gal took : 71 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph1336495898439761270.txt, -o, /tmp/graph1336495898439761270.bin, -w, /tmp/graph1336495898439761270.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/graph1336495898439761270.bin, -l, -1, -v, -w, /tmp/graph1336495898439761270.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-11 09:26:36] [INFO ] Decomposing Gal with order
[2021-05-11 09:26:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 09:26:36] [INFO ] Removed a total of 1937 redundant transitions.
[2021-05-11 09:26:36] [INFO ] Flatten gal took : 126 ms
[2021-05-11 09:26:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 18 labels/synchronizations in 49 ms.
[2021-05-11 09:26:37] [INFO ] Time to serialize gal into /tmp/CTLFireability13248676477258899377.gal : 24 ms
[2021-05-11 09:26:37] [INFO ] Time to serialize properties into /tmp/CTLFireability142985082727798538.ctl : 5 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/CTLFireability13248676477258899377.gal, -t, CGAL, -ctl, /tmp/CTLFireability142985082727798538.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability13248676477258899377.gal -t CGAL -ctl /tmp/CTLFireability142985082727798538.ctl
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 09:48:25] [INFO ] Applying decomposition
[2021-05-11 09:48:25] [INFO ] Flatten gal took : 95 ms
[2021-05-11 09:48:25] [INFO ] Decomposing Gal with order
[2021-05-11 09:48:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-11 09:48:25] [INFO ] Removed a total of 1784 redundant transitions.
[2021-05-11 09:48:25] [INFO ] Flatten gal took : 157 ms
[2021-05-11 09:48:26] [INFO ] Fuse similar labels procedure discarded/fused a total of 2482 labels/synchronizations in 53 ms.
[2021-05-11 09:48:26] [INFO ] Time to serialize gal into /tmp/CTLFireability5376832186074591233.gal : 7 ms
[2021-05-11 09:48:26] [INFO ] Time to serialize properties into /tmp/CTLFireability16445659497086288148.ctl : 8 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/CTLFireability5376832186074591233.gal, -t, CGAL, -ctl, /tmp/CTLFireability16445659497086288148.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /tmp/CTLFireability5376832186074591233.gal -t CGAL -ctl /tmp/CTLFireability16445659497086288148.ctl
No direction supplied, using forward translation only.
Parsed 15 CTL formulae.
Detected timeout of ITS tools.
[2021-05-11 10:10:16] [INFO ] Flatten gal took : 408 ms
[2021-05-11 10:10:18] [INFO ] Input system was already deterministic with 2443 transitions.
[2021-05-11 10:10:18] [INFO ] Transformed 1911 places.
[2021-05-11 10:10:18] [INFO ] Transformed 2443 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 10:10:48] [INFO ] Time to serialize gal into /tmp/CTLFireability15959405421945497670.gal : 24 ms
[2021-05-11 10:10:48] [INFO ] Time to serialize properties into /tmp/CTLFireability3692123633047347340.ctl : 6 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/CTLFireability15959405421945497670.gal, -t, CGAL, -ctl, /tmp/CTLFireability3692123633047347340.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/CTLFireability15959405421945497670.gal -t CGAL -ctl /tmp/CTLFireability3692123633047347340.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 15 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution CTLFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination CTLFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-04b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ASLink-PT-04b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r007-tall-162037989500068"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-04b.tgz
mv ASLink-PT-04b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;