About the Execution of ITS-LoLa for ASLink-PT-09a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15740.300 | 3600000.00 | 684248.00 | 1432.30 | TFFTFF?FTTTTTTFT | 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-158987787300142.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-09a, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r166-smll-158987787300142
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 08:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:58 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 839K 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-09a-ReachabilityCardinality-00
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-01
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-02
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-03
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-04
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-05
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-06
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-07
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-08
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-09
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-10
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-11
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-12
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-13
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-14
FORMULA_NAME ASLink-PT-09a-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1591287036639
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 16:10:39] [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 16:10:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 16:10:39] [INFO ] Load time of PNML (sax parser for PT used): 422 ms
[2020-06-04 16:10:39] [INFO ] Transformed 1991 places.
[2020-06-04 16:10:39] [INFO ] Transformed 2919 transitions.
[2020-06-04 16:10:39] [INFO ] Found NUPN structural information;
[2020-06-04 16:10:39] [INFO ] Parsed PT model containing 1991 places and 2919 transitions in 583 ms.
Ensure Unique test removed 31 transitions
Reduce redundant transitions removed 31 transitions.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 136 ms.
Working with output stream class java.io.PrintStream
FORMULA ASLink-PT-09a-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09a-ReachabilityCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09a-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-09a-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Incomplete random walk after 10000 steps, including 47 resets, run finished after 222 ms. (steps per millisecond=45 ) properties seen :[0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1]
FORMULA ASLink-PT-09a-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityCardinality-04 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ASLink-PT-09a-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 45 ms. (steps per millisecond=222 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 39 ms. (steps per millisecond=256 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 44 ms. (steps per millisecond=227 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 4 resets, run finished after 54 ms. (steps per millisecond=185 ) properties seen :[0, 0, 0, 0, 0]
Incomplete Best-First random walk after 10001 steps, including 3 resets, run finished after 37 ms. (steps per millisecond=270 ) properties seen :[0, 0, 0, 0, 0]
// Phase 1: matrix 2888 rows 1991 cols
[2020-06-04 16:10:40] [INFO ] Computed 384 place invariants in 322 ms
[2020-06-04 16:10:41] [INFO ] [Real]Absence check using 93 positive place invariants in 332 ms returned sat
[2020-06-04 16:10:42] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 714 ms returned sat
[2020-06-04 16:10:42] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:10:45] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:10:45] [INFO ] [Real]Absence check using state equation in 3373 ms returned (error "Failed to check-sat")
[2020-06-04 16:10:46] [INFO ] [Real]Absence check using 93 positive place invariants in 281 ms returned sat
[2020-06-04 16:10:47] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 452 ms returned sat
[2020-06-04 16:10:47] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:10:50] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:10:50] [INFO ] [Real]Absence check using state equation in 3665 ms returned (error "Failed to check-sat")
[2020-06-04 16:10:51] [INFO ] [Real]Absence check using 93 positive place invariants in 291 ms returned sat
[2020-06-04 16:10:52] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 751 ms returned sat
[2020-06-04 16:10:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:10:55] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:10:55] [INFO ] [Real]Absence check using state equation in 3490 ms returned (error "Failed to check-sat")
[2020-06-04 16:10:56] [INFO ] [Real]Absence check using 93 positive place invariants in 268 ms returned sat
[2020-06-04 16:10:57] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 504 ms returned sat
[2020-06-04 16:10:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:11:00] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:11:00] [INFO ] [Real]Absence check using state equation in 3680 ms returned (error "Failed to check-sat")
[2020-06-04 16:11:01] [INFO ] [Real]Absence check using 93 positive place invariants in 176 ms returned sat
[2020-06-04 16:11:02] [INFO ] [Real]Absence check using 93 positive and 291 generalized place invariants in 463 ms returned sat
[2020-06-04 16:11:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:11:05] [INFO ] SMT solver returned unknown. Retrying;
[2020-06-04 16:11:05] [INFO ] [Real]Absence check using state equation in 3781 ms returned (error "Failed to check-sat")
Support contains 14 out of 1991 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1991/1991 places, 2888/2888 transitions.
Ensure Unique test removed 36 places
Discarding 18 places :
Implicit places reduction removed 18 places
Performed 183 Post agglomeration using F-continuation condition.Transition count delta: 183
Iterating post reduction 0 with 237 rules applied. Total rules applied 237 place count 1937 transition count 2705
Reduce places removed 183 places and 0 transitions.
Iterating post reduction 1 with 183 rules applied. Total rules applied 420 place count 1754 transition count 2705
Performed 187 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 187 Pre rules applied. Total rules applied 420 place count 1754 transition count 2518
Deduced a syphon composed of 187 places in 11 ms
Ensure Unique test removed 75 places
Reduce places removed 262 places and 0 transitions.
Iterating global reduction 2 with 449 rules applied. Total rules applied 869 place count 1492 transition count 2518
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 2 with 1 rules applied. Total rules applied 870 place count 1492 transition count 2517
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 3 with 1 rules applied. Total rules applied 871 place count 1491 transition count 2517
Symmetric choice reduction at 4 with 12 rule applications. Total rules 883 place count 1491 transition count 2517
Deduced a syphon composed of 12 places in 15 ms
Reduce places removed 12 places and 65 transitions.
Iterating global reduction 4 with 24 rules applied. Total rules applied 907 place count 1479 transition count 2452
Ensure Unique test removed 1 places
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Discarding 1 places :
Implicit places reduction removed 1 places
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: 3
Iterating post reduction 4 with 7 rules applied. Total rules applied 914 place count 1477 transition count 2447
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 5 with 3 rules applied. Total rules applied 917 place count 1474 transition count 2447
Symmetric choice reduction at 6 with 1 rule applications. Total rules 918 place count 1474 transition count 2447
Deduced a syphon composed of 1 places in 12 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 920 place count 1473 transition count 2439
Symmetric choice reduction at 6 with 1 rule applications. Total rules 921 place count 1473 transition count 2439
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 923 place count 1472 transition count 2431
Symmetric choice reduction at 6 with 1 rule applications. Total rules 924 place count 1472 transition count 2431
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 926 place count 1471 transition count 2423
Symmetric choice reduction at 6 with 1 rule applications. Total rules 927 place count 1471 transition count 2423
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 929 place count 1470 transition count 2415
Symmetric choice reduction at 6 with 1 rule applications. Total rules 930 place count 1470 transition count 2415
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 932 place count 1469 transition count 2407
Symmetric choice reduction at 6 with 1 rule applications. Total rules 933 place count 1469 transition count 2407
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 935 place count 1468 transition count 2399
Symmetric choice reduction at 6 with 1 rule applications. Total rules 936 place count 1468 transition count 2399
Deduced a syphon composed of 1 places in 7 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 938 place count 1467 transition count 2391
Symmetric choice reduction at 6 with 1 rule applications. Total rules 939 place count 1467 transition count 2391
Deduced a syphon composed of 1 places in 5 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 941 place count 1466 transition count 2383
Symmetric choice reduction at 6 with 1 rule applications. Total rules 942 place count 1466 transition count 2383
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 944 place count 1465 transition count 2375
Symmetric choice reduction at 6 with 1 rule applications. Total rules 945 place count 1465 transition count 2375
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 947 place count 1464 transition count 2367
Symmetric choice reduction at 6 with 1 rule applications. Total rules 948 place count 1464 transition count 2367
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 950 place count 1463 transition count 2359
Symmetric choice reduction at 6 with 1 rule applications. Total rules 951 place count 1463 transition count 2359
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 953 place count 1462 transition count 2351
Symmetric choice reduction at 6 with 1 rule applications. Total rules 954 place count 1462 transition count 2351
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 956 place count 1461 transition count 2343
Symmetric choice reduction at 6 with 1 rule applications. Total rules 957 place count 1461 transition count 2343
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 959 place count 1460 transition count 2335
Symmetric choice reduction at 6 with 1 rule applications. Total rules 960 place count 1460 transition count 2335
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 962 place count 1459 transition count 2327
Symmetric choice reduction at 6 with 1 rule applications. Total rules 963 place count 1459 transition count 2327
Deduced a syphon composed of 1 places in 4 ms
Reduce places removed 1 places and 8 transitions.
Iterating global reduction 6 with 2 rules applied. Total rules applied 965 place count 1458 transition count 2319
Performed 63 Post agglomeration using F-continuation condition.Transition count delta: 63
Deduced a syphon composed of 63 places in 4 ms
Reduce places removed 63 places and 0 transitions.
Iterating global reduction 6 with 126 rules applied. Total rules applied 1091 place count 1395 transition count 2256
Free-agglomeration rule (complex) applied 8 times.
Iterating global reduction 6 with 8 rules applied. Total rules applied 1099 place count 1395 transition count 2248
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 6 with 8 rules applied. Total rules applied 1107 place count 1387 transition count 2248
Partial Free-agglomeration rule applied 10 times.
Drop transitions removed 10 transitions
Iterating global reduction 7 with 10 rules applied. Total rules applied 1117 place count 1387 transition count 2248
Partial Post-agglomeration rule applied 9 times.
Drop transitions removed 9 transitions
Iterating global reduction 7 with 9 rules applied. Total rules applied 1126 place count 1387 transition count 2248
Applied a total of 1126 rules in 2104 ms. Remains 1387 /1991 variables (removed 604) and now considering 2248/2888 (removed 640) transitions.
Finished structural reductions, in 1 iterations. Remains : 1387/1991 places, 2248/2888 transitions.
Incomplete random walk after 1000000 steps, including 8063 resets, run finished after 7581 ms. (steps per millisecond=131 ) properties seen :[1, 0, 0, 0, 0]
FORMULA ASLink-PT-09a-ReachabilityCardinality-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 1000001 steps, including 935 resets, run finished after 2629 ms. (steps per millisecond=380 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 938 resets, run finished after 2775 ms. (steps per millisecond=360 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 934 resets, run finished after 2626 ms. (steps per millisecond=380 ) properties seen :[0, 0, 0, 0]
Incomplete Best-First random walk after 1000001 steps, including 804 resets, run finished after 2356 ms. (steps per millisecond=424 ) properties seen :[0, 0, 0, 0]
// Phase 1: matrix 2248 rows 1387 cols
[2020-06-04 16:11:26] [INFO ] Computed 253 place invariants in 329 ms
[2020-06-04 16:11:26] [INFO ] [Real]Absence check using 66 positive place invariants in 103 ms returned sat
[2020-06-04 16:11:26] [INFO ] [Real]Absence check using 66 positive and 187 generalized place invariants in 238 ms returned sat
[2020-06-04 16:11:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:11:35] [INFO ] [Real]Absence check using state equation in 8799 ms returned sat
[2020-06-04 16:11:35] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:11:36] [INFO ] [Nat]Absence check using 66 positive place invariants in 106 ms returned sat
[2020-06-04 16:11:36] [INFO ] [Nat]Absence check using 66 positive and 187 generalized place invariants in 201 ms returned sat
[2020-06-04 16:11:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:11:45] [INFO ] [Nat]Absence check using state equation in 9071 ms returned sat
[2020-06-04 16:11:45] [INFO ] State equation strengthened by 66 read => feed constraints.
[2020-06-04 16:11:46] [INFO ] [Nat]Added 66 Read/Feed constraints in 708 ms returned sat
[2020-06-04 16:11:46] [INFO ] Computed and/alt/rep : 2247/27234/2247 causal constraints in 380 ms.
[2020-06-04 16:12:04] [INFO ] Added : 205 causal constraints over 41 iterations in 17729 ms. Result :unknown
[2020-06-04 16:12:04] [INFO ] [Real]Absence check using 66 positive place invariants in 104 ms returned sat
[2020-06-04 16:12:04] [INFO ] [Real]Absence check using 66 positive and 187 generalized place invariants in 210 ms returned sat
[2020-06-04 16:12:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:12:14] [INFO ] [Real]Absence check using state equation in 9846 ms returned sat
[2020-06-04 16:12:14] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:12:15] [INFO ] [Nat]Absence check using 66 positive place invariants in 104 ms returned sat
[2020-06-04 16:12:15] [INFO ] [Nat]Absence check using 66 positive and 187 generalized place invariants in 295 ms returned sat
[2020-06-04 16:12:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:12:23] [INFO ] [Nat]Absence check using state equation in 8111 ms returned sat
[2020-06-04 16:12:24] [INFO ] [Nat]Added 66 Read/Feed constraints in 827 ms returned sat
[2020-06-04 16:12:24] [INFO ] Computed and/alt/rep : 2247/27234/2247 causal constraints in 187 ms.
[2020-06-04 16:12:40] [INFO ] Added : 200 causal constraints over 40 iterations in 15726 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 79 ms.
[2020-06-04 16:12:41] [INFO ] [Real]Absence check using 66 positive place invariants in 105 ms returned sat
[2020-06-04 16:12:41] [INFO ] [Real]Absence check using 66 positive and 187 generalized place invariants in 237 ms returned sat
[2020-06-04 16:12:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:12:51] [INFO ] [Real]Absence check using state equation in 9974 ms returned sat
[2020-06-04 16:12:51] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:12:51] [INFO ] [Nat]Absence check using 66 positive place invariants in 160 ms returned sat
[2020-06-04 16:12:52] [INFO ] [Nat]Absence check using 66 positive and 187 generalized place invariants in 342 ms returned sat
[2020-06-04 16:12:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:13:00] [INFO ] [Nat]Absence check using state equation in 7735 ms returned sat
[2020-06-04 16:13:00] [INFO ] [Nat]Added 66 Read/Feed constraints in 888 ms returned sat
[2020-06-04 16:13:01] [INFO ] Computed and/alt/rep : 2247/27234/2247 causal constraints in 200 ms.
[2020-06-04 16:13:20] [INFO ] Added : 205 causal constraints over 41 iterations in 19461 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 111 ms.
[2020-06-04 16:13:21] [INFO ] [Real]Absence check using 66 positive place invariants in 106 ms returned sat
[2020-06-04 16:13:21] [INFO ] [Real]Absence check using 66 positive and 187 generalized place invariants in 223 ms returned sat
[2020-06-04 16:13:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:13:29] [INFO ] [Real]Absence check using state equation in 8645 ms returned sat
[2020-06-04 16:13:30] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:13:30] [INFO ] [Nat]Absence check using 66 positive place invariants in 168 ms returned sat
[2020-06-04 16:13:30] [INFO ] [Nat]Absence check using 66 positive and 187 generalized place invariants in 244 ms returned sat
[2020-06-04 16:13:30] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:13:38] [INFO ] [Nat]Absence check using state equation in 7814 ms returned sat
[2020-06-04 16:13:39] [INFO ] [Nat]Added 66 Read/Feed constraints in 679 ms returned sat
[2020-06-04 16:13:39] [INFO ] Computed and/alt/rep : 2247/27234/2247 causal constraints in 306 ms.
[2020-06-04 16:13:57] [INFO ] Added : 205 causal constraints over 41 iterations in 18501 ms. Result :unknown
Incomplete Parikh walk after 838500 steps, including 5213 resets, run finished after 6001 ms. (steps per millisecond=139 ) properties seen :[1, 0, 1, 0] could not realise parikh vector
FORMULA ASLink-PT-09a-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA ASLink-PT-09a-ReachabilityCardinality-05 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Incomplete Parikh walk after 884800 steps, including 5459 resets, run finished after 6142 ms. (steps per millisecond=144 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 852000 steps, including 5265 resets, run finished after 5728 ms. (steps per millisecond=148 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 817700 steps, including 5108 resets, run finished after 5737 ms. (steps per millisecond=142 ) properties seen :[0, 0] could not realise parikh vector
Support contains 6 out of 1387 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1387/1387 places, 2248/2248 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 1387 transition count 2247
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 1386 transition count 2247
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 1 Pre rules applied. Total rules applied 2 place count 1386 transition count 2246
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 4 place count 1385 transition count 2246
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 2 with 1 rules applied. Total rules applied 5 place count 1384 transition count 2245
Reduce places removed 18 places and 0 transitions.
Iterating post reduction 2 with 18 rules applied. Total rules applied 23 place count 1366 transition count 2245
Performed 27 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 27 Pre rules applied. Total rules applied 23 place count 1366 transition count 2218
Deduced a syphon composed of 27 places in 4 ms
Ensure Unique test removed 1 places
Reduce places removed 28 places and 0 transitions.
Iterating global reduction 3 with 55 rules applied. Total rules applied 78 place count 1338 transition count 2218
Discarding 10 places :
Implicit places reduction removed 10 places
Iterating post reduction 3 with 10 rules applied. Total rules applied 88 place count 1328 transition count 2218
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 4 with 1 Pre rules applied. Total rules applied 88 place count 1328 transition count 2217
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 4 with 2 rules applied. Total rules applied 90 place count 1327 transition count 2217
Performed 19 Post agglomeration using F-continuation condition.Transition count delta: 19
Deduced a syphon composed of 19 places in 5 ms
Reduce places removed 19 places and 0 transitions.
Iterating global reduction 4 with 38 rules applied. Total rules applied 128 place count 1308 transition count 2198
Symmetric choice reduction at 4 with 9 rule applications. Total rules 137 place count 1308 transition count 2198
Deduced a syphon composed of 9 places in 5 ms
Reduce places removed 9 places and 9 transitions.
Iterating global reduction 4 with 18 rules applied. Total rules applied 155 place count 1299 transition count 2189
Free-agglomeration rule applied 9 times.
Iterating global reduction 4 with 9 rules applied. Total rules applied 164 place count 1299 transition count 2180
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 4 with 9 rules applied. Total rules applied 173 place count 1290 transition count 2180
Partial Free-agglomeration rule applied 9 times.
Drop transitions removed 9 transitions
Iterating global reduction 5 with 9 rules applied. Total rules applied 182 place count 1290 transition count 2180
Applied a total of 182 rules in 716 ms. Remains 1290 /1387 variables (removed 97) and now considering 2180/2248 (removed 68) transitions.
Finished structural reductions, in 1 iterations. Remains : 1290/1387 places, 2180/2248 transitions.
Incomplete random walk after 1000000 steps, including 9947 resets, run finished after 6063 ms. (steps per millisecond=164 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 1081 resets, run finished after 2224 ms. (steps per millisecond=449 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 964 resets, run finished after 2249 ms. (steps per millisecond=444 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 1425799 steps, run timeout after 30001 ms. (steps per millisecond=47 ) properties seen :[0, 0]
Probabilistic random walk after 1425799 steps, saw 396565 distinct states, run finished after 30001 ms. (steps per millisecond=47 ) properties seen :[0, 0]
// Phase 1: matrix 2180 rows 1290 cols
[2020-06-04 16:15:02] [INFO ] Computed 224 place invariants in 136 ms
[2020-06-04 16:15:03] [INFO ] [Real]Absence check using 53 positive place invariants in 141 ms returned sat
[2020-06-04 16:15:03] [INFO ] [Real]Absence check using 53 positive and 171 generalized place invariants in 314 ms returned sat
[2020-06-04 16:15:03] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:15:11] [INFO ] [Real]Absence check using state equation in 7841 ms returned sat
[2020-06-04 16:15:11] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:15:12] [INFO ] [Nat]Absence check using 53 positive place invariants in 125 ms returned sat
[2020-06-04 16:15:12] [INFO ] [Nat]Absence check using 53 positive and 171 generalized place invariants in 187 ms returned sat
[2020-06-04 16:15:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:15:19] [INFO ] [Nat]Absence check using state equation in 7439 ms returned sat
[2020-06-04 16:15:20] [INFO ] Computed and/alt/rep : 2135/23010/2135 causal constraints in 246 ms.
[2020-06-04 16:15:34] [INFO ] Added : 160 causal constraints over 32 iterations in 15143 ms. Result :sat
Attempting to minimize the solution found.
Minimization took 102 ms.
[2020-06-04 16:15:35] [INFO ] [Real]Absence check using 53 positive place invariants in 141 ms returned sat
[2020-06-04 16:15:36] [INFO ] [Real]Absence check using 53 positive and 171 generalized place invariants in 285 ms returned sat
[2020-06-04 16:15:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:15:43] [INFO ] [Real]Absence check using state equation in 7683 ms returned sat
[2020-06-04 16:15:43] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:15:44] [INFO ] [Nat]Absence check using 53 positive place invariants in 81 ms returned sat
[2020-06-04 16:15:44] [INFO ] [Nat]Absence check using 53 positive and 171 generalized place invariants in 183 ms returned sat
[2020-06-04 16:15:44] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:15:52] [INFO ] [Nat]Absence check using state equation in 7864 ms returned sat
[2020-06-04 16:15:52] [INFO ] Computed and/alt/rep : 2135/23010/2135 causal constraints in 162 ms.
[2020-06-04 16:16:05] [INFO ] Added : 130 causal constraints over 26 iterations in 12926 ms. Result :unknown
Incomplete Parikh walk after 106500 steps, including 1696 resets, run finished after 930 ms. (steps per millisecond=114 ) properties seen :[0, 0] could not realise parikh vector
Incomplete Parikh walk after 173600 steps, including 2224 resets, run finished after 1081 ms. (steps per millisecond=160 ) properties seen :[0, 0] could not realise parikh vector
Support contains 6 out of 1290 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 1290/1290 places, 2180/2180 transitions.
Applied a total of 0 rules in 57 ms. Remains 1290 /1290 variables (removed 0) and now considering 2180/2180 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 1290/1290 places, 2180/2180 transitions.
Starting structural reductions, iteration 0 : 1290/1290 places, 2180/2180 transitions.
Applied a total of 0 rules in 56 ms. Remains 1290 /1290 variables (removed 0) and now considering 2180/2180 (removed 0) transitions.
// Phase 1: matrix 2180 rows 1290 cols
[2020-06-04 16:16:07] [INFO ] Computed 224 place invariants in 62 ms
[2020-06-04 16:16:14] [INFO ] Implicit Places using invariants in 6967 ms returned [0, 18, 19, 30, 48, 66, 135, 139, 148, 149, 150, 168, 186, 255, 259, 260, 271, 272, 273, 291, 309, 378, 382, 383, 394, 395, 396, 414, 432, 501, 505, 506, 517, 518, 519, 537, 555, 625, 629, 630, 641, 642, 643, 661, 679, 748, 752, 753, 764, 765, 766, 784, 802, 871, 875, 876, 887, 888, 889, 907, 925, 994, 998, 999, 1010, 1011, 1012, 1030, 1048, 1117, 1121, 1122, 1125, 1136, 1137, 1138, 1156, 1158, 1161, 1179, 1180, 1181, 1182, 1194, 1200, 1206, 1212, 1218, 1224, 1230, 1236, 1242, 1248, 1254]
Discarding 94 places :
Implicit Place search using SMT only with invariants took 6975 ms to find 94 implicit places.
[2020-06-04 16:16:14] [INFO ] Redundant transitions in 338 ms returned []
// Phase 1: matrix 2180 rows 1196 cols
[2020-06-04 16:16:14] [INFO ] Computed 130 place invariants in 64 ms
[2020-06-04 16:16:26] [INFO ] Dead Transitions using invariants and state equation in 11927 ms returned []
Starting structural reductions, iteration 1 : 1196/1290 places, 2180/2180 transitions.
Performed 166 Post agglomeration using F-continuation condition.Transition count delta: 166
Iterating post reduction 0 with 166 rules applied. Total rules applied 166 place count 1196 transition count 2014
Reduce places removed 166 places and 0 transitions.
Iterating post reduction 1 with 166 rules applied. Total rules applied 332 place count 1030 transition count 2014
Performed 43 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 43 Pre rules applied. Total rules applied 332 place count 1030 transition count 1971
Deduced a syphon composed of 43 places in 3 ms
Ensure Unique test removed 1 places
Reduce places removed 44 places and 0 transitions.
Iterating global reduction 2 with 87 rules applied. Total rules applied 419 place count 986 transition count 1971
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 431 place count 982 transition count 1963
Reduce places removed 8 places and 0 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 439 place count 974 transition count 1963
Symmetric choice reduction at 4 with 15 rule applications. Total rules 454 place count 974 transition count 1963
Deduced a syphon composed of 15 places in 3 ms
Reduce places removed 15 places and 15 transitions.
Iterating global reduction 4 with 30 rules applied. Total rules applied 484 place count 959 transition count 1948
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 4 with 3 rules applied. Total rules applied 487 place count 959 transition count 1945
Performed 1 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 1 Pre rules applied. Total rules applied 487 place count 959 transition count 1944
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 0 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 489 place count 958 transition count 1944
Symmetric choice reduction at 5 with 3 rule applications. Total rules 492 place count 958 transition count 1944
Deduced a syphon composed of 3 places in 3 ms
Reduce places removed 3 places and 3 transitions.
Iterating global reduction 5 with 6 rules applied. Total rules applied 498 place count 955 transition count 1941
Symmetric choice reduction at 5 with 1 rule applications. Total rules 499 place count 955 transition count 1941
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 501 place count 954 transition count 1940
Symmetric choice reduction at 5 with 1 rule applications. Total rules 502 place count 954 transition count 1940
Deduced a syphon composed of 1 places in 3 ms
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 5 with 2 rules applied. Total rules applied 504 place count 953 transition count 1939
Performed 74 Post agglomeration using F-continuation condition.Transition count delta: 74
Deduced a syphon composed of 74 places in 3 ms
Reduce places removed 74 places and 0 transitions.
Iterating global reduction 5 with 148 rules applied. Total rules applied 652 place count 879 transition count 1865
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 5 with 9 rules applied. Total rules applied 661 place count 879 transition count 1856
Symmetric choice reduction at 6 with 9 rule applications. Total rules 670 place count 879 transition count 1856
Deduced a syphon composed of 9 places in 5 ms
Reduce places removed 9 places and 9 transitions.
Iterating global reduction 6 with 18 rules applied. Total rules applied 688 place count 870 transition count 1847
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 6 with 9 rules applied. Total rules applied 697 place count 870 transition count 1838
Free-agglomeration rule (complex) applied 19 times.
Iterating global reduction 7 with 19 rules applied. Total rules applied 716 place count 870 transition count 1819
Ensure Unique test removed 1 places
Reduce places removed 20 places and 0 transitions.
Iterating post reduction 7 with 20 rules applied. Total rules applied 736 place count 850 transition count 1819
Partial Free-agglomeration rule applied 28 times.
Drop transitions removed 28 transitions
Iterating global reduction 8 with 28 rules applied. Total rules applied 764 place count 850 transition count 1819
Applied a total of 764 rules in 458 ms. Remains 850 /1196 variables (removed 346) and now considering 1819/2180 (removed 361) transitions.
// Phase 1: matrix 1819 rows 850 cols
[2020-06-04 16:16:26] [INFO ] Computed 124 place invariants in 51 ms
[2020-06-04 16:16:30] [INFO ] Implicit Places using invariants in 4058 ms returned [72, 89, 95, 98, 100, 103, 104, 156, 173, 179, 182, 184, 189, 190, 242, 259, 265, 268, 270, 275, 276, 328, 345, 351, 354, 356, 361, 362, 414, 432, 438, 441, 443, 448, 449, 501, 518, 524, 527, 529, 534, 535, 587, 604, 610, 613, 615, 620, 621, 673, 690, 696, 699, 701, 706, 707, 759, 776, 782, 785, 787]
Discarding 61 places :
Implicit Place search using SMT only with invariants took 4071 ms to find 61 implicit places.
Starting structural reductions, iteration 2 : 789/1290 places, 1819/2180 transitions.
Symmetric choice reduction at 0 with 27 rule applications. Total rules 27 place count 789 transition count 1819
Deduced a syphon composed of 27 places in 3 ms
Reduce places removed 27 places and 27 transitions.
Iterating global reduction 0 with 54 rules applied. Total rules applied 81 place count 762 transition count 1792
Symmetric choice reduction at 0 with 9 rule applications. Total rules 90 place count 762 transition count 1792
Deduced a syphon composed of 9 places in 3 ms
Reduce places removed 9 places and 9 transitions.
Iterating global reduction 0 with 18 rules applied. Total rules applied 108 place count 753 transition count 1783
Performed 18 Post agglomeration using F-continuation condition.Transition count delta: 18
Deduced a syphon composed of 18 places in 4 ms
Reduce places removed 18 places and 0 transitions.
Iterating global reduction 0 with 36 rules applied. Total rules applied 144 place count 735 transition count 1765
Free-agglomeration rule applied 26 times.
Iterating global reduction 0 with 26 rules applied. Total rules applied 170 place count 735 transition count 1739
Reduce places removed 26 places and 0 transitions.
Iterating post reduction 0 with 26 rules applied. Total rules applied 196 place count 709 transition count 1739
Free-agglomeration rule (complex) applied 9 times.
Iterating global reduction 1 with 9 rules applied. Total rules applied 205 place count 709 transition count 1730
Reduce places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 214 place count 700 transition count 1730
Partial Post-agglomeration rule applied 9 times.
Drop transitions removed 9 transitions
Iterating global reduction 2 with 9 rules applied. Total rules applied 223 place count 700 transition count 1730
Applied a total of 223 rules in 314 ms. Remains 700 /789 variables (removed 89) and now considering 1730/1819 (removed 89) transitions.
// Phase 1: matrix 1730 rows 700 cols
[2020-06-04 16:16:31] [INFO ] Computed 63 place invariants in 43 ms
[2020-06-04 16:16:34] [INFO ] Implicit Places using invariants in 3132 ms returned []
// Phase 1: matrix 1730 rows 700 cols
[2020-06-04 16:16:34] [INFO ] Computed 63 place invariants in 38 ms
[2020-06-04 16:16:45] [INFO ] Implicit Places using invariants and state equation in 10937 ms returned []
Implicit Place search using SMT with State Equation took 14071 ms to find 0 implicit places.
Finished structural reductions, in 3 iterations. Remains : 700/1290 places, 1730/2180 transitions.
Incomplete random walk after 1000000 steps, including 16367 resets, run finished after 4670 ms. (steps per millisecond=214 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2491 resets, run finished after 1373 ms. (steps per millisecond=728 ) properties seen :[0, 0]
Incomplete Best-First random walk after 1000001 steps, including 2058 resets, run finished after 1140 ms. (steps per millisecond=877 ) properties seen :[0, 0]
Interrupted probabilistic random walk after 2386280 steps, run timeout after 30001 ms. (steps per millisecond=79 ) properties seen :[0, 0]
Probabilistic random walk after 2386280 steps, saw 647008 distinct states, run finished after 30001 ms. (steps per millisecond=79 ) properties seen :[0, 0]
// Phase 1: matrix 1730 rows 700 cols
[2020-06-04 16:17:22] [INFO ] Computed 63 place invariants in 25 ms
[2020-06-04 16:17:22] [INFO ] [Real]Absence check using 16 positive place invariants in 56 ms returned sat
[2020-06-04 16:17:22] [INFO ] [Real]Absence check using 16 positive and 47 generalized place invariants in 39 ms returned sat
[2020-06-04 16:17:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:17:25] [INFO ] [Real]Absence check using state equation in 2895 ms returned sat
[2020-06-04 16:17:25] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:17:26] [INFO ] [Nat]Absence check using 16 positive place invariants in 56 ms returned sat
[2020-06-04 16:17:26] [INFO ] [Nat]Absence check using 16 positive and 47 generalized place invariants in 57 ms returned sat
[2020-06-04 16:17:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:17:29] [INFO ] [Nat]Absence check using state equation in 3092 ms returned sat
[2020-06-04 16:17:29] [INFO ] Computed and/alt/rep : 1688/21945/1688 causal constraints in 133 ms.
[2020-06-04 16:17:52] [INFO ] Added : 305 causal constraints over 61 iterations in 22854 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 86 ms.
[2020-06-04 16:17:52] [INFO ] [Real]Absence check using 16 positive place invariants in 34 ms returned sat
[2020-06-04 16:17:52] [INFO ] [Real]Absence check using 16 positive and 47 generalized place invariants in 38 ms returned sat
[2020-06-04 16:17:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:17:55] [INFO ] [Real]Absence check using state equation in 2821 ms returned sat
[2020-06-04 16:17:55] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:17:55] [INFO ] [Nat]Absence check using 16 positive place invariants in 36 ms returned sat
[2020-06-04 16:17:55] [INFO ] [Nat]Absence check using 16 positive and 47 generalized place invariants in 40 ms returned sat
[2020-06-04 16:17:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:17:58] [INFO ] [Nat]Absence check using state equation in 2748 ms returned sat
[2020-06-04 16:17:58] [INFO ] Computed and/alt/rep : 1688/21945/1688 causal constraints in 205 ms.
[2020-06-04 16:18:22] [INFO ] Added : 350 causal constraints over 70 iterations in 24053 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 107 ms.
Incomplete Parikh walk after 52300 steps, including 1567 resets, run finished after 311 ms. (steps per millisecond=168 ) properties seen :[0, 1] could not realise parikh vector
FORMULA ASLink-PT-09a-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Incomplete Parikh walk after 121300 steps, including 3203 resets, run finished after 661 ms. (steps per millisecond=183 ) properties seen :[0] could not realise parikh vector
Support contains 4 out of 700 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 700/700 places, 1730/1730 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 700 transition count 1729
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 2 place count 699 transition count 1729
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 3 place count 699 transition count 1728
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 4 place count 698 transition count 1728
Applied a total of 4 rules in 81 ms. Remains 698 /700 variables (removed 2) and now considering 1728/1730 (removed 2) transitions.
Finished structural reductions, in 1 iterations. Remains : 698/700 places, 1728/1730 transitions.
Incomplete random walk after 1000000 steps, including 16872 resets, run finished after 5034 ms. (steps per millisecond=198 ) properties seen :[0]
Incomplete Best-First random walk after 1000000 steps, including 2515 resets, run finished after 1519 ms. (steps per millisecond=658 ) properties seen :[0]
Interrupted probabilistic random walk after 2356893 steps, run timeout after 30001 ms. (steps per millisecond=78 ) properties seen :[0]
Probabilistic random walk after 2356893 steps, saw 643480 distinct states, run finished after 30001 ms. (steps per millisecond=78 ) properties seen :[0]
// Phase 1: matrix 1728 rows 698 cols
[2020-06-04 16:19:00] [INFO ] Computed 63 place invariants in 44 ms
[2020-06-04 16:19:00] [INFO ] [Real]Absence check using 17 positive place invariants in 58 ms returned sat
[2020-06-04 16:19:00] [INFO ] [Real]Absence check using 17 positive and 46 generalized place invariants in 51 ms returned sat
[2020-06-04 16:19:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:19:03] [INFO ] [Real]Absence check using state equation in 2888 ms returned sat
[2020-06-04 16:19:03] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:19:04] [INFO ] [Nat]Absence check using 17 positive place invariants in 60 ms returned sat
[2020-06-04 16:19:04] [INFO ] [Nat]Absence check using 17 positive and 46 generalized place invariants in 54 ms returned sat
[2020-06-04 16:19:04] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:19:07] [INFO ] [Nat]Absence check using state equation in 3735 ms returned sat
[2020-06-04 16:19:08] [INFO ] Computed and/alt/rep : 1686/21943/1686 causal constraints in 143 ms.
[2020-06-04 16:19:28] [INFO ] Added : 290 causal constraints over 58 iterations in 20136 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 104 ms.
Incomplete Parikh walk after 146900 steps, including 1967 resets, run finished after 957 ms. (steps per millisecond=153 ) properties seen :[0] could not realise parikh vector
Support contains 4 out of 698 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 698/698 places, 1728/1728 transitions.
Applied a total of 0 rules in 34 ms. Remains 698 /698 variables (removed 0) and now considering 1728/1728 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 698/698 places, 1728/1728 transitions.
Starting structural reductions, iteration 0 : 698/698 places, 1728/1728 transitions.
Applied a total of 0 rules in 33 ms. Remains 698 /698 variables (removed 0) and now considering 1728/1728 (removed 0) transitions.
// Phase 1: matrix 1728 rows 698 cols
[2020-06-04 16:19:29] [INFO ] Computed 63 place invariants in 36 ms
[2020-06-04 16:19:32] [INFO ] Implicit Places using invariants in 3269 ms returned []
// Phase 1: matrix 1728 rows 698 cols
[2020-06-04 16:19:32] [INFO ] Computed 63 place invariants in 53 ms
[2020-06-04 16:19:44] [INFO ] Implicit Places using invariants and state equation in 11844 ms returned []
Implicit Place search using SMT with State Equation took 15119 ms to find 0 implicit places.
[2020-06-04 16:19:44] [INFO ] Redundant transitions in 137 ms returned []
// Phase 1: matrix 1728 rows 698 cols
[2020-06-04 16:19:44] [INFO ] Computed 63 place invariants in 24 ms
[2020-06-04 16:19:49] [INFO ] Dead Transitions using invariants and state equation in 5272 ms returned []
Finished structural reductions, in 1 iterations. Remains : 698/698 places, 1728/1728 transitions.
Incomplete random walk after 100000 steps, including 1659 resets, run finished after 690 ms. (steps per millisecond=144 ) properties seen :[0]
// Phase 1: matrix 1728 rows 698 cols
[2020-06-04 16:19:50] [INFO ] Computed 63 place invariants in 46 ms
[2020-06-04 16:19:50] [INFO ] [Real]Absence check using 17 positive place invariants in 54 ms returned sat
[2020-06-04 16:19:50] [INFO ] [Real]Absence check using 17 positive and 46 generalized place invariants in 52 ms returned sat
[2020-06-04 16:19:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:19:54] [INFO ] [Real]Absence check using state equation in 3843 ms returned sat
[2020-06-04 16:19:54] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:19:55] [INFO ] [Nat]Absence check using 17 positive place invariants in 38 ms returned sat
[2020-06-04 16:19:55] [INFO ] [Nat]Absence check using 17 positive and 46 generalized place invariants in 33 ms returned sat
[2020-06-04 16:19:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:19:59] [INFO ] [Nat]Absence check using state equation in 3964 ms returned sat
[2020-06-04 16:19:59] [INFO ] Computed and/alt/rep : 1686/21943/1686 causal constraints in 149 ms.
[2020-06-04 16:20:14] [INFO ] Added : 235 causal constraints over 47 iterations in 15758 ms. Result :unknown
Applied a total of 0 rules in 41 ms. Remains 698 /698 variables (removed 0) and now considering 1728/1728 (removed 0) transitions.
// Phase 1: matrix 1728 rows 698 cols
[2020-06-04 16:20:14] [INFO ] Computed 63 place invariants in 26 ms
[2020-06-04 16:20:15] [INFO ] [Real]Absence check using 17 positive place invariants in 38 ms returned sat
[2020-06-04 16:20:15] [INFO ] [Real]Absence check using 17 positive and 46 generalized place invariants in 55 ms returned sat
[2020-06-04 16:20:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 16:20:19] [INFO ] [Real]Absence check using state equation in 3963 ms returned sat
[2020-06-04 16:20:19] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 16:20:19] [INFO ] [Nat]Absence check using 17 positive place invariants in 35 ms returned sat
[2020-06-04 16:20:19] [INFO ] [Nat]Absence check using 17 positive and 46 generalized place invariants in 34 ms returned sat
[2020-06-04 16:20:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 16:20:23] [INFO ] [Nat]Absence check using state equation in 3690 ms returned sat
[2020-06-04 16:20:23] [INFO ] Computed and/alt/rep : 1686/21943/1686 causal constraints in 202 ms.
[2020-06-04 16:20:43] [INFO ] Added : 310 causal constraints over 62 iterations in 20107 ms.(timeout) Result :sat
Attempting to minimize the solution found.
Minimization took 99 ms.
[2020-06-04 16:20:43] [INFO ] Export to MCC properties in file /home/mcc/execution/ReachabilityCardinality.sr.xml took 3 ms.
[2020-06-04 16:20:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 26 ms.
[2020-06-04 16:20:44] [INFO ] Flatten gal took : 381 ms
info: Time: 3600 - MCC
vrfy: Checking ReachabilityCardinality @ ASLink-PT-09a @ 3570 seconds
vrfy: finished
info: timeLeft: 3546
rslt: Output for ReachabilityCardinality @ ASLink-PT-09a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"localtimelimit": 0,
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=ReachabilityCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--json=ReachabilityCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Jun 4 16:20:45 2020
",
"timelimit": 3570
},
"child": null,
"exit":
{
"error": null,
"localtimelimitreached": true,
"memory": 35016,
"runtime": 23.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "ReachabilityCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (G (((2 <= p505) OR (p505 <= 0) OR (2 <= p282) OR (p282 <= 0) OR ((p384 <= 0)) OR ((1 <= p669)))))",
"processed_size": 105,
"rewrites": 2,
"skeleton": "A(G(**))"
},
"net":
{
"arcs": 7066,
"conflict_clusters": 53,
"places": 698,
"places_significant": 635,
"singleton_clusters": 0,
"transitions": 1728
},
"task":
{
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 6,
"problems": 6
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 2426/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 698
lola: finding significant places
lola: 698 places, 1728 transitions, 635 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from ReachabilityCardinality.xml
lola: LP says that atomic proposition is always true: (p669 <= 1)
lola: A (G (((2 <= p505) OR (p505 <= 0) OR (2 <= p282) OR (p282 <= 0) OR ((p384 <= 0)) OR ((1 <= p669)))))
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (((2 <= p505) OR (p505 <= 0) OR (2 <= p282) OR (p282 <= 0) OR ((p384 <= 0)) OR ((1 <= p669)))))
lola: processed formula length: 105
lola: 2 rewrites
lola: closed formula file ReachabilityCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: subprocess will run for 0 seconds at most (--localtimelimit)
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: local time limit reached - aborting
lola: formula 0: ((p505 <= 1) AND (1 <= p505) AND (p282 <= 1) AND (1 <= p282) AND ((1 <= p384)) AND ((p669 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 1 conjunctive subformulas
lola: memory consumption: 35016 KB
lola: time consumption: 23 seconds
lola: print data as JSON (--json)
lola: writing JSON to ReachabilityCardinality.json
lola: closed JSON file ReachabilityCardinality.json
rslt: finished
--------------------
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-09a"
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-09a, 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-158987787300142"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-09a.tgz
mv ASLink-PT-09a 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 ;