About the Execution of ITS-LoLa for ASLink-PT-07b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15741.180 | 3600000.00 | 6235270.00 | 10443.80 | FTFFFTFTTFF?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/mcc2020-input.r166-smll-158987787200118.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-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 itslola
Input is ASLink-PT-07b, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787200118
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.1K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 24 05:37 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-07b-ReachabilityCardinality-00
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-01
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-02
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-03
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-04
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-05
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-06
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-07
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-08
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-09
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-10
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-11
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-12
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-13
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-14
FORMULA_NAME ASLink-PT-07b-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1591253847353
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 06:57:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 06:57:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 06:57:30] [INFO ] Load time of PNML (sax parser for PT used): 381 ms
[2020-06-04 06:57:30] [INFO ] Transformed 3222 places.
[2020-06-04 06:57:30] [INFO ] Transformed 3986 transitions.
[2020-06-04 06:57:30] [INFO ] Found NUPN structural information;
[2020-06-04 06:57:30] [INFO ] Parsed PT model containing 3222 places and 3986 transitions in 507 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 193 ms.
Working with output stream class java.io.PrintStream
FORMULA ASLink-PT-07b-ReachabilityCardinality-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-07b-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-07b-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-07b-ReachabilityCardinality-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 15 resets, run finished after 146 ms. (steps per millisecond=68 ) properties seen :[0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0]
FORMULA ASLink-PT-07b-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-07b-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-07b-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 48 ms. (steps per millisecond=208 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 32 ms. (steps per millisecond=312 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10000 steps, including 1 resets, run finished after 26 ms. (steps per millisecond=384 ) properties seen :[0, 1, 0, 0, 0, 0, 0, 0, 0]
FORMULA ASLink-PT-07b-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 23 ms. (steps per millisecond=434 ) properties seen :[0, 0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 50 ms. (steps per millisecond=200 ) properties seen :[0, 0, 0, 1, 0, 0, 0, 0]
FORMULA ASLink-PT-07b-ReachabilityCardinality-06 FALSE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 29 ms. (steps per millisecond=344 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 24 ms. (steps per millisecond=416 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 24 ms. (steps per millisecond=416 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 1 resets, run finished after 18 ms. (steps per millisecond=555 ) properties seen :[0, 0, 0, 0, 0, 0, 0]
// Phase 1: matrix 3986 rows 3222 cols
[2020-06-04 06:57:31] [INFO ] Computed 316 place invariants in 435 ms
[2020-06-04 06:57:32] [INFO ] [Real]Absence check using 75 positive place invariants in 299 ms returned sat
[2020-06-04 06:57:33] [INFO ] [Real]Absence check using 75 positive and 241 generalized place invariants in 613 ms returned sat
[2020-06-04 06:57:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:57:36] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 06:57:36] [INFO ] [Real]Absence check using state equation in 3242 ms returned (error "Failed to check-sat")
[2020-06-04 06:57:37] [INFO ] [Real]Absence check using 75 positive place invariants in 270 ms returned sat
[2020-06-04 06:57:37] [INFO ] [Real]Absence check using 75 positive and 241 generalized place invariants in 607 ms returned sat
[2020-06-04 06:57:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:57:41] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 06:57:41] [INFO ] [Real]Absence check using state equation in 3488 ms returned (error "Failed to check-sat")
[2020-06-04 06:57:42] [INFO ] [Real]Absence check using 75 positive place invariants in 297 ms returned sat
[2020-06-04 06:57:42] [INFO ] [Real]Absence check using 75 positive and 241 generalized place invariants in 565 ms returned sat
[2020-06-04 06:57:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:57:46] [INFO ] [Real]Absence check using state equation in 3508 ms returned (error "Solver has unexpectedly terminated")
[2020-06-04 06:57:47] [INFO ] [Real]Absence check using 75 positive place invariants in 271 ms returned sat
[2020-06-04 06:57:48] [INFO ] [Real]Absence check using 75 positive and 241 generalized place invariants in 561 ms returned sat
[2020-06-04 06:57:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:57:51] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 06:57:51] [INFO ] [Real]Absence check using state equation in 3352 ms returned (error "Failed to check-sat")
[2020-06-04 06:57:52] [INFO ] [Real]Absence check using 75 positive place invariants in 268 ms returned sat
[2020-06-04 06:57:52] [INFO ] [Real]Absence check using 75 positive and 241 generalized place invariants in 577 ms returned sat
[2020-06-04 06:57:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:57:56] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 06:57:56] [INFO ] [Real]Absence check using state equation in 3548 ms returned (error "Failed to check-sat")
[2020-06-04 06:57:57] [INFO ] [Real]Absence check using 75 positive place invariants in 344 ms returned sat
[2020-06-04 06:57:58] [INFO ] [Real]Absence check using 75 positive and 241 generalized place invariants in 975 ms returned sat
[2020-06-04 06:57:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:58:01] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 06:58:01] [INFO ] [Real]Absence check using state equation in 3003 ms returned (error "Failed to check-sat")
[2020-06-04 06:58:02] [INFO ] [Real]Absence check using 75 positive place invariants in 275 ms returned sat
[2020-06-04 06:58:02] [INFO ] [Real]Absence check using 75 positive and 241 generalized place invariants in 583 ms returned sat
[2020-06-04 06:58:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:58:06] [INFO ] [Real]Absence check using state equation in 3546 ms returned (error "Solver has unexpectedly terminated")
Support contains 21 out of 3222 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 3222/3222 places, 3986/3986 transitions.
Performed 736 Post agglomeration using F-continuation condition.Transition count delta: 736
Iterating post reduction 0 with 736 rules applied. Total rules applied 736 place count 3222 transition count 3250
Reduce places removed 736 places and 0 transitions.
Ensure Unique test removed 25 transitions
Reduce isomorphic transitions removed 25 transitions.
Performed 9 Post agglomeration using F-continuation condition.Transition count delta: 9
Iterating post reduction 1 with 770 rules applied. Total rules applied 1506 place count 2486 transition count 3216
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 1515 place count 2477 transition count 3216
Performed 743 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 743 Pre rules applied. Total rules applied 1515 place count 2477 transition count 2473
Deduced a syphon composed of 743 places in 17 ms
Ensure Unique test removed 65 places
Reduce places removed 808 places and 0 transitions.
Iterating global reduction 3 with 1551 rules applied. Total rules applied 3066 place count 1669 transition count 2473
Discarding 12 places :
Implicit places reduction removed 12 places
Performed 43 Post agglomeration using F-continuation condition.Transition count delta: 43
Iterating post reduction 3 with 55 rules applied. Total rules applied 3121 place count 1657 transition count 2430
Reduce places removed 43 places and 0 transitions.
Iterating post reduction 4 with 43 rules applied. Total rules applied 3164 place count 1614 transition count 2430
Performed 25 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 25 Pre rules applied. Total rules applied 3164 place count 1614 transition count 2405
Deduced a syphon composed of 25 places in 29 ms
Ensure Unique test removed 25 places
Reduce places removed 50 places and 0 transitions.
Iterating global reduction 5 with 75 rules applied. Total rules applied 3239 place count 1564 transition count 2405
Performed 25 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 25 Pre rules applied. Total rules applied 3239 place count 1564 transition count 2380
Deduced a syphon composed of 25 places in 19 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 5 with 50 rules applied. Total rules applied 3289 place count 1539 transition count 2380
Symmetric choice reduction at 5 with 102 rule applications. Total rules 3391 place count 1539 transition count 2380
Deduced a syphon composed of 102 places in 19 ms
Reduce places removed 102 places and 102 transitions.
Iterating global reduction 5 with 204 rules applied. Total rules applied 3595 place count 1437 transition count 2278
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 3596 place count 1437 transition count 2277
Performed 34 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 34 Pre rules applied. Total rules applied 3596 place count 1437 transition count 2243
Deduced a syphon composed of 34 places in 19 ms
Ensure Unique test removed 1 places
Reduce places removed 35 places and 0 transitions.
Iterating global reduction 6 with 69 rules applied. Total rules applied 3665 place count 1402 transition count 2243
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 1 Pre rules applied. Total rules applied 3665 place count 1402 transition count 2242
Deduced a syphon composed of 1 places in 7 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 3 rules applied. Total rules applied 3668 place count 1400 transition count 2242
Symmetric choice reduction at 6 with 8 rule applications. Total rules 3676 place count 1400 transition count 2242
Deduced a syphon composed of 8 places in 7 ms
Reduce places removed 8 places and 51 transitions.
Iterating global reduction 6 with 16 rules applied. Total rules applied 3692 place count 1392 transition count 2191
Performed 7 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 7 Pre rules applied. Total rules applied 3692 place count 1392 transition count 2184
Deduced a syphon composed of 7 places in 6 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 6 with 14 rules applied. Total rules applied 3706 place count 1385 transition count 2184
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3707 place count 1385 transition count 2184
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3709 place count 1384 transition count 2176
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3710 place count 1384 transition count 2176
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3712 place count 1383 transition count 2168
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3713 place count 1383 transition count 2168
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3715 place count 1382 transition count 2160
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3716 place count 1382 transition count 2160
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3718 place count 1381 transition count 2152
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3719 place count 1381 transition count 2152
Deduced a syphon composed of 1 places in 10 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3721 place count 1380 transition count 2144
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3722 place count 1380 transition count 2144
Deduced a syphon composed of 1 places in 22 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3724 place count 1379 transition count 2136
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3725 place count 1379 transition count 2136
Deduced a syphon composed of 1 places in 10 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3727 place count 1378 transition count 2128
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3728 place count 1378 transition count 2128
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3730 place count 1377 transition count 2120
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3731 place count 1377 transition count 2120
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3733 place count 1376 transition count 2112
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3734 place count 1376 transition count 2112
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3736 place count 1375 transition count 2104
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3737 place count 1375 transition count 2104
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3739 place count 1374 transition count 2096
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3740 place count 1374 transition count 2096
Deduced a syphon composed of 1 places in 9 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3742 place count 1373 transition count 2088
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3743 place count 1373 transition count 2088
Deduced a syphon composed of 1 places in 10 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3745 place count 1372 transition count 2080
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3746 place count 1372 transition count 2080
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3748 place count 1371 transition count 2072
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3749 place count 1371 transition count 2072
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3751 place count 1370 transition count 2064
Symmetric choice reduction at 6 with 1 rule applications. Total rules 3752 place count 1370 transition count 2064
Deduced a syphon composed of 1 places in 6 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 3754 place count 1369 transition count 2056
Performed 187 Post agglomeration using F-continuation condition.Transition count delta: 187
Deduced a syphon composed of 187 places in 5 ms
Ensure Unique test removed 2 places
Reduce places removed 189 places and 0 transitions.
Iterating global reduction 6 with 376 rules applied. Total rules applied 4130 place count 1180 transition count 1869
Symmetric choice reduction at 6 with 1 rule applications. Total rules 4131 place count 1180 transition count 1869
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 4133 place count 1179 transition count 1868
Ensure Unique test removed 1 places
Iterating post reduction 6 with 1 rules applied. Total rules applied 4134 place count 1178 transition count 1868
Symmetric choice reduction at 7 with 1 rule applications. Total rules 4135 place count 1178 transition count 1868
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 7 with 2 rules applied. Total rules applied 4137 place count 1177 transition count 1867
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 7 with 2 rules applied. Total rules applied 4139 place count 1177 transition count 1865
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 4140 place count 1176 transition count 1865
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: -9
Deduced a syphon composed of 1 places in 8 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 9 with 2 rules applied. Total rules applied 4142 place count 1175 transition count 1874
Free-agglomeration rule applied 9 times.
Iterating global reduction 9 with 9 rules applied. Total rules applied 4151 place count 1175 transition count 1865
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 9 with 9 rules applied. Total rules applied 4160 place count 1166 transition count 1865
Free-agglomeration rule (complex) applied 10 times.
Iterating global reduction 10 with 10 rules applied. Total rules applied 4170 place count 1166 transition count 1855
Reduce places removed 10 places and 0 transitions.
Iterating post reduction 10 with 10 rules applied. Total rules applied 4180 place count 1156 transition count 1855
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 11 with 1 rules applied. Total rules applied 4181 place count 1155 transition count 1854
Reduce places removed 11 places and 0 transitions.
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: 4
Iterating post reduction 11 with 15 rules applied. Total rules applied 4196 place count 1144 transition count 1850
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 12 with 4 rules applied. Total rules applied 4200 place count 1140 transition count 1850
Performed 15 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 13 with 15 Pre rules applied. Total rules applied 4200 place count 1140 transition count 1835
Deduced a syphon composed of 15 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 16 places and 0 transitions.
Iterating global reduction 13 with 31 rules applied. Total rules applied 4231 place count 1124 transition count 1835
Discarding 8 places :
Implicit places reduction removed 8 places
Iterating post reduction 13 with 8 rules applied. Total rules applied 4239 place count 1116 transition count 1835
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 14 with 1 Pre rules applied. Total rules applied 4239 place count 1116 transition count 1834
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 4241 place count 1115 transition count 1834
Symmetric choice reduction at 14 with 1 rule applications. Total rules 4242 place count 1115 transition count 1834
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 4244 place count 1114 transition count 1833
Symmetric choice reduction at 14 with 1 rule applications. Total rules 4245 place count 1114 transition count 1833
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 14 with 2 rules applied. Total rules applied 4247 place count 1113 transition count 1832
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: 14
Deduced a syphon composed of 14 places in 4 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 14 with 28 rules applied. Total rules applied 4275 place count 1099 transition count 1818
Symmetric choice reduction at 14 with 6 rule applications. Total rules 4281 place count 1099 transition count 1818
Deduced a syphon composed of 6 places in 4 ms
Reduce places removed 6 places and 6 transitions.
Iterating global reduction 14 with 12 rules applied. Total rules applied 4293 place count 1093 transition count 1812
Free-agglomeration rule applied 6 times.
Iterating global reduction 14 with 6 rules applied. Total rules applied 4299 place count 1093 transition count 1806
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 14 with 6 rules applied. Total rules applied 4305 place count 1087 transition count 1806
Applied a total of 4305 rules in 3588 ms. Remains 1087 /3222 variables (removed 2135) and now considering 1806/3986 (removed 2180) transitions.
Finished structural reductions, in 1 iterations. Remains : 1087/3222 places, 1806/3986 transitions.
Incomplete random walk after 1000000 steps, including 9910 resets, run finished after 5572 ms. (steps per millisecond=179 ) properties seen :[1, 1, 0, 0, 0, 0, 0]
FORMULA ASLink-PT-07b-ReachabilityCardinality-03 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-07b-ReachabilityCardinality-00 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 1402 resets, run finished after 2322 ms. (steps per millisecond=430 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1255 resets, run finished after 2264 ms. (steps per millisecond=441 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1349 resets, run finished after 2180 ms. (steps per millisecond=458 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1366 resets, run finished after 2040 ms. (steps per millisecond=490 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 1390 resets, run finished after 1882 ms. (steps per millisecond=531 ) properties seen :[0, 0, 0, 0, 0]
// Phase 1: matrix 1806 rows 1087 cols
[2020-06-04 06:58:26] [INFO ] Computed 189 place invariants in 239 ms
[2020-06-04 06:58:26] [INFO ] [Real]Absence check using 53 positive place invariants in 124 ms returned sat
[2020-06-04 06:58:27] [INFO ] [Real]Absence check using 53 positive and 136 generalized place invariants in 204 ms returned sat
[2020-06-04 06:58:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:58:32] [INFO ] [Real]Absence check using state equation in 5597 ms returned sat
[2020-06-04 06:58:32] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:58:33] [INFO ] [Nat]Absence check using 53 positive place invariants in 76 ms returned sat
[2020-06-04 06:58:33] [INFO ] [Nat]Absence check using 53 positive and 136 generalized place invariants in 120 ms returned sat
[2020-06-04 06:58:33] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 06:58:37] [INFO ] [Nat]Absence check using state equation in 4690 ms returned sat
[2020-06-04 06:58:38] [INFO ] Computed and/alt/rep : 1772/18490/1772 causal constraints in 249 ms.
[2020-06-04 06:58:58] [INFO ] Added : 425 causal constraints over 85 iterations in 20177 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 114 ms.
[2020-06-04 06:58:58] [INFO ] [Real]Absence check using 53 positive place invariants in 77 ms returned sat
[2020-06-04 06:58:58] [INFO ] [Real]Absence check using 53 positive and 136 generalized place invariants in 144 ms returned sat
[2020-06-04 06:58:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:59:04] [INFO ] [Real]Absence check using state equation in 5111 ms returned sat
[2020-06-04 06:59:04] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:59:04] [INFO ] [Nat]Absence check using 53 positive place invariants in 70 ms returned sat
[2020-06-04 06:59:04] [INFO ] [Nat]Absence check using 53 positive and 136 generalized place invariants in 205 ms returned sat
[2020-06-04 06:59:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 06:59:09] [INFO ] [Nat]Absence check using state equation in 4632 ms returned sat
[2020-06-04 06:59:09] [INFO ] Computed and/alt/rep : 1772/18490/1772 causal constraints in 175 ms.
[2020-06-04 06:59:30] [INFO ] Added : 390 causal constraints over 78 iterations in 20919 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 96 ms.
[2020-06-04 06:59:30] [INFO ] [Real]Absence check using 53 positive place invariants in 83 ms returned sat
[2020-06-04 06:59:30] [INFO ] [Real]Absence check using 53 positive and 136 generalized place invariants in 139 ms returned sat
[2020-06-04 06:59:30] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:59:36] [INFO ] [Real]Absence check using state equation in 5336 ms returned sat
[2020-06-04 06:59:36] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 06:59:36] [INFO ] [Nat]Absence check using 53 positive place invariants in 69 ms returned sat
[2020-06-04 06:59:36] [INFO ] [Nat]Absence check using 53 positive and 136 generalized place invariants in 129 ms returned sat
[2020-06-04 06:59:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 06:59:41] [INFO ] [Nat]Absence check using state equation in 4613 ms returned sat
[2020-06-04 06:59:41] [INFO ] Computed and/alt/rep : 1772/18490/1772 causal constraints in 223 ms.
[2020-06-04 07:00:01] [INFO ] Added : 435 causal constraints over 87 iterations in 20358 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 116 ms.
[2020-06-04 07:00:02] [INFO ] [Real]Absence check using 53 positive place invariants in 158 ms returned sat
[2020-06-04 07:00:02] [INFO ] [Real]Absence check using 53 positive and 136 generalized place invariants in 230 ms returned sat
[2020-06-04 07:00:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:00:08] [INFO ] [Real]Absence check using state equation in 6268 ms returned sat
[2020-06-04 07:00:08] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:00:09] [INFO ] [Nat]Absence check using 53 positive place invariants in 114 ms returned sat
[2020-06-04 07:00:09] [INFO ] [Nat]Absence check using 53 positive and 136 generalized place invariants in 218 ms returned sat
[2020-06-04 07:00:09] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:00:16] [INFO ] [Nat]Absence check using state equation in 6483 ms returned sat
[2020-06-04 07:00:16] [INFO ] Computed and/alt/rep : 1772/18490/1772 causal constraints in 148 ms.
[2020-06-04 07:00:36] [INFO ] Added : 520 causal constraints over 104 iterations in 20358 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 111 ms.
[2020-06-04 07:00:37] [INFO ] [Real]Absence check using 53 positive place invariants in 77 ms returned sat
[2020-06-04 07:00:37] [INFO ] [Real]Absence check using 53 positive and 136 generalized place invariants in 130 ms returned sat
[2020-06-04 07:00:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:00:42] [INFO ] [Real]Absence check using state equation in 5108 ms returned sat
[2020-06-04 07:00:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:00:42] [INFO ] [Nat]Absence check using 53 positive place invariants in 117 ms returned sat
[2020-06-04 07:00:42] [INFO ] [Nat]Absence check using 53 positive and 136 generalized place invariants in 123 ms returned sat
[2020-06-04 07:00:42] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:00:47] [INFO ] [Nat]Absence check using state equation in 4828 ms returned sat
[2020-06-04 07:00:47] [INFO ] Computed and/alt/rep : 1772/18490/1772 causal constraints in 129 ms.
[2020-06-04 07:01:07] [INFO ] Added : 450 causal constraints over 90 iterations in 20127 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 97 ms.
Incomplete Parikh walk after 541800 steps, including 1000 resets, run finished after 2863 ms. (steps per millisecond=189 ) properties seen :[0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 634700 steps, including 1000 resets, run finished after 3258 ms. (steps per millisecond=194 ) properties seen :[0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 514900 steps, including 1000 resets, run finished after 2660 ms. (steps per millisecond=193 ) properties seen :[0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 597100 steps, including 1000 resets, run finished after 3025 ms. (steps per millisecond=197 ) properties seen :[0, 0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 472600 steps, including 1000 resets, run finished after 2408 ms. (steps per millisecond=196 ) properties seen :[0, 0, 0, 0, 0] could not realise parikh vector
Support contains 17 out of 1087 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1087/1087 places, 1806/1806 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 1087 transition count 1804
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 5 place count 1084 transition count 1804
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 2 Pre rules applied. Total rules applied 5 place count 1084 transition count 1802
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 9 place count 1082 transition count 1802
Symmetric choice reduction at 2 with 1 rule applications. Total rules 10 place count 1082 transition count 1802
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 12 place count 1081 transition count 1801
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 4 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 16 place count 1079 transition count 1799
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 2 with 1 rules applied. Total rules applied 17 place count 1079 transition count 1799
Applied a total of 17 rules in 148 ms. Remains 1079 /1087 variables (removed 8) and now considering 1799/1806 (removed 7) transitions.
Finished structural reductions, in 1 iterations. Remains : 1079/1087 places, 1799/1806 transitions.
Incomplete random walk after 1000000 steps, including 10152 resets, run finished after 5196 ms. (steps per millisecond=192 ) properties seen :[0, 0, 0, 1, 0]
FORMULA ASLink-PT-07b-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 1435 resets, run finished after 1900 ms. (steps per millisecond=526 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1296 resets, run finished after 1885 ms. (steps per millisecond=530 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1402 resets, run finished after 1968 ms. (steps per millisecond=508 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1459 resets, run finished after 1845 ms. (steps per millisecond=542 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 1799 rows 1079 cols
[2020-06-04 07:01:35] [INFO ] Computed 188 place invariants in 153 ms
[2020-06-04 07:01:35] [INFO ] [Real]Absence check using 51 positive place invariants in 73 ms returned sat
[2020-06-04 07:01:35] [INFO ] [Real]Absence check using 51 positive and 137 generalized place invariants in 134 ms returned sat
[2020-06-04 07:01:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:01:40] [INFO ] [Real]Absence check using state equation in 4430 ms returned sat
[2020-06-04 07:01:40] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:01:40] [INFO ] [Nat]Absence check using 51 positive place invariants in 67 ms returned sat
[2020-06-04 07:01:40] [INFO ] [Nat]Absence check using 51 positive and 137 generalized place invariants in 126 ms returned sat
[2020-06-04 07:01:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:01:45] [INFO ] [Nat]Absence check using state equation in 4713 ms returned sat
[2020-06-04 07:01:45] [INFO ] Computed and/alt/rep : 1765/18515/1765 causal constraints in 137 ms.
[2020-06-04 07:02:05] [INFO ] Added : 495 causal constraints over 99 iterations in 20375 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 105 ms.
[2020-06-04 07:02:06] [INFO ] [Real]Absence check using 51 positive place invariants in 74 ms returned sat
[2020-06-04 07:02:06] [INFO ] [Real]Absence check using 51 positive and 137 generalized place invariants in 132 ms returned sat
[2020-06-04 07:02:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:02:11] [INFO ] [Real]Absence check using state equation in 4472 ms returned sat
[2020-06-04 07:02:11] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:02:11] [INFO ] [Nat]Absence check using 51 positive place invariants in 70 ms returned sat
[2020-06-04 07:02:11] [INFO ] [Nat]Absence check using 51 positive and 137 generalized place invariants in 128 ms returned sat
[2020-06-04 07:02:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:02:16] [INFO ] [Nat]Absence check using state equation in 4940 ms returned sat
[2020-06-04 07:02:16] [INFO ] Computed and/alt/rep : 1765/18515/1765 causal constraints in 176 ms.
[2020-06-04 07:02:35] [INFO ] Added : 350 causal constraints over 70 iterations in 18881 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 102 ms.
[2020-06-04 07:02:36] [INFO ] [Real]Absence check using 51 positive place invariants in 115 ms returned sat
[2020-06-04 07:02:36] [INFO ] [Real]Absence check using 51 positive and 137 generalized place invariants in 204 ms returned sat
[2020-06-04 07:02:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:02:42] [INFO ] [Real]Absence check using state equation in 6461 ms returned sat
[2020-06-04 07:02:42] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:02:43] [INFO ] [Nat]Absence check using 51 positive place invariants in 93 ms returned sat
[2020-06-04 07:02:43] [INFO ] [Nat]Absence check using 51 positive and 137 generalized place invariants in 194 ms returned sat
[2020-06-04 07:02:43] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:02:49] [INFO ] [Nat]Absence check using state equation in 6138 ms returned sat
[2020-06-04 07:02:49] [INFO ] Computed and/alt/rep : 1765/18515/1765 causal constraints in 245 ms.
[2020-06-04 07:03:09] [INFO ] Added : 355 causal constraints over 71 iterations in 20295 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 120 ms.
[2020-06-04 07:03:10] [INFO ] [Real]Absence check using 51 positive place invariants in 121 ms returned sat
[2020-06-04 07:03:10] [INFO ] [Real]Absence check using 51 positive and 137 generalized place invariants in 192 ms returned sat
[2020-06-04 07:03:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:03:16] [INFO ] [Real]Absence check using state equation in 5951 ms returned sat
[2020-06-04 07:03:16] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:03:17] [INFO ] [Nat]Absence check using 51 positive place invariants in 71 ms returned sat
[2020-06-04 07:03:17] [INFO ] [Nat]Absence check using 51 positive and 137 generalized place invariants in 159 ms returned sat
[2020-06-04 07:03:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:03:24] [INFO ] [Nat]Absence check using state equation in 6674 ms returned sat
[2020-06-04 07:03:24] [INFO ] Computed and/alt/rep : 1765/18515/1765 causal constraints in 139 ms.
[2020-06-04 07:03:45] [INFO ] Added : 430 causal constraints over 86 iterations in 20972 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 92 ms.
Incomplete Parikh walk after 567800 steps, including 1000 resets, run finished after 3651 ms. (steps per millisecond=155 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 521900 steps, including 1000 resets, run finished after 2980 ms. (steps per millisecond=175 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 756300 steps, including 1000 resets, run finished after 3929 ms. (steps per millisecond=192 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 606100 steps, including 1000 resets, run finished after 3500 ms. (steps per millisecond=173 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Support contains 11 out of 1079 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1079/1079 places, 1799/1799 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 1079 transition count 1798
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 1078 transition count 1798
Performed 3 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 3 Pre rules applied. Total rules applied 2 place count 1078 transition count 1795
Deduced a syphon composed of 3 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 2 with 7 rules applied. Total rules applied 9 place count 1074 transition count 1795
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 9 place count 1074 transition count 1794
Deduced a syphon composed of 1 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 3 rules applied. Total rules applied 12 place count 1072 transition count 1794
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 14 place count 1071 transition count 1793
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 16 place count 1070 transition count 1792
Free-agglomeration rule applied 2 times.
Iterating global reduction 2 with 2 rules applied. Total rules applied 18 place count 1070 transition count 1790
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 20 place count 1068 transition count 1790
Applied a total of 20 rules in 164 ms. Remains 1068 /1079 variables (removed 11) and now considering 1790/1799 (removed 9) transitions.
Finished structural reductions, in 1 iterations. Remains : 1068/1079 places, 1790/1799 transitions.
Incomplete random walk after 1000000 steps, including 10292 resets, run finished after 6087 ms. (steps per millisecond=164 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1411 resets, run finished after 2119 ms. (steps per millisecond=471 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1267 resets, run finished after 1939 ms. (steps per millisecond=515 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1404 resets, run finished after 2180 ms. (steps per millisecond=458 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1427 resets, run finished after 2174 ms. (steps per millisecond=459 ) properties seen :[0, 0, 0, 0]
Interrupted probabilistic random walk after 2232242 steps, run timeout after 30001 ms. (steps per millisecond=74 ) properties seen :[0, 0, 0, 0]
Probabilistic random walk after 2232242 steps, saw 442350 distinct states, run finished after 30001 ms. (steps per millisecond=74 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 1790 rows 1068 cols
[2020-06-04 07:04:44] [INFO ] Computed 186 place invariants in 42 ms
[2020-06-04 07:04:44] [INFO ] [Real]Absence check using 51 positive place invariants in 110 ms returned sat
[2020-06-04 07:04:44] [INFO ] [Real]Absence check using 51 positive and 135 generalized place invariants in 180 ms returned sat
[2020-06-04 07:04:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:04:50] [INFO ] [Real]Absence check using state equation in 5539 ms returned sat
[2020-06-04 07:04:50] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:04:50] [INFO ] [Nat]Absence check using 51 positive place invariants in 108 ms returned sat
[2020-06-04 07:04:50] [INFO ] [Nat]Absence check using 51 positive and 135 generalized place invariants in 200 ms returned sat
[2020-06-04 07:04:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:04:56] [INFO ] [Nat]Absence check using state equation in 6265 ms returned sat
[2020-06-04 07:04:57] [INFO ] Computed and/alt/rep : 1753/18476/1753 causal constraints in 129 ms.
[2020-06-04 07:05:20] [INFO ] Added : 395 causal constraints over 79 iterations in 23916 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 110 ms.
[2020-06-04 07:05:21] [INFO ] [Real]Absence check using 51 positive place invariants in 116 ms returned sat
[2020-06-04 07:05:21] [INFO ] [Real]Absence check using 51 positive and 135 generalized place invariants in 209 ms returned sat
[2020-06-04 07:05:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:05:28] [INFO ] [Real]Absence check using state equation in 6147 ms returned sat
[2020-06-04 07:05:28] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:05:28] [INFO ] [Nat]Absence check using 51 positive place invariants in 67 ms returned sat
[2020-06-04 07:05:28] [INFO ] [Nat]Absence check using 51 positive and 135 generalized place invariants in 133 ms returned sat
[2020-06-04 07:05:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:05:33] [INFO ] [Nat]Absence check using state equation in 4893 ms returned sat
[2020-06-04 07:05:33] [INFO ] Computed and/alt/rep : 1753/18476/1753 causal constraints in 128 ms.
[2020-06-04 07:05:53] [INFO ] Added : 360 causal constraints over 72 iterations in 20399 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 128 ms.
[2020-06-04 07:05:54] [INFO ] [Real]Absence check using 51 positive place invariants in 115 ms returned sat
[2020-06-04 07:05:54] [INFO ] [Real]Absence check using 51 positive and 135 generalized place invariants in 209 ms returned sat
[2020-06-04 07:05:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:06:01] [INFO ] [Real]Absence check using state equation in 6366 ms returned sat
[2020-06-04 07:06:01] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:06:01] [INFO ] [Nat]Absence check using 51 positive place invariants in 79 ms returned sat
[2020-06-04 07:06:01] [INFO ] [Nat]Absence check using 51 positive and 135 generalized place invariants in 152 ms returned sat
[2020-06-04 07:06:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:06:08] [INFO ] [Nat]Absence check using state equation in 6578 ms returned sat
[2020-06-04 07:06:08] [INFO ] Computed and/alt/rep : 1753/18476/1753 causal constraints in 127 ms.
[2020-06-04 07:06:31] [INFO ] Added : 345 causal constraints over 69 iterations in 22743 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 71 ms.
[2020-06-04 07:06:31] [INFO ] [Real]Absence check using 51 positive place invariants in 70 ms returned sat
[2020-06-04 07:06:31] [INFO ] [Real]Absence check using 51 positive and 135 generalized place invariants in 126 ms returned sat
[2020-06-04 07:06:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:06:37] [INFO ] [Real]Absence check using state equation in 5621 ms returned sat
[2020-06-04 07:06:37] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:06:37] [INFO ] [Nat]Absence check using 51 positive place invariants in 100 ms returned sat
[2020-06-04 07:06:37] [INFO ] [Nat]Absence check using 51 positive and 135 generalized place invariants in 201 ms returned sat
[2020-06-04 07:06:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:06:44] [INFO ] [Nat]Absence check using state equation in 6407 ms returned sat
[2020-06-04 07:06:44] [INFO ] Computed and/alt/rep : 1753/18476/1753 causal constraints in 124 ms.
[2020-06-04 07:07:05] [INFO ] Added : 345 causal constraints over 69 iterations in 20945 ms.(timeout) Result :sat
[2020-06-04 07:07:06] [INFO ] Deduced a trap composed of 107 places in 636 ms
[2020-06-04 07:07:06] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 1050 ms
Attempting to minimize the solution found.
Minimization took 113 ms.
Incomplete Parikh walk after 343600 steps, including 1000 resets, run finished after 2180 ms. (steps per millisecond=157 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 872900 steps, including 1000 resets, run finished after 4668 ms. (steps per millisecond=186 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 396900 steps, including 1000 resets, run finished after 2179 ms. (steps per millisecond=182 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Incomplete Parikh walk after 292000 steps, including 1000 resets, run finished after 1689 ms. (steps per millisecond=172 ) properties seen :[0, 0, 0, 0] could not realise parikh vector
Support contains 11 out of 1068 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1068/1068 places, 1790/1790 transitions.
Applied a total of 0 rules in 38 ms. Remains 1068 /1068 variables (removed 0) and now considering 1790/1790 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1068/1068 places, 1790/1790 transitions.
Starting structural reductions, iteration 0 : 1068/1068 places, 1790/1790 transitions.
Applied a total of 0 rules in 36 ms. Remains 1068 /1068 variables (removed 0) and now considering 1790/1790 (removed 0) transitions.
// Phase 1: matrix 1790 rows 1068 cols
[2020-06-04 07:07:17] [INFO ] Computed 186 place invariants in 43 ms
[2020-06-04 07:07:24] [INFO ] Implicit Places using invariants in 6908 ms returned [1, 18, 19, 31, 48, 66, 137, 141, 150, 152, 154, 171, 189, 227, 261, 265, 266, 277, 278, 280, 298, 316, 378, 388, 392, 393, 404, 405, 407, 424, 442, 511, 515, 516, 527, 528, 530, 548, 566, 641, 656, 657, 659, 678, 696, 771, 786, 787, 789, 806, 824, 894, 898, 899, 902, 913, 914, 915, 933, 935, 939, 957, 958, 959, 960, 972, 978, 984, 990, 996, 1002, 1008, 1014, 1020, 1026, 1032]
Discarding 76 places :
Implicit Place search using SMT only with invariants took 6917 ms to find 76 implicit places.
[2020-06-04 07:07:24] [INFO ] Redundant transitions in 290 ms returned []
// Phase 1: matrix 1790 rows 992 cols
[2020-06-04 07:07:24] [INFO ] Computed 110 place invariants in 46 ms
[2020-06-04 07:07:34] [INFO ] Dead Transitions using invariants and state equation in 10205 ms returned []
Starting structural reductions, iteration 1 : 992/1068 places, 1790/1790 transitions.
Performed 137 Post agglomeration using F-continuation condition.Transition count delta: 137
Iterating post reduction 0 with 137 rules applied. Total rules applied 137 place count 992 transition count 1653
Reduce places removed 137 places and 0 transitions.
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 1 with 141 rules applied. Total rules applied 278 place count 855 transition count 1649
Performed 35 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 35 Pre rules applied. Total rules applied 278 place count 855 transition count 1614
Deduced a syphon composed of 35 places in 5 ms
Ensure Unique test removed 1 places
Reduce places removed 36 places and 0 transitions.
Iterating global reduction 2 with 71 rules applied. Total rules applied 349 place count 819 transition count 1614
Discarding 4 places :
Implicit places reduction removed 4 places
Performed 8 Post agglomeration using F-continuation condition.Transition count delta: 8
Iterating post reduction 2 with 12 rules applied. Total rules applied 361 place count 815 transition count 1606
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 369 place count 807 transition count 1606
Symmetric choice reduction at 4 with 15 rule applications. Total rules 384 place count 807 transition count 1606
Deduced a syphon composed of 15 places in 5 ms
Reduce places removed 15 places and 15 transitions.
Iterating global reduction 4 with 30 rules applied. Total rules applied 414 place count 792 transition count 1591
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 417 place count 792 transition count 1588
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 417 place count 792 transition count 1587
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 419 place count 791 transition count 1587
Symmetric choice reduction at 5 with 3 rule applications. Total rules 422 place count 791 transition count 1587
Deduced a syphon composed of 3 places in 5 ms
Reduce places removed 3 places and 6 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 428 place count 788 transition count 1581
Symmetric choice reduction at 5 with 1 rule applications. Total rules 429 place count 788 transition count 1581
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 431 place count 787 transition count 1580
Symmetric choice reduction at 5 with 1 rule applications. Total rules 432 place count 787 transition count 1580
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 2 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 434 place count 786 transition count 1578
Performed 54 Post agglomeration using F-continuation condition.Transition count delta: 54
Deduced a syphon composed of 54 places in 5 ms
Reduce places removed 54 places and 0 transitions.
Iterating global reduction 5 with 108 rules applied. Total rules applied 542 place count 732 transition count 1524
Symmetric choice reduction at 5 with 5 rule applications. Total rules 547 place count 732 transition count 1524
Deduced a syphon composed of 5 places in 4 ms
Reduce places removed 5 places and 5 transitions.
Iterating global reduction 5 with 10 rules applied. Total rules applied 557 place count 727 transition count 1519
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 5 with 5 rules applied. Total rules applied 562 place count 727 transition count 1514
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: -1
Deduced a syphon composed of 2 places in 5 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 6 with 4 rules applied. Total rules applied 566 place count 725 transition count 1515
Free-agglomeration rule (complex) applied 20 times.
Iterating global reduction 6 with 20 rules applied. Total rules applied 586 place count 725 transition count 1495
Ensure Unique test removed 1 places
Reduce places removed 21 places and 0 transitions.
Iterating post reduction 6 with 21 rules applied. Total rules applied 607 place count 704 transition count 1495
Partial Free-agglomeration rule applied 20 times.
Drop transitions removed 20 transitions
Iterating global reduction 7 with 20 rules applied. Total rules applied 627 place count 704 transition count 1495
Partial Post-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 7 with 1 rules applied. Total rules applied 628 place count 704 transition count 1495
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 7 with 2 rules applied. Total rules applied 630 place count 704 transition count 1493
Applied a total of 630 rules in 541 ms. Remains 704 /992 variables (removed 288) and now considering 1493/1790 (removed 297) transitions.
// Phase 1: matrix 1493 rows 704 cols
[2020-06-04 07:07:35] [INFO ] Computed 104 place invariants in 25 ms
[2020-06-04 07:07:38] [INFO ] Implicit Places using invariants in 2735 ms returned [72, 91, 97, 100, 102, 105, 106, 159, 178, 184, 187, 189, 194, 195, 248, 265, 276, 278, 283, 284, 336, 353, 359, 362, 364, 369, 370, 440, 446, 449, 451, 454, 461, 462, 535, 541, 544, 546, 549, 556, 557, 612, 629, 635, 638, 640]
Discarding 46 places :
Implicit Place search using SMT only with invariants took 2738 ms to find 46 implicit places.
Starting structural reductions, iteration 2 : 658/1068 places, 1493/1790 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 658 transition count 1492
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 657 transition count 1492
Symmetric choice reduction at 2 with 17 rule applications. Total rules 19 place count 657 transition count 1492
Deduced a syphon composed of 17 places in 4 ms
Reduce places removed 17 places and 17 transitions.
Iterating global reduction 2 with 34 rules applied. Total rules applied 53 place count 640 transition count 1475
Symmetric choice reduction at 2 with 4 rule applications. Total rules 57 place count 640 transition count 1475
Deduced a syphon composed of 4 places in 5 ms
Reduce places removed 4 places and 4 transitions.
Iterating global reduction 2 with 8 rules applied. Total rules applied 65 place count 636 transition count 1471
Performed 12 Post agglomeration using F-continuation condition.Transition count delta: 12
Deduced a syphon composed of 12 places in 4 ms
Reduce places removed 12 places and 0 transitions.
Iterating global reduction 2 with 24 rules applied. Total rules applied 89 place count 624 transition count 1459
Free-agglomeration rule applied 20 times.
Iterating global reduction 2 with 20 rules applied. Total rules applied 109 place count 624 transition count 1439
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 2 with 20 rules applied. Total rules applied 129 place count 604 transition count 1439
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 3 with 5 rules applied. Total rules applied 134 place count 604 transition count 1434
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 3 with 5 rules applied. Total rules applied 139 place count 599 transition count 1434
Partial Post-agglomeration rule applied 7 times.
Drop transitions removed 7 transitions
Iterating global reduction 4 with 7 rules applied. Total rules applied 146 place count 599 transition count 1434
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 4 with 2 rules applied. Total rules applied 148 place count 599 transition count 1432
Applied a total of 148 rules in 298 ms. Remains 599 /658 variables (removed 59) and now considering 1432/1493 (removed 61) transitions.
// Phase 1: matrix 1432 rows 599 cols
[2020-06-04 07:07:38] [INFO ] Computed 58 place invariants in 31 ms
[2020-06-04 07:07:40] [INFO ] Implicit Places using invariants in 1915 ms returned []
// Phase 1: matrix 1432 rows 599 cols
[2020-06-04 07:07:40] [INFO ] Computed 58 place invariants in 38 ms
[2020-06-04 07:07:47] [INFO ] Implicit Places using invariants and state equation in 7347 ms returned []
Implicit Place search using SMT with State Equation took 9266 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 599/1068 places, 1432/1790 transitions.
Incomplete random walk after 1000000 steps, including 15036 resets, run finished after 4849 ms. (steps per millisecond=206 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2690 resets, run finished after 1243 ms. (steps per millisecond=804 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000000 steps, including 2321 resets, run finished after 1351 ms. (steps per millisecond=740 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2611 resets, run finished after 1274 ms. (steps per millisecond=784 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2696 resets, run finished after 1185 ms. (steps per millisecond=843 ) properties seen :[0, 0, 0, 0]
Interrupted probabilistic random walk after 3322338 steps, run timeout after 30001 ms. (steps per millisecond=110 ) properties seen :[0, 1, 0, 1]
Probabilistic random walk after 3322338 steps, saw 722837 distinct states, run finished after 30001 ms. (steps per millisecond=110 ) properties seen :[0, 1, 0, 1]
FORMULA ASLink-PT-07b-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
FORMULA ASLink-PT-07b-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL PROBABILISTIC_WALK
// Phase 1: matrix 1432 rows 599 cols
[2020-06-04 07:08:27] [INFO ] Computed 58 place invariants in 19 ms
[2020-06-04 07:08:27] [INFO ] [Real]Absence check using 15 positive place invariants in 28 ms returned sat
[2020-06-04 07:08:27] [INFO ] [Real]Absence check using 15 positive and 43 generalized place invariants in 49 ms returned sat
[2020-06-04 07:08:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:08:30] [INFO ] [Real]Absence check using state equation in 2751 ms returned sat
[2020-06-04 07:08:30] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:08:30] [INFO ] [Nat]Absence check using 15 positive place invariants in 26 ms returned sat
[2020-06-04 07:08:30] [INFO ] [Nat]Absence check using 15 positive and 43 generalized place invariants in 30 ms returned sat
[2020-06-04 07:08:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:08:33] [INFO ] [Nat]Absence check using state equation in 2827 ms returned sat
[2020-06-04 07:08:33] [INFO ] Computed and/alt/rep : 1395/17699/1395 causal constraints in 138 ms.
[2020-06-04 07:08:54] [INFO ] Added : 475 causal constraints over 95 iterations in 20419 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 140 ms.
[2020-06-04 07:08:54] [INFO ] [Real]Absence check using 15 positive place invariants in 28 ms returned sat
[2020-06-04 07:08:54] [INFO ] [Real]Absence check using 15 positive and 43 generalized place invariants in 30 ms returned sat
[2020-06-04 07:08:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:08:56] [INFO ] [Real]Absence check using state equation in 1958 ms returned sat
[2020-06-04 07:08:56] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:08:56] [INFO ] [Nat]Absence check using 15 positive place invariants in 42 ms returned sat
[2020-06-04 07:08:56] [INFO ] [Nat]Absence check using 15 positive and 43 generalized place invariants in 43 ms returned sat
[2020-06-04 07:08:56] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:08:58] [INFO ] [Nat]Absence check using state equation in 1878 ms returned sat
[2020-06-04 07:08:58] [INFO ] Computed and/alt/rep : 1395/17699/1395 causal constraints in 107 ms.
[2020-06-04 07:09:11] [INFO ] Added : 280 causal constraints over 56 iterations in 12769 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 74 ms.
Incomplete Parikh walk after 121900 steps, including 2035 resets, run finished after 540 ms. (steps per millisecond=225 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 204600 steps, including 2963 resets, run finished after 918 ms. (steps per millisecond=222 ) properties seen :[0, 0] could not realise parikh vector
Support contains 6 out of 599 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 599/599 places, 1432/1432 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 599 transition count 1430
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 1 with 3 rules applied. Total rules applied 5 place count 596 transition count 1430
Performed 5 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 5 Pre rules applied. Total rules applied 5 place count 596 transition count 1425
Deduced a syphon composed of 5 places in 2 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 2 with 10 rules applied. Total rules applied 15 place count 591 transition count 1425
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 2 with 4 rules applied. Total rules applied 19 place count 589 transition count 1423
Symmetric choice reduction at 2 with 1 rule applications. Total rules 20 place count 589 transition count 1423
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 22 place count 588 transition count 1422
Symmetric choice reduction at 2 with 1 rule applications. Total rules 23 place count 588 transition count 1422
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 2 rules applied. Total rules applied 25 place count 587 transition count 1421
Applied a total of 25 rules in 65 ms. Remains 587 /599 variables (removed 12) and now considering 1421/1432 (removed 11) transitions.
Finished structural reductions, in 1 iterations. Remains : 587/599 places, 1421/1432 transitions.
Incomplete random walk after 1000000 steps, including 16296 resets, run finished after 4170 ms. (steps per millisecond=239 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2964 resets, run finished after 1286 ms. (steps per millisecond=777 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2807 resets, run finished after 1316 ms. (steps per millisecond=759 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 2603822 steps, run timeout after 30001 ms. (steps per millisecond=86 ) properties seen :[0, 0]
Probabilistic random walk after 2603822 steps, saw 781147 distinct states, run finished after 30001 ms. (steps per millisecond=86 ) properties seen :[0, 0]
// Phase 1: matrix 1421 rows 587 cols
[2020-06-04 07:09:49] [INFO ] Computed 57 place invariants in 19 ms
[2020-06-04 07:09:50] [INFO ] [Real]Absence check using 15 positive place invariants in 27 ms returned sat
[2020-06-04 07:09:50] [INFO ] [Real]Absence check using 15 positive and 42 generalized place invariants in 30 ms returned sat
[2020-06-04 07:09:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:09:51] [INFO ] [Real]Absence check using state equation in 1799 ms returned sat
[2020-06-04 07:09:51] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:09:52] [INFO ] [Nat]Absence check using 15 positive place invariants in 30 ms returned sat
[2020-06-04 07:09:52] [INFO ] [Nat]Absence check using 15 positive and 42 generalized place invariants in 26 ms returned sat
[2020-06-04 07:09:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:09:54] [INFO ] [Nat]Absence check using state equation in 2118 ms returned sat
[2020-06-04 07:09:54] [INFO ] Computed and/alt/rep : 1384/18024/1384 causal constraints in 105 ms.
[2020-06-04 07:10:11] [INFO ] Added : 405 causal constraints over 81 iterations in 17765 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 117 ms.
[2020-06-04 07:10:12] [INFO ] [Real]Absence check using 15 positive place invariants in 28 ms returned sat
[2020-06-04 07:10:12] [INFO ] [Real]Absence check using 15 positive and 42 generalized place invariants in 28 ms returned sat
[2020-06-04 07:10:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:10:14] [INFO ] [Real]Absence check using state equation in 1826 ms returned sat
[2020-06-04 07:10:14] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:10:14] [INFO ] [Nat]Absence check using 15 positive place invariants in 30 ms returned sat
[2020-06-04 07:10:14] [INFO ] [Nat]Absence check using 15 positive and 42 generalized place invariants in 31 ms returned sat
[2020-06-04 07:10:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:10:16] [INFO ] [Nat]Absence check using state equation in 1757 ms returned sat
[2020-06-04 07:10:16] [INFO ] Computed and/alt/rep : 1384/18024/1384 causal constraints in 105 ms.
[2020-06-04 07:10:28] [INFO ] Added : 220 causal constraints over 44 iterations in 11825 ms. Result :unknown
Incomplete Parikh walk after 66900 steps, including 2164 resets, run finished after 361 ms. (steps per millisecond=185 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 166800 steps, including 4566 resets, run finished after 866 ms. (steps per millisecond=192 ) properties seen :[0, 0] could not realise parikh vector
Support contains 6 out of 587 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 587/587 places, 1421/1421 transitions.
Applied a total of 0 rules in 17 ms. Remains 587 /587 variables (removed 0) and now considering 1421/1421 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 587/587 places, 1421/1421 transitions.
Starting structural reductions, iteration 0 : 587/587 places, 1421/1421 transitions.
Applied a total of 0 rules in 18 ms. Remains 587 /587 variables (removed 0) and now considering 1421/1421 (removed 0) transitions.
// Phase 1: matrix 1421 rows 587 cols
[2020-06-04 07:10:29] [INFO ] Computed 57 place invariants in 19 ms
[2020-06-04 07:10:30] [INFO ] Implicit Places using invariants in 1605 ms returned [376, 377]
Discarding 2 places :
Implicit Place search using SMT only with invariants took 1608 ms to find 2 implicit places.
[2020-06-04 07:10:30] [INFO ] Redundant transitions in 42 ms returned []
// Phase 1: matrix 1421 rows 585 cols
[2020-06-04 07:10:30] [INFO ] Computed 55 place invariants in 23 ms
[2020-06-04 07:10:34] [INFO ] Dead Transitions using invariants and state equation in 3436 ms returned []
Starting structural reductions, iteration 1 : 585/587 places, 1421/1421 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Deduced a syphon composed of 1 places in 2 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 0 with 2 rules applied. Total rules applied 2 place count 584 transition count 1420
Free-agglomeration rule (complex) applied 1 times.
Iterating global reduction 0 with 1 rules applied. Total rules applied 3 place count 584 transition count 1419
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 4 place count 583 transition count 1419
Applied a total of 4 rules in 45 ms. Remains 583 /585 variables (removed 2) and now considering 1419/1421 (removed 2) transitions.
// Phase 1: matrix 1419 rows 583 cols
[2020-06-04 07:10:34] [INFO ] Computed 55 place invariants in 19 ms
[2020-06-04 07:10:36] [INFO ] Implicit Places using invariants in 1598 ms returned []
// Phase 1: matrix 1419 rows 583 cols
[2020-06-04 07:10:36] [INFO ] Computed 55 place invariants in 32 ms
[2020-06-04 07:10:45] [INFO ] Implicit Places using invariants and state equation in 9529 ms returned []
Implicit Place search using SMT with State Equation took 11137 ms to find 0 implicit places.
Finished structural reductions, in 2 iterations. Remains : 583/587 places, 1419/1421 transitions.
Incomplete random walk after 1000000 steps, including 16335 resets, run finished after 4434 ms. (steps per millisecond=225 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2956 resets, run finished after 1240 ms. (steps per millisecond=806 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000000 steps, including 2762 resets, run finished after 1283 ms. (steps per millisecond=779 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 2811401 steps, run timeout after 30001 ms. (steps per millisecond=93 ) properties seen :[0, 0]
Probabilistic random walk after 2811401 steps, saw 770413 distinct states, run finished after 30001 ms. (steps per millisecond=93 ) properties seen :[0, 0]
// Phase 1: matrix 1419 rows 583 cols
[2020-06-04 07:11:22] [INFO ] Computed 55 place invariants in 18 ms
[2020-06-04 07:11:22] [INFO ] [Real]Absence check using 15 positive place invariants in 38 ms returned sat
[2020-06-04 07:11:22] [INFO ] [Real]Absence check using 15 positive and 40 generalized place invariants in 28 ms returned sat
[2020-06-04 07:11:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:11:25] [INFO ] [Real]Absence check using state equation in 2408 ms returned sat
[2020-06-04 07:11:25] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:11:25] [INFO ] [Nat]Absence check using 15 positive place invariants in 31 ms returned sat
[2020-06-04 07:11:25] [INFO ] [Nat]Absence check using 15 positive and 40 generalized place invariants in 34 ms returned sat
[2020-06-04 07:11:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:11:27] [INFO ] [Nat]Absence check using state equation in 2437 ms returned sat
[2020-06-04 07:11:28] [INFO ] Computed and/alt/rep : 1382/17842/1382 causal constraints in 156 ms.
[2020-06-04 07:11:48] [INFO ] Added : 450 causal constraints over 90 iterations in 20168 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 135 ms.
[2020-06-04 07:11:48] [INFO ] [Real]Absence check using 15 positive place invariants in 45 ms returned sat
[2020-06-04 07:11:48] [INFO ] [Real]Absence check using 15 positive and 40 generalized place invariants in 44 ms returned sat
[2020-06-04 07:11:48] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:11:51] [INFO ] [Real]Absence check using state equation in 2522 ms returned sat
[2020-06-04 07:11:51] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:11:51] [INFO ] [Nat]Absence check using 15 positive place invariants in 36 ms returned sat
[2020-06-04 07:11:51] [INFO ] [Nat]Absence check using 15 positive and 40 generalized place invariants in 37 ms returned sat
[2020-06-04 07:11:51] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:11:53] [INFO ] [Nat]Absence check using state equation in 2496 ms returned sat
[2020-06-04 07:11:54] [INFO ] Computed and/alt/rep : 1382/17842/1382 causal constraints in 126 ms.
[2020-06-04 07:12:14] [INFO ] Added : 460 causal constraints over 92 iterations in 20470 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 139 ms.
Incomplete Parikh walk after 216000 steps, including 5869 resets, run finished after 1245 ms. (steps per millisecond=173 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 152000 steps, including 4404 resets, run finished after 792 ms. (steps per millisecond=191 ) properties seen :[0, 0] could not realise parikh vector
Support contains 6 out of 583 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 583/583 places, 1419/1419 transitions.
Applied a total of 0 rules in 17 ms. Remains 583 /583 variables (removed 0) and now considering 1419/1419 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 583/583 places, 1419/1419 transitions.
Starting structural reductions, iteration 0 : 583/583 places, 1419/1419 transitions.
Applied a total of 0 rules in 17 ms. Remains 583 /583 variables (removed 0) and now considering 1419/1419 (removed 0) transitions.
// Phase 1: matrix 1419 rows 583 cols
[2020-06-04 07:12:16] [INFO ] Computed 55 place invariants in 18 ms
[2020-06-04 07:12:19] [INFO ] Implicit Places using invariants in 2454 ms returned []
// Phase 1: matrix 1419 rows 583 cols
[2020-06-04 07:12:19] [INFO ] Computed 55 place invariants in 31 ms
[2020-06-04 07:12:31] [INFO ] Implicit Places using invariants and state equation in 12034 ms returned []
Implicit Place search using SMT with State Equation took 14498 ms to find 0 implicit places.
[2020-06-04 07:12:31] [INFO ] Redundant transitions in 23 ms returned []
// Phase 1: matrix 1419 rows 583 cols
[2020-06-04 07:12:31] [INFO ] Computed 55 place invariants in 18 ms
[2020-06-04 07:12:36] [INFO ] Dead Transitions using invariants and state equation in 5120 ms returned []
Finished structural reductions, in 1 iterations. Remains : 583/583 places, 1419/1419 transitions.
Incomplete random walk after 100000 steps, including 1584 resets, run finished after 555 ms. (steps per millisecond=180 ) properties seen :[0, 0]
// Phase 1: matrix 1419 rows 583 cols
[2020-06-04 07:12:36] [INFO ] Computed 55 place invariants in 18 ms
[2020-06-04 07:12:37] [INFO ] [Real]Absence check using 15 positive place invariants in 27 ms returned sat
[2020-06-04 07:12:37] [INFO ] [Real]Absence check using 15 positive and 40 generalized place invariants in 27 ms returned sat
[2020-06-04 07:12:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:12:39] [INFO ] [Real]Absence check using state equation in 2880 ms returned sat
[2020-06-04 07:12:40] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:12:40] [INFO ] [Nat]Absence check using 15 positive place invariants in 34 ms returned sat
[2020-06-04 07:12:40] [INFO ] [Nat]Absence check using 15 positive and 40 generalized place invariants in 35 ms returned sat
[2020-06-04 07:12:40] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:12:42] [INFO ] [Nat]Absence check using state equation in 2765 ms returned sat
[2020-06-04 07:12:43] [INFO ] Computed and/alt/rep : 1382/17842/1382 causal constraints in 161 ms.
[2020-06-04 07:13:00] [INFO ] Added : 415 causal constraints over 83 iterations in 16984 ms. Result :unknown
[2020-06-04 07:13:00] [INFO ] [Real]Absence check using 15 positive place invariants in 27 ms returned sat
[2020-06-04 07:13:00] [INFO ] [Real]Absence check using 15 positive and 40 generalized place invariants in 26 ms returned sat
[2020-06-04 07:13:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:13:02] [INFO ] [Real]Absence check using state equation in 2092 ms returned sat
[2020-06-04 07:13:02] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:13:02] [INFO ] [Nat]Absence check using 15 positive place invariants in 30 ms returned sat
[2020-06-04 07:13:02] [INFO ] [Nat]Absence check using 15 positive and 40 generalized place invariants in 30 ms returned sat
[2020-06-04 07:13:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:13:05] [INFO ] [Nat]Absence check using state equation in 2578 ms returned sat
[2020-06-04 07:13:05] [INFO ] Computed and/alt/rep : 1382/17842/1382 causal constraints in 143 ms.
[2020-06-04 07:13:22] [INFO ] Added : 420 causal constraints over 84 iterations in 17200 ms. Result :(error "Solver has unexpectedly terminated")
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 0 place count 583 transition count 1417
Deduced a syphon composed of 2 places in 2 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 4 place count 581 transition count 1417
Applied a total of 4 rules in 24 ms. Remains 581 /583 variables (removed 2) and now considering 1417/1419 (removed 2) transitions.
// Phase 1: matrix 1417 rows 581 cols
[2020-06-04 07:13:22] [INFO ] Computed 55 place invariants in 17 ms
[2020-06-04 07:13:22] [INFO ] [Real]Absence check using 13 positive place invariants in 31 ms returned sat
[2020-06-04 07:13:22] [INFO ] [Real]Absence check using 13 positive and 42 generalized place invariants in 30 ms returned sat
[2020-06-04 07:13:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:13:24] [INFO ] [Real]Absence check using state equation in 1851 ms returned sat
[2020-06-04 07:13:24] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:13:24] [INFO ] [Nat]Absence check using 13 positive place invariants in 27 ms returned sat
[2020-06-04 07:13:24] [INFO ] [Nat]Absence check using 13 positive and 42 generalized place invariants in 30 ms returned sat
[2020-06-04 07:13:24] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:13:26] [INFO ] [Nat]Absence check using state equation in 2118 ms returned sat
[2020-06-04 07:13:26] [INFO ] Computed and/alt/rep : 1380/18032/1380 causal constraints in 73 ms.
[2020-06-04 07:13:45] [INFO ] Added : 480 causal constraints over 96 iterations in 19198 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 148 ms.
[2020-06-04 07:13:46] [INFO ] [Real]Absence check using 13 positive place invariants in 27 ms returned sat
[2020-06-04 07:13:46] [INFO ] [Real]Absence check using 13 positive and 42 generalized place invariants in 29 ms returned sat
[2020-06-04 07:13:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 07:13:48] [INFO ] [Real]Absence check using state equation in 1787 ms returned sat
[2020-06-04 07:13:48] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 07:13:48] [INFO ] [Nat]Absence check using 13 positive place invariants in 26 ms returned sat
[2020-06-04 07:13:48] [INFO ] [Nat]Absence check using 13 positive and 42 generalized place invariants in 28 ms returned sat
[2020-06-04 07:13:48] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 07:13:50] [INFO ] [Nat]Absence check using state equation in 1867 ms returned sat
[2020-06-04 07:13:50] [INFO ] Computed and/alt/rep : 1380/18032/1380 causal constraints in 104 ms.
[2020-06-04 07:14:10] [INFO ] Added : 495 causal constraints over 99 iterations in 20538 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 138 ms.
[2020-06-04 07:14:11] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 2 ms.
[2020-06-04 07:14:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 16 ms.
[2020-06-04 07:14:11] [INFO ] Flatten gal took : 333 ms
info: Time: 3600 - MCC
vrfy: Checking ReachabilityCardinality @ ASLink-PT-07b @ 3570 seconds
FORMULA ASLink-PT-07b-ReachabilityCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16427332 kB
MemFree: 7067424 kB
After kill :
MemTotal: 16427332 kB
MemFree: 16131452 kB
--------------------
content from stderr:
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-07b"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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 itslola"
echo " Input is ASLink-PT-07b, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r166-smll-158987787200118"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-07b.tgz
mv ASLink-PT-07b execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;