About the Execution of ITS-Tools for ASLink-PT-09b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 16245.903 | 3600000.00 | 3501291.00 | 280378.60 | FFFTFF?F?FF?FFFT | 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-162037989600146.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-09b, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r007-tall-162037989600146
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 142K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 109K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 15:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 15:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 23 01:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 01:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 22 09:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 1.3M 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-09b-00
FORMULA_NAME ASLink-PT-09b-01
FORMULA_NAME ASLink-PT-09b-02
FORMULA_NAME ASLink-PT-09b-03
FORMULA_NAME ASLink-PT-09b-04
FORMULA_NAME ASLink-PT-09b-05
FORMULA_NAME ASLink-PT-09b-06
FORMULA_NAME ASLink-PT-09b-07
FORMULA_NAME ASLink-PT-09b-08
FORMULA_NAME ASLink-PT-09b-09
FORMULA_NAME ASLink-PT-09b-10
FORMULA_NAME ASLink-PT-09b-11
FORMULA_NAME ASLink-PT-09b-12
FORMULA_NAME ASLink-PT-09b-13
FORMULA_NAME ASLink-PT-09b-14
FORMULA_NAME ASLink-PT-09b-15
=== Now, execution of the tool begins
BK_START 1620439737023
Running Version 0
[2021-05-08 02:08:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -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-08 02:08:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 02:08:58] [INFO ] Load time of PNML (sax parser for PT used): 242 ms
[2021-05-08 02:08:58] [INFO ] Transformed 4014 places.
[2021-05-08 02:08:58] [INFO ] Transformed 4932 transitions.
[2021-05-08 02:08:58] [INFO ] Found NUPN structural information;
[2021-05-08 02:08:59] [INFO ] Parsed PT model containing 4014 places and 4932 transitions in 364 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 10 ms.
Working with output stream class java.io.PrintStream
[2021-05-08 02:08:59] [INFO ] Initial state test concluded for 5 properties.
FORMULA ASLink-PT-09b-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Support contains 41 out of 4014 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 4014/4014 places, 4932/4932 transitions.
Discarding 248 places :
Symmetric choice reduction at 0 with 248 rule applications. Total rules 248 place count 3766 transition count 4684
Iterating global reduction 0 with 248 rules applied. Total rules applied 496 place count 3766 transition count 4684
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 497 place count 3766 transition count 4683
Discarding 95 places :
Symmetric choice reduction at 1 with 95 rule applications. Total rules 592 place count 3671 transition count 4540
Iterating global reduction 1 with 95 rules applied. Total rules applied 687 place count 3671 transition count 4540
Ensure Unique test removed 29 transitions
Reduce isomorphic transitions removed 29 transitions.
Iterating post reduction 1 with 29 rules applied. Total rules applied 716 place count 3671 transition count 4511
Discarding 11 places :
Symmetric choice reduction at 2 with 11 rule applications. Total rules 727 place count 3660 transition count 4500
Iterating global reduction 2 with 11 rules applied. Total rules applied 738 place count 3660 transition count 4500
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 741 place count 3657 transition count 4490
Iterating global reduction 2 with 3 rules applied. Total rules applied 744 place count 3657 transition count 4490
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 746 place count 3655 transition count 4488
Iterating global reduction 2 with 2 rules applied. Total rules applied 748 place count 3655 transition count 4488
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 750 place count 3653 transition count 4479
Iterating global reduction 2 with 2 rules applied. Total rules applied 752 place count 3653 transition count 4479
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 753 place count 3652 transition count 4471
Iterating global reduction 2 with 1 rules applied. Total rules applied 754 place count 3652 transition count 4471
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 755 place count 3651 transition count 4470
Iterating global reduction 2 with 1 rules applied. Total rules applied 756 place count 3651 transition count 4470
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 757 place count 3650 transition count 4462
Iterating global reduction 2 with 1 rules applied. Total rules applied 758 place count 3650 transition count 4462
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 759 place count 3649 transition count 4454
Iterating global reduction 2 with 1 rules applied. Total rules applied 760 place count 3649 transition count 4454
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 761 place count 3648 transition count 4453
Iterating global reduction 2 with 1 rules applied. Total rules applied 762 place count 3648 transition count 4453
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 763 place count 3647 transition count 4445
Iterating global reduction 2 with 1 rules applied. Total rules applied 764 place count 3647 transition count 4445
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 765 place count 3646 transition count 4437
Iterating global reduction 2 with 1 rules applied. Total rules applied 766 place count 3646 transition count 4437
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 767 place count 3645 transition count 4436
Iterating global reduction 2 with 1 rules applied. Total rules applied 768 place count 3645 transition count 4436
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 769 place count 3644 transition count 4428
Iterating global reduction 2 with 1 rules applied. Total rules applied 770 place count 3644 transition count 4428
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 771 place count 3643 transition count 4420
Iterating global reduction 2 with 1 rules applied. Total rules applied 772 place count 3643 transition count 4420
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 773 place count 3642 transition count 4419
Iterating global reduction 2 with 1 rules applied. Total rules applied 774 place count 3642 transition count 4419
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 775 place count 3641 transition count 4411
Iterating global reduction 2 with 1 rules applied. Total rules applied 776 place count 3641 transition count 4411
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 777 place count 3640 transition count 4403
Iterating global reduction 2 with 1 rules applied. Total rules applied 778 place count 3640 transition count 4403
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 779 place count 3639 transition count 4402
Iterating global reduction 2 with 1 rules applied. Total rules applied 780 place count 3639 transition count 4402
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 781 place count 3638 transition count 4394
Iterating global reduction 2 with 1 rules applied. Total rules applied 782 place count 3638 transition count 4394
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 783 place count 3637 transition count 4386
Iterating global reduction 2 with 1 rules applied. Total rules applied 784 place count 3637 transition count 4386
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 785 place count 3636 transition count 4385
Iterating global reduction 2 with 1 rules applied. Total rules applied 786 place count 3636 transition count 4385
Applied a total of 786 rules in 7461 ms. Remains 3636 /4014 variables (removed 378) and now considering 4385/4932 (removed 547) transitions.
// Phase 1: matrix 4385 rows 3636 cols
[2021-05-08 02:09:07] [INFO ] Computed 394 place invariants in 442 ms
[2021-05-08 02:09:08] [INFO ] Implicit Places using invariants in 1972 ms returned []
// Phase 1: matrix 4385 rows 3636 cols
[2021-05-08 02:09:08] [INFO ] Computed 394 place invariants in 180 ms
[2021-05-08 02:09:11] [INFO ] Implicit Places using invariants and state equation in 2268 ms returned []
Implicit Place search using SMT with State Equation took 4275 ms to find 0 implicit places.
// Phase 1: matrix 4385 rows 3636 cols
[2021-05-08 02:09:11] [INFO ] Computed 394 place invariants in 91 ms
[2021-05-08 02:09:13] [INFO ] Dead Transitions using invariants and state equation in 2784 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3636/4014 places, 4385/4932 transitions.
[2021-05-08 02:09:14] [INFO ] Initial state reduction rules for LTL removed 1 formulas.
[2021-05-08 02:09:14] [INFO ] Flatten gal took : 361 ms
FORMULA ASLink-PT-09b-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-08 02:09:14] [INFO ] Flatten gal took : 254 ms
[2021-05-08 02:09:15] [INFO ] Input system was already deterministic with 4385 transitions.
Incomplete random walk after 100000 steps, including 133 resets, run finished after 869 ms. (steps per millisecond=115 ) properties (out of 25) seen :15
Running SMT prover for 10 properties.
// Phase 1: matrix 4385 rows 3636 cols
[2021-05-08 02:09:16] [INFO ] Computed 394 place invariants in 88 ms
[2021-05-08 02:09:17] [INFO ] [Real]Absence check using 91 positive place invariants in 64 ms returned sat
[2021-05-08 02:09:17] [INFO ] [Real]Absence check using 91 positive and 303 generalized place invariants in 280 ms returned sat
[2021-05-08 02:09:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-08 02:09:21] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:10
[2021-05-08 02:09:22] [INFO ] [Nat]Absence check using 91 positive place invariants in 191 ms returned sat
[2021-05-08 02:09:22] [INFO ] [Nat]Absence check using 91 positive and 303 generalized place invariants in 204 ms returned sat
[2021-05-08 02:09:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 02:09:59] [INFO ] [Nat]Absence check using state equation in 36867 ms returned unsat :4 sat :4
Attempting to minimize the solution found.
Minimization took 1031 ms.
[2021-05-08 02:10:00] [INFO ] SMT Verify possible in nat domain returned unsat :4 sat :4
Successfully simplified 4 atomic propositions for a total of 12 simplifications.
[2021-05-08 02:10:00] [INFO ] Initial state test concluded for 3 properties.
FORMULA ASLink-PT-09b-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09b-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X((F(p0)||G(p1)))))], workingDir=/home/mcc/execution]
Support contains 4 out of 3636 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3636/3636 places, 4385/4385 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 3630 transition count 4367
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 3630 transition count 4367
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 13 place count 3630 transition count 4366
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 16 place count 3627 transition count 4356
Iterating global reduction 1 with 3 rules applied. Total rules applied 19 place count 3627 transition count 4356
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 21 place count 3625 transition count 4354
Iterating global reduction 1 with 2 rules applied. Total rules applied 23 place count 3625 transition count 4354
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 25 place count 3623 transition count 4345
Iterating global reduction 1 with 2 rules applied. Total rules applied 27 place count 3623 transition count 4345
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 28 place count 3622 transition count 4344
Iterating global reduction 1 with 1 rules applied. Total rules applied 29 place count 3622 transition count 4344
Applied a total of 29 rules in 1548 ms. Remains 3622 /3636 variables (removed 14) and now considering 4344/4385 (removed 41) transitions.
// Phase 1: matrix 4344 rows 3622 cols
[2021-05-08 02:10:02] [INFO ] Computed 394 place invariants in 86 ms
[2021-05-08 02:10:04] [INFO ] Implicit Places using invariants in 1496 ms returned []
// Phase 1: matrix 4344 rows 3622 cols
[2021-05-08 02:10:04] [INFO ] Computed 394 place invariants in 94 ms
[2021-05-08 02:10:06] [INFO ] Implicit Places using invariants and state equation in 2197 ms returned []
Implicit Place search using SMT with State Equation took 3702 ms to find 0 implicit places.
// Phase 1: matrix 4344 rows 3622 cols
[2021-05-08 02:10:06] [INFO ] Computed 394 place invariants in 85 ms
[2021-05-08 02:10:08] [INFO ] Dead Transitions using invariants and state equation in 2777 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3622/3636 places, 4344/4385 transitions.
Stuttering acceptance computed with spot in 244 ms :[(NOT p0), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1))]
Running random walk in product with property : ASLink-PT-09b-00 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=1 dest: 0}, { cond=(AND (NOT p0) p1), acceptance={} source=1 dest: 1}], [{ cond=true, acceptance={} source=2 dest: 1}], [{ cond=true, acceptance={} source=3 dest: 2}]], initial=3, aps=[p0:(AND (EQ s2607 1) (EQ s2741 1)), p1:(AND (EQ s1804 1) (EQ s1809 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Stuttering criterion allowed to conclude after 625 steps with 0 reset in 10 ms.
FORMULA ASLink-PT-09b-00 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-09b-00 finished in 8359 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((X((G(p2)&&p1))||p0)))], workingDir=/home/mcc/execution]
Support contains 4 out of 3636 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3636/3636 places, 4385/4385 transitions.
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 3631 transition count 4368
Iterating global reduction 0 with 5 rules applied. Total rules applied 10 place count 3631 transition count 4368
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 11 place count 3631 transition count 4367
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 14 place count 3628 transition count 4357
Iterating global reduction 1 with 3 rules applied. Total rules applied 17 place count 3628 transition count 4357
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 19 place count 3626 transition count 4355
Iterating global reduction 1 with 2 rules applied. Total rules applied 21 place count 3626 transition count 4355
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 23 place count 3624 transition count 4346
Iterating global reduction 1 with 2 rules applied. Total rules applied 25 place count 3624 transition count 4346
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 26 place count 3623 transition count 4345
Iterating global reduction 1 with 1 rules applied. Total rules applied 27 place count 3623 transition count 4345
Applied a total of 27 rules in 1519 ms. Remains 3623 /3636 variables (removed 13) and now considering 4345/4385 (removed 40) transitions.
// Phase 1: matrix 4345 rows 3623 cols
[2021-05-08 02:10:10] [INFO ] Computed 394 place invariants in 87 ms
[2021-05-08 02:10:12] [INFO ] Implicit Places using invariants in 1599 ms returned []
// Phase 1: matrix 4345 rows 3623 cols
[2021-05-08 02:10:12] [INFO ] Computed 394 place invariants in 114 ms
[2021-05-08 02:10:14] [INFO ] Implicit Places using invariants and state equation in 2394 ms returned []
Implicit Place search using SMT with State Equation took 3995 ms to find 0 implicit places.
// Phase 1: matrix 4345 rows 3623 cols
[2021-05-08 02:10:14] [INFO ] Computed 394 place invariants in 86 ms
[2021-05-08 02:10:17] [INFO ] Dead Transitions using invariants and state equation in 2797 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3623/3636 places, 4345/4385 transitions.
Stuttering acceptance computed with spot in 181 ms :[true, (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (NOT p2), (OR (NOT p2) (NOT p1))]
Running random walk in product with property : ASLink-PT-09b-06 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(NOT p0), acceptance={} source=2 dest: 4}], [{ cond=(NOT p2), acceptance={} source=3 dest: 0}, { cond=p2, acceptance={} source=3 dest: 3}], [{ cond=(OR (NOT p1) (NOT p2)), acceptance={} source=4 dest: 0}, { cond=(AND p1 p2), acceptance={} source=4 dest: 3}]], initial=1, aps=[p0:(OR (EQ s371 0) (EQ s1126 0)), p2:(OR (EQ s371 1) (EQ s1126 0)), p1:(AND (NEQ s2617 0) (NEQ s3041 0))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration explored 100000 steps with 50000 reset in 2561 ms.
Product exploration explored 100000 steps with 50000 reset in 2463 ms.
Knowledge obtained : [p0, p2, (NOT p1)]
Stuttering acceptance computed with spot in 126 ms :[true, (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (NOT p2), (OR (NOT p2) (NOT p1))]
Product exploration explored 100000 steps with 50000 reset in 2764 ms.
Product exploration explored 100000 steps with 50000 reset in 2732 ms.
Applying partial POR strategy [true, false, false, true, true]
Stuttering acceptance computed with spot in 117 ms :[true, (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (OR (AND (NOT p0) (NOT p1)) (AND (NOT p0) (NOT p2))), (NOT p2), (OR (NOT p2) (NOT p1))]
Support contains 4 out of 3623 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 3623/3623 places, 4345/4345 transitions.
Performed 658 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 658 rules applied. Total rules applied 658 place count 3623 transition count 4345
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 659 place count 3623 transition count 4344
Performed 786 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 786 Pre rules applied. Total rules applied 659 place count 3623 transition count 5937
Deduced a syphon composed of 1444 places in 19 ms
Iterating global reduction 2 with 786 rules applied. Total rules applied 1445 place count 3623 transition count 5937
Discarding 320 places :
Symmetric choice reduction at 2 with 320 rule applications. Total rules 1765 place count 3303 transition count 5485
Deduced a syphon composed of 1124 places in 28 ms
Iterating global reduction 2 with 320 rules applied. Total rules applied 2085 place count 3303 transition count 5485
Performed 496 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 1620 places in 29 ms
Iterating global reduction 2 with 496 rules applied. Total rules applied 2581 place count 3303 transition count 5486
Discarding 245 places :
Symmetric choice reduction at 2 with 245 rule applications. Total rules 2826 place count 3058 transition count 5239
Deduced a syphon composed of 1376 places in 32 ms
Iterating global reduction 2 with 245 rules applied. Total rules applied 3071 place count 3058 transition count 5239
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 3072 place count 3057 transition count 5237
Deduced a syphon composed of 1376 places in 10 ms
Iterating global reduction 2 with 1 rules applied. Total rules applied 3073 place count 3057 transition count 5237
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 3075 place count 3057 transition count 5235
Performed 47 Post agglomeration using F-continuation condition.Transition count delta: -211
Deduced a syphon composed of 1423 places in 10 ms
Iterating global reduction 3 with 47 rules applied. Total rules applied 3122 place count 3057 transition count 5446
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 3131 place count 3048 transition count 5428
Deduced a syphon composed of 1414 places in 10 ms
Iterating global reduction 3 with 9 rules applied. Total rules applied 3140 place count 3048 transition count 5428
Performed 9(complex) Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Deduced a syphon composed of 1423 places in 25 ms
Iterating global reduction 3 with 9 rules applied. Total rules applied 3149 place count 3048 transition count 5510
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 3158 place count 3039 transition count 5460
Deduced a syphon composed of 1414 places in 10 ms
Iterating global reduction 3 with 9 rules applied. Total rules applied 3167 place count 3039 transition count 5460
Deduced a syphon composed of 1414 places in 11 ms
Applied a total of 3167 rules in 3304 ms. Remains 3039 /3623 variables (removed 584) and now considering 5460/4345 (removed -1115) transitions.
[2021-05-08 02:10:33] [INFO ] Redundant transitions in 819 ms returned []
// Phase 1: matrix 5460 rows 3039 cols
[2021-05-08 02:10:33] [INFO ] Computed 394 place invariants in 199 ms
[2021-05-08 02:10:36] [INFO ] Dead Transitions using invariants and state equation in 3259 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3039/3623 places, 5460/4345 transitions.
Product exploration explored 100000 steps with 50000 reset in 2794 ms.
Product exploration explored 100000 steps with 50000 reset in 2786 ms.
[2021-05-08 02:10:42] [INFO ] Flatten gal took : 152 ms
[2021-05-08 02:10:42] [INFO ] Flatten gal took : 140 ms
[2021-05-08 02:10:42] [INFO ] Time to serialize gal into /tmp/LTL8952329186852957051.gal : 77 ms
[2021-05-08 02:10:42] [INFO ] Time to serialize properties into /tmp/LTL9762889443058605696.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL8952329186852957051.gal, -t, CGAL, -LTL, /tmp/LTL9762889443058605696.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL8952329186852957051.gal -t CGAL -LTL /tmp/LTL9762889443058605696.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(("((p401==0)||(p1228==0))")||(X(("((p2874!=0)&&(p3335!=0))")&&(G("((p401==1)||(p1228==0))")))))))
Formula 0 simplified : !X("((p401==0)||(p1228==0))" | X("((p2874!=0)&&(p3335!=0))" & G"((p401==1)||(p1228==0))"))
Detected timeout of ITS tools.
[2021-05-08 02:10:57] [INFO ] Flatten gal took : 145 ms
[2021-05-08 02:10:57] [INFO ] Applying decomposition
[2021-05-08 02:10:57] [INFO ] Flatten gal took : 145 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/graph15411289529777356847.txt, -o, /tmp/graph15411289529777356847.bin, -w, /tmp/graph15411289529777356847.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/graph15411289529777356847.bin, -l, -1, -v, -w, /tmp/graph15411289529777356847.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:10:58] [INFO ] Decomposing Gal with order
[2021-05-08 02:10:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:10:59] [INFO ] Removed a total of 3159 redundant transitions.
[2021-05-08 02:10:59] [INFO ] Flatten gal took : 323 ms
[2021-05-08 02:10:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 6 labels/synchronizations in 41 ms.
[2021-05-08 02:10:59] [INFO ] Time to serialize gal into /tmp/LTL2429939865789582836.gal : 34 ms
[2021-05-08 02:10:59] [INFO ] Time to serialize properties into /tmp/LTL8263876094943282377.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL2429939865789582836.gal, -t, CGAL, -LTL, /tmp/LTL8263876094943282377.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL2429939865789582836.gal -t CGAL -LTL /tmp/LTL8263876094943282377.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X(("((i2.u139.p401==0)||(i21.u429.p1228==0))")||(X(("((i34.u1003.p2874!=0)&&(i34.u1160.p3335!=0))")&&(G("((i2.u139.p401==1)||(i21.u429.p1228==0))")))))))
Formula 0 simplified : !X("((i2.u139.p401==0)||(i21.u429.p1228==0))" | X("((i34.u1003.p2874!=0)&&(i34.u1160.p3335!=0))" & G"((i2.u139.p401==1)||(i21.u429.p1228==0))"))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin3846399902242171594
[2021-05-08 02:11:14] [INFO ] Built C files in 62ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3846399902242171594
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3846399902242171594]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3846399902242171594] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3846399902242171594] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property ASLink-PT-09b-06 finished in 66294 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((p0||(!p0&&X(G(p1))))))], workingDir=/home/mcc/execution]
Support contains 2 out of 3636 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3636/3636 places, 4385/4385 transitions.
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 3631 transition count 4368
Iterating global reduction 0 with 5 rules applied. Total rules applied 10 place count 3631 transition count 4368
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 11 place count 3631 transition count 4367
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 13 place count 3629 transition count 4358
Iterating global reduction 1 with 2 rules applied. Total rules applied 15 place count 3629 transition count 4358
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 16 place count 3628 transition count 4357
Iterating global reduction 1 with 1 rules applied. Total rules applied 17 place count 3628 transition count 4357
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 18 place count 3627 transition count 4349
Iterating global reduction 1 with 1 rules applied. Total rules applied 19 place count 3627 transition count 4349
Applied a total of 19 rules in 1356 ms. Remains 3627 /3636 variables (removed 9) and now considering 4349/4385 (removed 36) transitions.
// Phase 1: matrix 4349 rows 3627 cols
[2021-05-08 02:11:17] [INFO ] Computed 394 place invariants in 98 ms
[2021-05-08 02:11:18] [INFO ] Implicit Places using invariants in 1467 ms returned []
// Phase 1: matrix 4349 rows 3627 cols
[2021-05-08 02:11:18] [INFO ] Computed 394 place invariants in 83 ms
[2021-05-08 02:11:20] [INFO ] Implicit Places using invariants and state equation in 2377 ms returned []
Implicit Place search using SMT with State Equation took 3845 ms to find 0 implicit places.
// Phase 1: matrix 4349 rows 3627 cols
[2021-05-08 02:11:20] [INFO ] Computed 394 place invariants in 85 ms
[2021-05-08 02:11:23] [INFO ] Dead Transitions using invariants and state equation in 2620 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3627/3636 places, 4349/4385 transitions.
Stuttering acceptance computed with spot in 97 ms :[true, (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1)]
Running random walk in product with property : ASLink-PT-09b-08 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=true, acceptance={} source=1 dest: 2}], [{ cond=(NOT p0), acceptance={} source=2 dest: 3}], [{ cond=(NOT p1), acceptance={} source=3 dest: 0}, { cond=p1, acceptance={} source=3 dest: 3}]], initial=1, aps=[p0:(NEQ s1428 1), p1:(EQ s3421 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null][false, false, false, false]]
Product exploration explored 100000 steps with 50000 reset in 2809 ms.
Product exploration explored 100000 steps with 50000 reset in 2720 ms.
Knowledge obtained : [p0, (NOT p1)]
Stuttering acceptance computed with spot in 86 ms :[true, (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1)]
Product exploration explored 100000 steps with 50000 reset in 2765 ms.
Product exploration explored 100000 steps with 50000 reset in 2794 ms.
Applying partial POR strategy [true, false, false, true]
Stuttering acceptance computed with spot in 87 ms :[true, (AND (NOT p0) (NOT p1)), (AND (NOT p0) (NOT p1)), (NOT p1)]
Support contains 2 out of 3627 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 3627/3627 places, 4349/4349 transitions.
Performed 662 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 662 rules applied. Total rules applied 662 place count 3627 transition count 4349
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 663 place count 3627 transition count 4348
Performed 787 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 787 Pre rules applied. Total rules applied 663 place count 3627 transition count 5955
Deduced a syphon composed of 1449 places in 21 ms
Iterating global reduction 2 with 787 rules applied. Total rules applied 1450 place count 3627 transition count 5955
Discarding 323 places :
Symmetric choice reduction at 2 with 323 rule applications. Total rules 1773 place count 3304 transition count 5497
Deduced a syphon composed of 1126 places in 19 ms
Iterating global reduction 2 with 323 rules applied. Total rules applied 2096 place count 3304 transition count 5497
Performed 496 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 1622 places in 12 ms
Iterating global reduction 2 with 496 rules applied. Total rules applied 2592 place count 3304 transition count 5498
Discarding 246 places :
Symmetric choice reduction at 2 with 246 rule applications. Total rules 2838 place count 3058 transition count 5250
Deduced a syphon composed of 1377 places in 11 ms
Iterating global reduction 2 with 246 rules applied. Total rules applied 3084 place count 3058 transition count 5250
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 3085 place count 3057 transition count 5248
Deduced a syphon composed of 1377 places in 11 ms
Iterating global reduction 2 with 1 rules applied. Total rules applied 3086 place count 3057 transition count 5248
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 3088 place count 3057 transition count 5246
Performed 47 Post agglomeration using F-continuation condition.Transition count delta: -211
Deduced a syphon composed of 1424 places in 12 ms
Iterating global reduction 3 with 47 rules applied. Total rules applied 3135 place count 3057 transition count 5457
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 3144 place count 3048 transition count 5439
Deduced a syphon composed of 1415 places in 12 ms
Iterating global reduction 3 with 9 rules applied. Total rules applied 3153 place count 3048 transition count 5439
Performed 9(complex) Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Deduced a syphon composed of 1424 places in 12 ms
Iterating global reduction 3 with 9 rules applied. Total rules applied 3162 place count 3048 transition count 5521
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 3171 place count 3039 transition count 5471
Deduced a syphon composed of 1415 places in 11 ms
Iterating global reduction 3 with 9 rules applied. Total rules applied 3180 place count 3039 transition count 5471
Deduced a syphon composed of 1415 places in 10 ms
Applied a total of 3180 rules in 1440 ms. Remains 3039 /3627 variables (removed 588) and now considering 5471/4349 (removed -1122) transitions.
[2021-05-08 02:11:37] [INFO ] Redundant transitions in 557 ms returned []
// Phase 1: matrix 5471 rows 3039 cols
[2021-05-08 02:11:37] [INFO ] Computed 394 place invariants in 193 ms
[2021-05-08 02:11:40] [INFO ] Dead Transitions using invariants and state equation in 3428 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3039/3627 places, 5471/4349 transitions.
Product exploration explored 100000 steps with 50000 reset in 3073 ms.
Product exploration explored 100000 steps with 50000 reset in 2762 ms.
[2021-05-08 02:11:46] [INFO ] Flatten gal took : 136 ms
[2021-05-08 02:11:46] [INFO ] Flatten gal took : 135 ms
[2021-05-08 02:11:46] [INFO ] Time to serialize gal into /tmp/LTL10249382011338094213.gal : 16 ms
[2021-05-08 02:11:46] [INFO ] Time to serialize properties into /tmp/LTL16846206160017161428.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL10249382011338094213.gal, -t, CGAL, -LTL, /tmp/LTL16846206160017161428.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL10249382011338094213.gal -t CGAL -LTL /tmp/LTL16846206160017161428.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X(("(p1560!=1)")||(("(p1560==1)")&&(X(G("(p3780==1)")))))))
Formula 0 simplified : !X("(p1560!=1)" | ("(p1560==1)" & XG"(p3780==1)"))
Detected timeout of ITS tools.
[2021-05-08 02:12:01] [INFO ] Flatten gal took : 123 ms
[2021-05-08 02:12:01] [INFO ] Applying decomposition
[2021-05-08 02:12:02] [INFO ] Flatten gal took : 128 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/graph298348921068187258.txt, -o, /tmp/graph298348921068187258.bin, -w, /tmp/graph298348921068187258.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/graph298348921068187258.bin, -l, -1, -v, -w, /tmp/graph298348921068187258.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:12:02] [INFO ] Decomposing Gal with order
[2021-05-08 02:12:02] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:12:03] [INFO ] Removed a total of 3155 redundant transitions.
[2021-05-08 02:12:03] [INFO ] Flatten gal took : 235 ms
[2021-05-08 02:12:03] [INFO ] Fuse similar labels procedure discarded/fused a total of 15 labels/synchronizations in 52 ms.
[2021-05-08 02:12:03] [INFO ] Time to serialize gal into /tmp/LTL16315156358148063780.gal : 39 ms
[2021-05-08 02:12:03] [INFO ] Time to serialize properties into /tmp/LTL1131919370776391510.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL16315156358148063780.gal, -t, CGAL, -LTL, /tmp/LTL1131919370776391510.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL16315156358148063780.gal -t CGAL -LTL /tmp/LTL1131919370776391510.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X(("(i14.i3.i0.u551.p1560!=1)")||(("(i14.i3.i0.u551.p1560==1)")&&(X(G("(i33.u1310.p3780==1)")))))))
Formula 0 simplified : !X("(i14.i3.i0.u551.p1560!=1)" | ("(i14.i3.i0.u551.p1560==1)" & XG"(i33.u1310.p3780==1)"))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8467955901459496862
[2021-05-08 02:12:18] [INFO ] Built C files in 46ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8467955901459496862
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8467955901459496862]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8467955901459496862] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin8467955901459496862] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property ASLink-PT-09b-08 finished in 63838 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((X(p0)&&((p1 U p2)||X(F(p1)))))], workingDir=/home/mcc/execution]
Support contains 3 out of 3636 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3636/3636 places, 4385/4385 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 3630 transition count 4367
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 3630 transition count 4367
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 13 place count 3630 transition count 4366
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 16 place count 3627 transition count 4356
Iterating global reduction 1 with 3 rules applied. Total rules applied 19 place count 3627 transition count 4356
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 21 place count 3625 transition count 4354
Iterating global reduction 1 with 2 rules applied. Total rules applied 23 place count 3625 transition count 4354
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 25 place count 3623 transition count 4345
Iterating global reduction 1 with 2 rules applied. Total rules applied 27 place count 3623 transition count 4345
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 28 place count 3622 transition count 4344
Iterating global reduction 1 with 1 rules applied. Total rules applied 29 place count 3622 transition count 4344
Applied a total of 29 rules in 1819 ms. Remains 3622 /3636 variables (removed 14) and now considering 4344/4385 (removed 41) transitions.
// Phase 1: matrix 4344 rows 3622 cols
[2021-05-08 02:12:21] [INFO ] Computed 394 place invariants in 85 ms
[2021-05-08 02:12:22] [INFO ] Implicit Places using invariants in 1559 ms returned [3456, 3467, 3478, 3486, 3494, 3502, 3510, 3521, 3529, 3537, 3548]
Discarding 11 places :
Implicit Place search using SMT only with invariants took 1567 ms to find 11 implicit places.
// Phase 1: matrix 4344 rows 3611 cols
[2021-05-08 02:12:22] [INFO ] Computed 383 place invariants in 83 ms
[2021-05-08 02:12:25] [INFO ] Dead Transitions using invariants and state equation in 2726 ms returned []
Starting structural reductions, iteration 1 : 3611/3636 places, 4344/4385 transitions.
Discarding 13 places :
Symmetric choice reduction at 0 with 13 rule applications. Total rules 13 place count 3598 transition count 4331
Iterating global reduction 0 with 13 rules applied. Total rules applied 26 place count 3598 transition count 4331
Discarding 11 places :
Symmetric choice reduction at 0 with 11 rule applications. Total rules 37 place count 3587 transition count 4320
Iterating global reduction 0 with 11 rules applied. Total rules applied 48 place count 3587 transition count 4320
Discarding 9 places :
Symmetric choice reduction at 0 with 9 rule applications. Total rules 57 place count 3578 transition count 4311
Iterating global reduction 0 with 9 rules applied. Total rules applied 66 place count 3578 transition count 4311
Discarding 4 places :
Symmetric choice reduction at 0 with 4 rule applications. Total rules 70 place count 3574 transition count 4307
Iterating global reduction 0 with 4 rules applied. Total rules applied 74 place count 3574 transition count 4307
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 76 place count 3572 transition count 4305
Iterating global reduction 0 with 2 rules applied. Total rules applied 78 place count 3572 transition count 4305
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 80 place count 3570 transition count 4303
Iterating global reduction 0 with 2 rules applied. Total rules applied 82 place count 3570 transition count 4303
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 84 place count 3568 transition count 4301
Iterating global reduction 0 with 2 rules applied. Total rules applied 86 place count 3568 transition count 4301
Discarding 2 places :
Symmetric choice reduction at 0 with 2 rule applications. Total rules 88 place count 3566 transition count 4299
Iterating global reduction 0 with 2 rules applied. Total rules applied 90 place count 3566 transition count 4299
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 91 place count 3565 transition count 4298
Iterating global reduction 0 with 1 rules applied. Total rules applied 92 place count 3565 transition count 4298
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 93 place count 3564 transition count 4297
Iterating global reduction 0 with 1 rules applied. Total rules applied 94 place count 3564 transition count 4297
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 95 place count 3563 transition count 4296
Iterating global reduction 0 with 1 rules applied. Total rules applied 96 place count 3563 transition count 4296
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 97 place count 3562 transition count 4295
Iterating global reduction 0 with 1 rules applied. Total rules applied 98 place count 3562 transition count 4295
Discarding 1 places :
Symmetric choice reduction at 0 with 1 rule applications. Total rules 99 place count 3561 transition count 4294
Iterating global reduction 0 with 1 rules applied. Total rules applied 100 place count 3561 transition count 4294
Applied a total of 100 rules in 3955 ms. Remains 3561 /3611 variables (removed 50) and now considering 4294/4344 (removed 50) transitions.
// Phase 1: matrix 4294 rows 3561 cols
[2021-05-08 02:12:29] [INFO ] Computed 383 place invariants in 80 ms
[2021-05-08 02:12:31] [INFO ] Implicit Places using invariants in 1610 ms returned []
// Phase 1: matrix 4294 rows 3561 cols
[2021-05-08 02:12:31] [INFO ] Computed 383 place invariants in 87 ms
[2021-05-08 02:12:33] [INFO ] Implicit Places using invariants and state equation in 2264 ms returned []
Implicit Place search using SMT with State Equation took 3878 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 3561/3636 places, 4294/4385 transitions.
Stuttering acceptance computed with spot in 138 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (NOT p0), (NOT p1), (AND (NOT p1) (NOT p2)), true]
Running random walk in product with property : ASLink-PT-09b-09 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}, { cond=(AND (NOT p2) (NOT p1)), acceptance={} source=0 dest: 2}, { cond=(AND (NOT p2) p1), acceptance={} source=0 dest: 3}], [{ cond=(NOT p0), acceptance={} source=1 dest: 4}], [{ cond=(NOT p1), acceptance={} source=2 dest: 2}], [{ cond=(AND (NOT p2) (NOT p1)), acceptance={} source=3 dest: 2}], [{ cond=true, acceptance={} source=4 dest: 4}]], initial=0, aps=[p2:(AND (EQ s832 1) (EQ s1244 1)), p1:(EQ s3460 1), p0:(EQ s3460 0)], nbAcceptance=0, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Stuttering criterion allowed to conclude after 734 steps with 0 reset in 5 ms.
FORMULA ASLink-PT-09b-09 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-09b-09 finished in 14146 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !((F(G(p0)) U G(p1)))], workingDir=/home/mcc/execution]
Support contains 2 out of 3636 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3636/3636 places, 4385/4385 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 679 transitions
Trivial Post-agglo rules discarded 679 transitions
Performed 679 trivial Post agglomeration. Transition count delta: 679
Iterating post reduction 0 with 679 rules applied. Total rules applied 679 place count 3635 transition count 3705
Reduce places removed 679 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 1 with 684 rules applied. Total rules applied 1363 place count 2956 transition count 3700
Reduce places removed 3 places and 0 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 4 rules applied. Total rules applied 1367 place count 2953 transition count 3699
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 1368 place count 2952 transition count 3699
Performed 981 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 981 Pre rules applied. Total rules applied 1368 place count 2952 transition count 2718
Deduced a syphon composed of 981 places in 8 ms
Ensure Unique test removed 93 places
Reduce places removed 1074 places and 0 transitions.
Iterating global reduction 4 with 2055 rules applied. Total rules applied 3423 place count 1878 transition count 2718
Discarding 9 places :
Implicit places reduction removed 9 places
Drop transitions removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 4 with 67 rules applied. Total rules applied 3490 place count 1869 transition count 2660
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 5 with 58 rules applied. Total rules applied 3548 place count 1811 transition count 2660
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 36 Pre rules applied. Total rules applied 3548 place count 1811 transition count 2624
Deduced a syphon composed of 36 places in 7 ms
Ensure Unique test removed 36 places
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 6 with 108 rules applied. Total rules applied 3656 place count 1739 transition count 2624
Performed 35 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 35 Pre rules applied. Total rules applied 3656 place count 1739 transition count 2589
Deduced a syphon composed of 35 places in 7 ms
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 6 with 70 rules applied. Total rules applied 3726 place count 1704 transition count 2589
Discarding 4 places :
Symmetric choice reduction at 6 with 4 rule applications. Total rules 3730 place count 1700 transition count 2573
Iterating global reduction 6 with 4 rules applied. Total rules applied 3734 place count 1700 transition count 2573
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3735 place count 1699 transition count 2565
Iterating global reduction 6 with 1 rules applied. Total rules applied 3736 place count 1699 transition count 2565
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3737 place count 1698 transition count 2557
Iterating global reduction 6 with 1 rules applied. Total rules applied 3738 place count 1698 transition count 2557
Performed 275 Post agglomeration using F-continuation condition.Transition count delta: 275
Deduced a syphon composed of 275 places in 5 ms
Ensure Unique test removed 1 places
Reduce places removed 276 places and 0 transitions.
Iterating global reduction 6 with 551 rules applied. Total rules applied 4289 place count 1422 transition count 2282
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4290 place count 1421 transition count 2281
Ensure Unique test removed 1 places
Iterating global reduction 6 with 2 rules applied. Total rules applied 4292 place count 1420 transition count 2281
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4293 place count 1419 transition count 2280
Iterating global reduction 6 with 1 rules applied. Total rules applied 4294 place count 1419 transition count 2280
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 4296 place count 1419 transition count 2278
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 7 with 1 rules applied. Total rules applied 4297 place count 1418 transition count 2278
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 8 with 2 rules applied. Total rules applied 4299 place count 1417 transition count 2287
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 4300 place count 1416 transition count 2286
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 8 with 1 rules applied. Total rules applied 4301 place count 1415 transition count 2285
Reduce places removed 18 places and 0 transitions.
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 8 with 27 rules applied. Total rules applied 4328 place count 1397 transition count 2276
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 9 with 9 rules applied. Total rules applied 4337 place count 1388 transition count 2276
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 27 Pre rules applied. Total rules applied 4337 place count 1388 transition count 2249
Deduced a syphon composed of 27 places in 5 ms
Ensure Unique test removed 1 places
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 10 with 55 rules applied. Total rules applied 4392 place count 1360 transition count 2249
Discarding 19 places :
Implicit places reduction removed 19 places
Iterating post reduction 10 with 19 rules applied. Total rules applied 4411 place count 1341 transition count 2249
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 11 with 1 Pre rules applied. Total rules applied 4411 place count 1341 transition count 2248
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 11 with 2 rules applied. Total rules applied 4413 place count 1340 transition count 2248
Performed 28 Post agglomeration using F-continuation condition.Transition count delta: 28
Deduced a syphon composed of 28 places in 4 ms
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 11 with 56 rules applied. Total rules applied 4469 place count 1312 transition count 2220
Discarding 18 places :
Symmetric choice reduction at 11 with 18 rule applications. Total rules 4487 place count 1294 transition count 2202
Iterating global reduction 11 with 18 rules applied. Total rules applied 4505 place count 1294 transition count 2202
Discarding 9 places :
Symmetric choice reduction at 11 with 9 rule applications. Total rules 4514 place count 1285 transition count 2193
Iterating global reduction 11 with 9 rules applied. Total rules applied 4523 place count 1285 transition count 2193
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 11 with 9 rules applied. Total rules applied 4532 place count 1285 transition count 2184
Applied a total of 4532 rules in 1207 ms. Remains 1285 /3636 variables (removed 2351) and now considering 2184/4385 (removed 2201) transitions.
// Phase 1: matrix 2184 rows 1285 cols
[2021-05-08 02:12:34] [INFO ] Computed 216 place invariants in 69 ms
[2021-05-08 02:12:35] [INFO ] Implicit Places using invariants in 1076 ms returned [1, 18, 19, 31, 48, 66, 86, 137, 147, 148, 150, 167, 185, 205, 248, 259, 260, 272, 273, 275, 292, 310, 330, 381, 382, 394, 395, 397, 414, 432, 452, 504, 505, 517, 518, 520, 537, 555, 575, 626, 627, 639, 640, 642, 659, 677, 697, 748, 749, 761, 762, 764, 781, 799, 819, 870, 871, 883, 884, 886, 903, 921, 941, 992, 993, 1005, 1006, 1008, 1025, 1043, 1062, 1114, 1115, 1118, 1129, 1130, 1131, 1149, 1151, 1155, 1173, 1174, 1175, 1176, 1189, 1195, 1201, 1207, 1213, 1219, 1225, 1231, 1237, 1243, 1249]
Discarding 95 places :
Implicit Place search using SMT only with invariants took 1080 ms to find 95 implicit places.
[2021-05-08 02:12:35] [INFO ] Redundant transitions in 32 ms returned []
// Phase 1: matrix 2184 rows 1190 cols
[2021-05-08 02:12:35] [INFO ] Computed 121 place invariants in 23 ms
[2021-05-08 02:12:36] [INFO ] Dead Transitions using invariants and state equation in 888 ms returned []
Starting structural reductions, iteration 1 : 1190/3636 places, 2184/4385 transitions.
Drop transitions removed 166 transitions
Trivial Post-agglo rules discarded 166 transitions
Performed 166 trivial Post agglomeration. Transition count delta: 166
Iterating post reduction 0 with 166 rules applied. Total rules applied 166 place count 1190 transition count 2018
Reduce places removed 166 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 1 with 168 rules applied. Total rules applied 334 place count 1024 transition count 2016
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 336 place count 1022 transition count 2016
Performed 43 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 43 Pre rules applied. Total rules applied 336 place count 1022 transition count 1973
Deduced a syphon composed of 43 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 3 with 87 rules applied. Total rules applied 423 place count 978 transition count 1973
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 3 with 12 rules applied. Total rules applied 435 place count 974 transition count 1965
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 443 place count 966 transition count 1965
Discarding 15 places :
Symmetric choice reduction at 5 with 15 rule applications. Total rules 458 place count 951 transition count 1950
Iterating global reduction 5 with 15 rules applied. Total rules applied 473 place count 951 transition count 1950
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 476 place count 951 transition count 1947
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 476 place count 951 transition count 1946
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 478 place count 950 transition count 1946
Discarding 3 places :
Symmetric choice reduction at 6 with 3 rule applications. Total rules 481 place count 947 transition count 1940
Iterating global reduction 6 with 3 rules applied. Total rules applied 484 place count 947 transition count 1940
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 485 place count 946 transition count 1939
Iterating global reduction 6 with 1 rules applied. Total rules applied 486 place count 946 transition count 1939
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 487 place count 945 transition count 1937
Iterating global reduction 6 with 1 rules applied. Total rules applied 488 place count 945 transition count 1937
Performed 71 Post agglomeration using F-continuation condition.Transition count delta: 71
Deduced a syphon composed of 71 places in 3 ms
Reduce places removed 71 places and 0 transitions.
Iterating global reduction 6 with 142 rules applied. Total rules applied 630 place count 874 transition count 1866
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 634 place count 872 transition count 1867
Applied a total of 634 rules in 284 ms. Remains 872 /1190 variables (removed 318) and now considering 1867/2184 (removed 317) transitions.
// Phase 1: matrix 1867 rows 872 cols
[2021-05-08 02:12:37] [INFO ] Computed 116 place invariants in 19 ms
[2021-05-08 02:12:37] [INFO ] Implicit Places using invariants in 507 ms returned [88, 94, 99, 174, 187, 264, 270, 275, 352, 358, 364, 441, 447, 452, 529, 535, 540, 617, 623, 628, 705, 711, 716, 793, 799, 804, 869]
Discarding 27 places :
Implicit Place search using SMT only with invariants took 509 ms to find 27 implicit places.
Starting structural reductions, iteration 2 : 845/3636 places, 1867/4385 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 0 with 1 rules applied. Total rules applied 1 place count 845 transition count 1866
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 844 transition count 1866
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 19 place count 827 transition count 1849
Iterating global reduction 2 with 17 rules applied. Total rules applied 36 place count 827 transition count 1849
Discarding 17 places :
Symmetric choice reduction at 2 with 17 rule applications. Total rules 53 place count 810 transition count 1832
Iterating global reduction 2 with 17 rules applied. Total rules applied 70 place count 810 transition count 1832
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 78 place count 802 transition count 1824
Iterating global reduction 2 with 8 rules applied. Total rules applied 86 place count 802 transition count 1824
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 3 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 104 place count 793 transition count 1815
Applied a total of 104 rules in 148 ms. Remains 793 /845 variables (removed 52) and now considering 1815/1867 (removed 52) transitions.
// Phase 1: matrix 1815 rows 793 cols
[2021-05-08 02:12:37] [INFO ] Computed 89 place invariants in 18 ms
[2021-05-08 02:12:38] [INFO ] Implicit Places using invariants in 511 ms returned []
// Phase 1: matrix 1815 rows 793 cols
[2021-05-08 02:12:38] [INFO ] Computed 89 place invariants in 18 ms
[2021-05-08 02:12:39] [INFO ] Implicit Places using invariants and state equation in 1609 ms returned []
Implicit Place search using SMT with State Equation took 2125 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 793/3636 places, 1815/4385 transitions.
Stuttering acceptance computed with spot in 62 ms :[(NOT p1), (NOT p0)]
Running random walk in product with property : ASLink-PT-09b-10 automaton TGBA [mat=[[{ cond=(NOT p1), acceptance={0} source=0 dest: 0}, { cond=p1, acceptance={} source=0 dest: 0}, { cond=(NOT p1), acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={0} source=1 dest: 1}, { cond=p0, acceptance={} source=1 dest: 1}]], initial=0, aps=[p1:(EQ s171 1), p0:(EQ s331 1)], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, no-univ-branch, stutter-invariant], stateDesc=[null, null][true, true]]
Stuttering criterion allowed to conclude after 80 steps with 0 reset in 1 ms.
FORMULA ASLink-PT-09b-10 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-09b-10 finished in 6371 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X((F(p0)&&(X(p2)||p1))))], workingDir=/home/mcc/execution]
Support contains 3 out of 3636 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3636/3636 places, 4385/4385 transitions.
Discarding 5 places :
Symmetric choice reduction at 0 with 5 rule applications. Total rules 5 place count 3631 transition count 4368
Iterating global reduction 0 with 5 rules applied. Total rules applied 10 place count 3631 transition count 4368
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 11 place count 3631 transition count 4367
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 14 place count 3628 transition count 4357
Iterating global reduction 1 with 3 rules applied. Total rules applied 17 place count 3628 transition count 4357
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 19 place count 3626 transition count 4355
Iterating global reduction 1 with 2 rules applied. Total rules applied 21 place count 3626 transition count 4355
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 23 place count 3624 transition count 4346
Iterating global reduction 1 with 2 rules applied. Total rules applied 25 place count 3624 transition count 4346
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 26 place count 3623 transition count 4345
Iterating global reduction 1 with 1 rules applied. Total rules applied 27 place count 3623 transition count 4345
Applied a total of 27 rules in 1681 ms. Remains 3623 /3636 variables (removed 13) and now considering 4345/4385 (removed 40) transitions.
// Phase 1: matrix 4345 rows 3623 cols
[2021-05-08 02:12:41] [INFO ] Computed 394 place invariants in 82 ms
[2021-05-08 02:12:43] [INFO ] Implicit Places using invariants in 1456 ms returned []
// Phase 1: matrix 4345 rows 3623 cols
[2021-05-08 02:12:43] [INFO ] Computed 394 place invariants in 85 ms
[2021-05-08 02:12:45] [INFO ] Implicit Places using invariants and state equation in 2171 ms returned []
Implicit Place search using SMT with State Equation took 3638 ms to find 0 implicit places.
// Phase 1: matrix 4345 rows 3623 cols
[2021-05-08 02:12:45] [INFO ] Computed 394 place invariants in 84 ms
[2021-05-08 02:12:47] [INFO ] Dead Transitions using invariants and state equation in 2651 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3623/3636 places, 4345/4385 transitions.
Stuttering acceptance computed with spot in 123 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (NOT p0), (NOT p2), true]
Running random walk in product with property : ASLink-PT-09b-11 automaton TGBA [mat=[[{ cond=true, acceptance={} source=0 dest: 1}], [{ cond=(NOT p0), acceptance={} source=1 dest: 2}, { cond=(NOT p1), acceptance={} source=1 dest: 3}], [{ cond=(NOT p0), acceptance={} source=2 dest: 2}], [{ cond=(NOT p2), acceptance={} source=3 dest: 4}], [{ cond=true, acceptance={} source=4 dest: 4}]], initial=0, aps=[p0:(OR (NEQ s504 1) (NEQ s760 1)), p1:(OR (EQ s504 0) (EQ s760 0)), p2:(NEQ s3062 1)], nbAcceptance=0, properties=[trans-labels, explicit-labels, trans-acc, no-univ-branch, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Product exploration explored 100000 steps with 50000 reset in 3054 ms.
Product exploration explored 100000 steps with 50000 reset in 2842 ms.
Knowledge obtained : [p0, p1, p2]
Stuttering acceptance computed with spot in 132 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (NOT p0), (NOT p2), true]
Product exploration explored 100000 steps with 50000 reset in 2836 ms.
Product exploration explored 100000 steps with 50000 reset in 2790 ms.
Applying partial POR strategy [false, false, true, true, true]
Stuttering acceptance computed with spot in 131 ms :[(OR (NOT p0) (AND (NOT p1) (NOT p2))), (OR (NOT p0) (AND (NOT p1) (NOT p2))), (NOT p0), (NOT p2), true]
Support contains 3 out of 3623 places. Attempting structural reductions.
Property had overlarge support with respect to TGBA, discarding it for now.
Starting structural reductions, iteration 0 : 3623/3623 places, 4345/4345 transitions.
Performed 659 Post agglomeration using F-continuation condition.Transition count delta: 0
Iterating post reduction 0 with 659 rules applied. Total rules applied 659 place count 3623 transition count 4345
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 660 place count 3623 transition count 4344
Performed 786 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 786 Pre rules applied. Total rules applied 660 place count 3623 transition count 5942
Deduced a syphon composed of 1445 places in 22 ms
Iterating global reduction 2 with 786 rules applied. Total rules applied 1446 place count 3623 transition count 5942
Discarding 322 places :
Symmetric choice reduction at 2 with 322 rule applications. Total rules 1768 place count 3301 transition count 5485
Deduced a syphon composed of 1123 places in 18 ms
Iterating global reduction 2 with 322 rules applied. Total rules applied 2090 place count 3301 transition count 5485
Performed 496 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 1619 places in 11 ms
Iterating global reduction 2 with 496 rules applied. Total rules applied 2586 place count 3301 transition count 5486
Discarding 247 places :
Symmetric choice reduction at 2 with 247 rule applications. Total rules 2833 place count 3054 transition count 5237
Deduced a syphon composed of 1373 places in 11 ms
Iterating global reduction 2 with 247 rules applied. Total rules applied 3080 place count 3054 transition count 5237
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 3081 place count 3053 transition count 5235
Deduced a syphon composed of 1373 places in 11 ms
Iterating global reduction 2 with 1 rules applied. Total rules applied 3082 place count 3053 transition count 5235
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 3084 place count 3053 transition count 5233
Performed 47 Post agglomeration using F-continuation condition.Transition count delta: -211
Deduced a syphon composed of 1420 places in 12 ms
Iterating global reduction 3 with 47 rules applied. Total rules applied 3131 place count 3053 transition count 5444
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 3140 place count 3044 transition count 5426
Deduced a syphon composed of 1411 places in 11 ms
Iterating global reduction 3 with 9 rules applied. Total rules applied 3149 place count 3044 transition count 5426
Performed 9(complex) Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Deduced a syphon composed of 1420 places in 12 ms
Iterating global reduction 3 with 9 rules applied. Total rules applied 3158 place count 3044 transition count 5508
Discarding 9 places :
Symmetric choice reduction at 3 with 9 rule applications. Total rules 3167 place count 3035 transition count 5458
Deduced a syphon composed of 1411 places in 12 ms
Iterating global reduction 3 with 9 rules applied. Total rules applied 3176 place count 3035 transition count 5458
Deduced a syphon composed of 1411 places in 12 ms
Applied a total of 3176 rules in 1346 ms. Remains 3035 /3623 variables (removed 588) and now considering 5458/4345 (removed -1113) transitions.
[2021-05-08 02:13:01] [INFO ] Redundant transitions in 199 ms returned []
// Phase 1: matrix 5458 rows 3035 cols
[2021-05-08 02:13:01] [INFO ] Computed 394 place invariants in 189 ms
[2021-05-08 02:13:04] [INFO ] Dead Transitions using invariants and state equation in 3205 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3035/3623 places, 5458/4345 transitions.
Product exploration explored 100000 steps with 50000 reset in 2737 ms.
Product exploration explored 100000 steps with 50000 reset in 2773 ms.
[2021-05-08 02:13:10] [INFO ] Flatten gal took : 137 ms
[2021-05-08 02:13:10] [INFO ] Flatten gal took : 166 ms
[2021-05-08 02:13:10] [INFO ] Time to serialize gal into /tmp/LTL1701214411091561074.gal : 13 ms
[2021-05-08 02:13:10] [INFO ] Time to serialize properties into /tmp/LTL11985719681176149684.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL1701214411091561074.gal, -t, CGAL, -LTL, /tmp/LTL11985719681176149684.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL1701214411091561074.gal -t CGAL -LTL /tmp/LTL11985719681176149684.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 1 LTL properties
Checking formula 0 : !((X((F("((p547!=1)||(p826!=1))"))&&(("((p547==0)||(p826==0))")||(X("(p3363!=1)"))))))
Formula 0 simplified : !X(F"((p547!=1)||(p826!=1))" & ("((p547==0)||(p826==0))" | X"(p3363!=1)"))
Detected timeout of ITS tools.
[2021-05-08 02:13:25] [INFO ] Flatten gal took : 130 ms
[2021-05-08 02:13:25] [INFO ] Applying decomposition
[2021-05-08 02:13:26] [INFO ] Flatten gal took : 135 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/graph11075475868597478646.txt, -o, /tmp/graph11075475868597478646.bin, -w, /tmp/graph11075475868597478646.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/graph11075475868597478646.bin, -l, -1, -v, -w, /tmp/graph11075475868597478646.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:13:26] [INFO ] Decomposing Gal with order
[2021-05-08 02:13:26] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:13:27] [INFO ] Removed a total of 3167 redundant transitions.
[2021-05-08 02:13:27] [INFO ] Flatten gal took : 221 ms
[2021-05-08 02:13:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 17 labels/synchronizations in 46 ms.
[2021-05-08 02:13:27] [INFO ] Time to serialize gal into /tmp/LTL12150951471515339792.gal : 41 ms
[2021-05-08 02:13:27] [INFO ] Time to serialize properties into /tmp/LTL1619211960961965804.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTL12150951471515339792.gal, -t, CGAL, -LTL, /tmp/LTL1619211960961965804.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTL12150951471515339792.gal -t CGAL -LTL /tmp/LTL1619211960961965804.ltl -c -stutter-deadlock
Read 1 LTL properties
Checking formula 0 : !((X((F("((i9.i1.i0.u190.p547!=1)||(i9.i1.i0.u291.p826!=1))"))&&(("((i9.i1.i0.u190.p547==0)||(i9.i1.i0.u291.p826==0))")||(X("(i37.i5.i1.u1179.p3363!=1)"))))))
Formula 0 simplified : !X(F"((i9.i1.i0.u190.p547!=1)||(i9.i1.i0.u291.p826!=1))" & ("((i9.i1.i0.u190.p547==0)||(i9.i1.i0.u291.p826==0))" | X"(i37.i5.i1.u1179.p3363!=1)"))
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin17473428653289533583
[2021-05-08 02:13:42] [INFO ] Built C files in 49ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin17473428653289533583
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin17473428653289533583]
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin17473428653289533583] killed by timeout after 1 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin17473428653289533583] killed by timeout after 1 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Treatment of property ASLink-PT-09b-11 finished in 63436 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(X(X((p0&&X((p0 U (p1||G(p0))))))))], workingDir=/home/mcc/execution]
Support contains 3 out of 3636 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3636/3636 places, 4385/4385 transitions.
Discarding 6 places :
Symmetric choice reduction at 0 with 6 rule applications. Total rules 6 place count 3630 transition count 4367
Iterating global reduction 0 with 6 rules applied. Total rules applied 12 place count 3630 transition count 4367
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 13 place count 3630 transition count 4366
Discarding 3 places :
Symmetric choice reduction at 1 with 3 rule applications. Total rules 16 place count 3627 transition count 4356
Iterating global reduction 1 with 3 rules applied. Total rules applied 19 place count 3627 transition count 4356
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 21 place count 3625 transition count 4354
Iterating global reduction 1 with 2 rules applied. Total rules applied 23 place count 3625 transition count 4354
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 25 place count 3623 transition count 4345
Iterating global reduction 1 with 2 rules applied. Total rules applied 27 place count 3623 transition count 4345
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 28 place count 3622 transition count 4344
Iterating global reduction 1 with 1 rules applied. Total rules applied 29 place count 3622 transition count 4344
Applied a total of 29 rules in 1705 ms. Remains 3622 /3636 variables (removed 14) and now considering 4344/4385 (removed 41) transitions.
// Phase 1: matrix 4344 rows 3622 cols
[2021-05-08 02:13:45] [INFO ] Computed 394 place invariants in 84 ms
[2021-05-08 02:13:46] [INFO ] Implicit Places using invariants in 1584 ms returned []
// Phase 1: matrix 4344 rows 3622 cols
[2021-05-08 02:13:46] [INFO ] Computed 394 place invariants in 85 ms
[2021-05-08 02:13:49] [INFO ] Implicit Places using invariants and state equation in 2419 ms returned []
Implicit Place search using SMT with State Equation took 4006 ms to find 0 implicit places.
// Phase 1: matrix 4344 rows 3622 cols
[2021-05-08 02:13:49] [INFO ] Computed 394 place invariants in 83 ms
[2021-05-08 02:13:51] [INFO ] Dead Transitions using invariants and state equation in 2711 ms returned []
Finished structural reductions, in 1 iterations. Remains : 3622/3636 places, 4344/4385 transitions.
Stuttering acceptance computed with spot in 118 ms :[true, (NOT p0), (AND (NOT p0) (NOT p1)), (NOT p0), (NOT p0)]
Running random walk in product with property : ASLink-PT-09b-13 automaton TGBA [mat=[[{ cond=true, acceptance={0} source=0 dest: 0}], [{ cond=(NOT p0), acceptance={} source=1 dest: 0}, { cond=p0, acceptance={} source=1 dest: 2}], [{ cond=(AND (NOT p0) (NOT p1)), acceptance={} source=2 dest: 0}, { cond=(AND p0 (NOT p1)), acceptance={} source=2 dest: 2}], [{ cond=true, acceptance={} source=3 dest: 4}], [{ cond=true, acceptance={} source=4 dest: 1}]], initial=3, aps=[p0:(NEQ s3436 1), p1:(AND (NEQ s1020 0) (NEQ s1313 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, deterministic, no-univ-branch, unambiguous, semi-deterministic, terminal, very-weak, weak, inherently-weak], stateDesc=[null, null, null, null, null][false, false, false, false, false]]
Entered a terminal (fully accepting) state of product in 4846 steps with 8 reset in 31 ms.
FORMULA ASLink-PT-09b-13 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-09b-13 finished in 8633 ms.
Running Spot : CommandLine [args=[/home/mcc/BenchKit/bin//..//ltl2tgba, --hoaf=tv, -f, !(F(G(p0)))], workingDir=/home/mcc/execution]
Support contains 2 out of 3636 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3636/3636 places, 4385/4385 transitions.
Reduce places removed 1 places and 1 transitions.
Drop transitions removed 681 transitions
Trivial Post-agglo rules discarded 681 transitions
Performed 681 trivial Post agglomeration. Transition count delta: 681
Iterating post reduction 0 with 681 rules applied. Total rules applied 681 place count 3635 transition count 3703
Reduce places removed 681 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 1 with 686 rules applied. Total rules applied 1367 place count 2954 transition count 3698
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 2 with 3 rules applied. Total rules applied 1370 place count 2951 transition count 3698
Performed 980 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 980 Pre rules applied. Total rules applied 1370 place count 2951 transition count 2718
Deduced a syphon composed of 980 places in 7 ms
Ensure Unique test removed 94 places
Reduce places removed 1074 places and 0 transitions.
Iterating global reduction 3 with 2054 rules applied. Total rules applied 3424 place count 1877 transition count 2718
Discarding 9 places :
Implicit places reduction removed 9 places
Drop transitions removed 58 transitions
Trivial Post-agglo rules discarded 58 transitions
Performed 58 trivial Post agglomeration. Transition count delta: 58
Iterating post reduction 3 with 67 rules applied. Total rules applied 3491 place count 1868 transition count 2660
Reduce places removed 58 places and 0 transitions.
Iterating post reduction 4 with 58 rules applied. Total rules applied 3549 place count 1810 transition count 2660
Performed 37 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 37 Pre rules applied. Total rules applied 3549 place count 1810 transition count 2623
Deduced a syphon composed of 37 places in 6 ms
Ensure Unique test removed 37 places
Reduce places removed 74 places and 0 transitions.
Iterating global reduction 5 with 111 rules applied. Total rules applied 3660 place count 1736 transition count 2623
Performed 36 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 36 Pre rules applied. Total rules applied 3660 place count 1736 transition count 2587
Deduced a syphon composed of 36 places in 6 ms
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 5 with 72 rules applied. Total rules applied 3732 place count 1700 transition count 2587
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 3735 place count 1697 transition count 2577
Iterating global reduction 5 with 3 rules applied. Total rules applied 3738 place count 1697 transition count 2577
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 3739 place count 1696 transition count 2569
Iterating global reduction 5 with 1 rules applied. Total rules applied 3740 place count 1696 transition count 2569
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 3741 place count 1695 transition count 2561
Iterating global reduction 5 with 1 rules applied. Total rules applied 3742 place count 1695 transition count 2561
Performed 274 Post agglomeration using F-continuation condition.Transition count delta: 274
Deduced a syphon composed of 274 places in 5 ms
Reduce places removed 274 places and 0 transitions.
Iterating global reduction 5 with 548 rules applied. Total rules applied 4290 place count 1421 transition count 2287
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 4291 place count 1420 transition count 2286
Ensure Unique test removed 1 places
Iterating global reduction 5 with 2 rules applied. Total rules applied 4293 place count 1419 transition count 2286
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 4294 place count 1418 transition count 2285
Iterating global reduction 5 with 1 rules applied. Total rules applied 4295 place count 1418 transition count 2285
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 5 with 2 rules applied. Total rules applied 4297 place count 1418 transition count 2283
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 4298 place count 1417 transition count 2283
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 4300 place count 1416 transition count 2292
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 4301 place count 1415 transition count 2291
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 1 rules applied. Total rules applied 4302 place count 1414 transition count 2290
Reduce places removed 18 places and 0 transitions.
Drop transitions removed 9 transitions
Trivial Post-agglo rules discarded 9 transitions
Performed 9 trivial Post agglomeration. Transition count delta: 9
Iterating post reduction 7 with 27 rules applied. Total rules applied 4329 place count 1396 transition count 2281
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 8 with 9 rules applied. Total rules applied 4338 place count 1387 transition count 2281
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 9 with 27 Pre rules applied. Total rules applied 4338 place count 1387 transition count 2254
Deduced a syphon composed of 27 places in 5 ms
Ensure Unique test removed 1 places
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 9 with 55 rules applied. Total rules applied 4393 place count 1359 transition count 2254
Discarding 18 places :
Implicit places reduction removed 18 places
Iterating post reduction 9 with 18 rules applied. Total rules applied 4411 place count 1341 transition count 2254
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 10 with 1 Pre rules applied. Total rules applied 4411 place count 1341 transition count 2253
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 10 with 2 rules applied. Total rules applied 4413 place count 1340 transition count 2253
Performed 27 Post agglomeration using F-continuation condition.Transition count delta: 27
Deduced a syphon composed of 27 places in 4 ms
Reduce places removed 27 places and 0 transitions.
Iterating global reduction 10 with 54 rules applied. Total rules applied 4467 place count 1313 transition count 2226
Discarding 17 places :
Symmetric choice reduction at 10 with 17 rule applications. Total rules 4484 place count 1296 transition count 2209
Iterating global reduction 10 with 17 rules applied. Total rules applied 4501 place count 1296 transition count 2209
Discarding 9 places :
Symmetric choice reduction at 10 with 9 rule applications. Total rules 4510 place count 1287 transition count 2200
Iterating global reduction 10 with 9 rules applied. Total rules applied 4519 place count 1287 transition count 2200
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 10 with 9 rules applied. Total rules applied 4528 place count 1287 transition count 2191
Applied a total of 4528 rules in 1026 ms. Remains 1287 /3636 variables (removed 2349) and now considering 2191/4385 (removed 2194) transitions.
// Phase 1: matrix 2191 rows 1287 cols
[2021-05-08 02:13:53] [INFO ] Computed 216 place invariants in 38 ms
[2021-05-08 02:13:54] [INFO ] Implicit Places using invariants in 1008 ms returned [1, 18, 19, 31, 48, 66, 86, 137, 147, 148, 150, 167, 185, 205, 256, 257, 269, 270, 272, 289, 307, 327, 378, 379, 391, 392, 413, 431, 451, 501, 506, 507, 519, 520, 522, 539, 557, 577, 628, 629, 641, 642, 644, 661, 679, 699, 750, 751, 763, 764, 766, 783, 801, 821, 872, 873, 885, 886, 888, 905, 923, 943, 994, 995, 1007, 1008, 1010, 1027, 1045, 1064, 1116, 1117, 1120, 1131, 1132, 1133, 1151, 1153, 1157, 1175, 1176, 1177, 1178, 1191, 1197, 1203, 1209, 1215, 1221, 1227, 1233, 1239, 1245, 1251]
Discarding 94 places :
Implicit Place search using SMT only with invariants took 1010 ms to find 94 implicit places.
[2021-05-08 02:13:54] [INFO ] Redundant transitions in 31 ms returned []
// Phase 1: matrix 2191 rows 1193 cols
[2021-05-08 02:13:54] [INFO ] Computed 122 place invariants in 23 ms
[2021-05-08 02:13:55] [INFO ] Dead Transitions using invariants and state equation in 1017 ms returned []
Starting structural reductions, iteration 1 : 1193/3636 places, 2191/4385 transitions.
Drop transitions removed 161 transitions
Trivial Post-agglo rules discarded 161 transitions
Performed 161 trivial Post agglomeration. Transition count delta: 161
Iterating post reduction 0 with 161 rules applied. Total rules applied 161 place count 1193 transition count 2030
Reduce places removed 161 places and 0 transitions.
Iterating post reduction 1 with 161 rules applied. Total rules applied 322 place count 1032 transition count 2030
Performed 45 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 45 Pre rules applied. Total rules applied 322 place count 1032 transition count 1985
Deduced a syphon composed of 45 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 46 places and 0 transitions.
Iterating global reduction 2 with 91 rules applied. Total rules applied 413 place count 986 transition count 1985
Discarding 4 places :
Implicit places reduction removed 4 places
Drop transitions removed 8 transitions
Trivial Post-agglo rules discarded 8 transitions
Performed 8 trivial Post agglomeration. Transition count delta: 8
Iterating post reduction 2 with 12 rules applied. Total rules applied 425 place count 982 transition count 1977
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 433 place count 974 transition count 1977
Discarding 15 places :
Symmetric choice reduction at 4 with 15 rule applications. Total rules 448 place count 959 transition count 1962
Iterating global reduction 4 with 15 rules applied. Total rules applied 463 place count 959 transition count 1962
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 466 place count 959 transition count 1959
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 466 place count 959 transition count 1958
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 468 place count 958 transition count 1958
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 471 place count 955 transition count 1952
Iterating global reduction 5 with 3 rules applied. Total rules applied 474 place count 955 transition count 1952
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 475 place count 954 transition count 1951
Iterating global reduction 5 with 1 rules applied. Total rules applied 476 place count 954 transition count 1951
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 477 place count 953 transition count 1949
Iterating global reduction 5 with 1 rules applied. Total rules applied 478 place count 953 transition count 1949
Performed 72 Post agglomeration using F-continuation condition.Transition count delta: 72
Deduced a syphon composed of 72 places in 3 ms
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 5 with 144 rules applied. Total rules applied 622 place count 881 transition count 1877
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 623 place count 880 transition count 1875
Iterating global reduction 5 with 1 rules applied. Total rules applied 624 place count 880 transition count 1875
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 3 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 5 with 4 rules applied. Total rules applied 628 place count 878 transition count 1876
Applied a total of 628 rules in 254 ms. Remains 878 /1193 variables (removed 315) and now considering 1876/2191 (removed 315) transitions.
// Phase 1: matrix 1876 rows 878 cols
[2021-05-08 02:13:55] [INFO ] Computed 117 place invariants in 20 ms
[2021-05-08 02:13:55] [INFO ] Implicit Places using invariants in 576 ms returned [88, 94, 99, 174, 180, 185, 262, 268, 273, 359, 365, 370, 447, 453, 458, 535, 541, 546, 623, 629, 634, 711, 717, 722, 799, 805, 810, 875]
Discarding 28 places :
Implicit Place search using SMT only with invariants took 578 ms to find 28 implicit places.
Starting structural reductions, iteration 2 : 850/3636 places, 1876/4385 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 0 with 1 rules applied. Total rules applied 1 place count 850 transition count 1875
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 849 transition count 1875
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 20 place count 831 transition count 1857
Iterating global reduction 2 with 18 rules applied. Total rules applied 38 place count 831 transition count 1857
Discarding 18 places :
Symmetric choice reduction at 2 with 18 rule applications. Total rules 56 place count 813 transition count 1839
Iterating global reduction 2 with 18 rules applied. Total rules applied 74 place count 813 transition count 1839
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 83 place count 804 transition count 1830
Iterating global reduction 2 with 9 rules applied. Total rules applied 92 place count 804 transition count 1830
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Deduced a syphon composed of 9 places in 3 ms
Reduce places removed 9 places and 0 transitions.
Iterating global reduction 2 with 18 rules applied. Total rules applied 110 place count 795 transition count 1821
Applied a total of 110 rules in 134 ms. Remains 795 /850 variables (removed 55) and now considering 1821/1876 (removed 55) transitions.
// Phase 1: matrix 1821 rows 795 cols
[2021-05-08 02:13:56] [INFO ] Computed 89 place invariants in 22 ms
[2021-05-08 02:13:56] [INFO ] Implicit Places using invariants in 499 ms returned []
// Phase 1: matrix 1821 rows 795 cols
[2021-05-08 02:13:56] [INFO ] Computed 89 place invariants in 18 ms
[2021-05-08 02:13:58] [INFO ] Implicit Places using invariants and state equation in 1878 ms returned []
Implicit Place search using SMT with State Equation took 2379 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 795/3636 places, 1821/4385 transitions.
Stuttering acceptance computed with spot in 25 ms :[(NOT p0)]
Running random walk in product with property : ASLink-PT-09b-14 automaton TGBA [mat=[[{ cond=(NOT p0), acceptance={0} source=0 dest: 0}, { cond=p0, acceptance={} source=0 dest: 0}]], initial=0, aps=[p0:(AND (EQ s258 1) (EQ s317 1))], nbAcceptance=1, properties=[trans-labels, explicit-labels, trans-acc, complete, deterministic, no-univ-branch, unambiguous, semi-deterministic, stutter-invariant], stateDesc=[null][true]]
Stuttering criterion allowed to conclude after 79 steps with 0 reset in 0 ms.
FORMULA ASLink-PT-09b-14 FALSE TECHNIQUES STUTTER_TEST
Treatment of property ASLink-PT-09b-14 finished in 6491 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin3218328712960247080
[2021-05-08 02:13:58] [INFO ] Too many transitions (4385) to apply POR reductions. Disabling POR matrices.
[2021-05-08 02:13:58] [INFO ] Built C files in 43ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin3218328712960247080
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3218328712960247080]
[2021-05-08 02:13:58] [INFO ] Applying decomposition
[2021-05-08 02:13:58] [INFO ] Flatten gal took : 124 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/graph14444630461610419260.txt, -o, /tmp/graph14444630461610419260.bin, -w, /tmp/graph14444630461610419260.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/graph14444630461610419260.bin, -l, -1, -v, -w, /tmp/graph14444630461610419260.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 02:13:59] [INFO ] Decomposing Gal with order
[2021-05-08 02:13:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:13:59] [INFO ] Removed a total of 3224 redundant transitions.
[2021-05-08 02:13:59] [INFO ] Flatten gal took : 188 ms
[2021-05-08 02:13:59] [INFO ] Fuse similar labels procedure discarded/fused a total of 26 labels/synchronizations in 52 ms.
[2021-05-08 02:13:59] [INFO ] Time to serialize gal into /tmp/LTLFireability2935742195459844294.gal : 24 ms
[2021-05-08 02:13:59] [INFO ] Time to serialize properties into /tmp/LTLFireability12542135080796071818.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability2935742195459844294.gal, -t, CGAL, -LTL, /tmp/LTLFireability12542135080796071818.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability2935742195459844294.gal -t CGAL -LTL /tmp/LTLFireability12542135080796071818.ltl -c -stutter-deadlock
Read 3 LTL properties
Checking formula 0 : !((X(("((i10.i2.i2.u142.p401==0)||(i13.i4.i0.u432.p1228==0))")||(X((!("((i35.u1002.p2874==0)||(i35.u1160.p3335==0))"))&&(G("((i10.i2.i2.u142.p401==1)||(i13.i4.i0.u432.p1228==0))")))))))
Formula 0 simplified : !X("((i10.i2.i2.u142.p401==0)||(i13.i4.i0.u432.p1228==0))" | X(!"((i35.u1002.p2874==0)||(i35.u1160.p3335==0))" & G"((i10.i2.i2.u142.p401==1)||(i13.i4.i0.u432.p1228==0))"))
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3218328712960247080] killed by timeout after 30 SECONDS
java.lang.RuntimeException: Compilation or link of executable timed out.java.util.concurrent.TimeoutException: Subprocess running CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202104292328/bin/include/, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/tmp/ltsmin3218328712960247080] killed by timeout after 30 SECONDS
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:79)
at java.base/java.lang.Thread.run(Thread.java:834)
Detected timeout of ITS tools.
[2021-05-08 02:35:39] [INFO ] Applying decomposition
[2021-05-08 02:35:39] [INFO ] Flatten gal took : 124 ms
[2021-05-08 02:35:39] [INFO ] Decomposing Gal with order
[2021-05-08 02:35:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 02:35:39] [INFO ] Removed a total of 2957 redundant transitions.
[2021-05-08 02:35:39] [INFO ] Flatten gal took : 208 ms
[2021-05-08 02:35:40] [INFO ] Fuse similar labels procedure discarded/fused a total of 5000 labels/synchronizations in 119 ms.
[2021-05-08 02:35:44] [INFO ] Time to serialize gal into /tmp/LTLFireability13533374237178089907.gal : 4801 ms
[2021-05-08 02:35:44] [INFO ] Time to serialize properties into /tmp/LTLFireability11861348424833819014.ltl : 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability13533374237178089907.gal, -t, CGAL, -LTL, /tmp/LTLFireability11861348424833819014.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability13533374237178089907.gal -t CGAL -LTL /tmp/LTLFireability11861348424833819014.ltl -c -stutter-deadlock
Read 3 LTL properties
Checking formula 0 : !((X(("((i0.i0.i0.i0.i0.i0.i0.i0.i0.i1.i0.i0.i0.i0.i0.i1.u51.p401==0)||(i0.i0.i0.i0.i0.i0.i0.i1.i0.i0.i0.u152.p1228==0))")||(X((!("((i0.i0.i1.i0.i0.i0.i0.i0.i0.i0.u352.p2874==0)||(i0.i1.i0.i0.i0.i0.i0.i0.u401.p3335==0))"))&&(G("((i0.i0.i0.i0.i0.i0.i0.i0.i0.i1.i0.i0.i0.i0.i0.i1.u51.p401==1)||(i0.i0.i0.i0.i0.i0.i0.i1.i0.i0.i0.u152.p1228==0))")))))))
Formula 0 simplified : !X("((i0.i0.i0.i0.i0.i0.i0.i0.i0.i1.i0.i0.i0.i0.i0.i1.u51.p401==0)||(i0.i0.i0.i0.i0.i0.i0.i1.i0.i0.i0.u152.p1228==0))" | X(!"((i0.i0.i1.i0.i0.i0.i0.i0.i0.i0.u352.p2874==0)||(i0.i1.i0.i0.i0.i0.i0.i0.u401.p3335==0))" & G"((i0.i0.i0.i0.i0.i0.i0.i0.i0.i1.i0.i0.i0.i0.i0.i1.u51.p401==1)||(i0.i0.i0.i0.i0.i0.i0.i1.i0.i0.i0.u152.p1228==0))"))
Detected timeout of ITS tools.
[2021-05-08 02:57:30] [INFO ] Flatten gal took : 577 ms
[2021-05-08 02:57:36] [INFO ] Input system was already deterministic with 4385 transitions.
[2021-05-08 02:57:37] [INFO ] Transformed 3636 places.
[2021-05-08 02:57:37] [INFO ] Transformed 4385 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-08 02:58:07] [INFO ] Time to serialize gal into /tmp/LTLFireability7235404373013538927.gal : 16 ms
[2021-05-08 02:58:07] [INFO ] Time to serialize properties into /tmp/LTLFireability3920907864484621448.ltl : 10 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-ltl-linux64, --gc-threshold, 2000000, -i, /tmp/LTLFireability7235404373013538927.gal, -t, CGAL, -LTL, /tmp/LTLFireability3920907864484621448.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-ltl-linux64 --gc-threshold 2000000 -i /tmp/LTLFireability7235404373013538927.gal -t CGAL -LTL /tmp/LTLFireability3920907864484621448.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 3 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((X(("((p401==0)||(p1228==0))")||(X((!("((p2874==0)||(p3335==0))"))&&(G("((p401==1)||(p1228==0))")))))))
Formula 0 simplified : !X("((p401==0)||(p1228==0))" | X(!"((p2874==0)||(p3335==0))" & G"((p401==1)||(p1228==0))"))
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
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -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-09b"
export BK_EXAMINATION="LTLFireability"
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-09b, examination is LTLFireability"
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-162037989600146"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-09b.tgz
mv ASLink-PT-09b execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;