About the Execution of 2020-gold for DNAwalker-PT-08ringLL
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 12183.600 | 3600000.00 | 3212503.00 | 10870.90 | FTF?FFFFF?FFFFF? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r075-tall-162039097500294.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is DNAwalker-PT-08ringLL, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-tall-162039097500294
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 8.6K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 23 10:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 23 10:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 22 17:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 22 17:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 9 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 112K May 5 16:51 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-08ringLL-00
FORMULA_NAME DNAwalker-PT-08ringLL-01
FORMULA_NAME DNAwalker-PT-08ringLL-02
FORMULA_NAME DNAwalker-PT-08ringLL-03
FORMULA_NAME DNAwalker-PT-08ringLL-04
FORMULA_NAME DNAwalker-PT-08ringLL-05
FORMULA_NAME DNAwalker-PT-08ringLL-06
FORMULA_NAME DNAwalker-PT-08ringLL-07
FORMULA_NAME DNAwalker-PT-08ringLL-08
FORMULA_NAME DNAwalker-PT-08ringLL-09
FORMULA_NAME DNAwalker-PT-08ringLL-10
FORMULA_NAME DNAwalker-PT-08ringLL-11
FORMULA_NAME DNAwalker-PT-08ringLL-12
FORMULA_NAME DNAwalker-PT-08ringLL-13
FORMULA_NAME DNAwalker-PT-08ringLL-14
FORMULA_NAME DNAwalker-PT-08ringLL-15
=== Now, execution of the tool begins
BK_START 1620559968967
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-09 11:32:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-09 11:32:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-09 11:32:50] [INFO ] Load time of PNML (sax parser for PT used): 60 ms
[2021-05-09 11:32:50] [INFO ] Transformed 27 places.
[2021-05-09 11:32:50] [INFO ] Transformed 260 transitions.
[2021-05-09 11:32:50] [INFO ] Parsed PT model containing 27 places and 260 transitions in 107 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 16 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 1825 steps, including 143 resets, run visited all 49 properties in 29 ms. (steps per millisecond=62 )
[2021-05-09 11:32:50] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2021-05-09 11:32:50] [INFO ] Flatten gal took : 51 ms
FORMULA DNAwalker-PT-08ringLL-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DNAwalker-PT-08ringLL-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-09 11:32:50] [INFO ] Flatten gal took : 17 ms
[2021-05-09 11:32:50] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-09 11:32:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 4 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ DNAwalker-PT-08ringLL @ 3570 seconds
FORMULA DNAwalker-PT-08ringLL-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DNAwalker-PT-08ringLL-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ DNAwalker-PT-08ringLL
{
"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",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sun May 9 11:32:51 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 193
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 4,
"aconj": 2,
"adisj": 1,
"aneg": 1,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "((X (X (X (X (((p16 <= 0) OR (p23 <= 1)))))) OR ((2 <= p9) AND (1 <= p12))) U G (((p25 <= 0) OR (p26 <= 1))))",
"processed_size": 111,
"rewrites": 80
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 12
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 208
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 1,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X ((G ((X (G (((1 <= p12) AND (2 <= p17)))) OR (1 <= p4))) OR ((1 <= p4) U ((1 <= p1) AND (2 <= p17)))))",
"processed_size": 104,
"rewrites": 80
},
"result":
{
"edges": 18,
"markings": 13,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 229
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G ((F (((1 <= p21) AND (2 <= p23))) AND (X (((1 <= p21) AND (2 <= p23))) OR ((1 <= p21) AND (2 <= p23)))))",
"processed_size": 106,
"rewrites": 80
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (F (((1 <= p5) AND (2 <= p7))))",
"processed_size": 33,
"rewrites": 80
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 286
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 3,
"aconj": 2,
"adisj": 2,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (X ((X (G (((2 <= p0)))) AND G ((F (((p23 <= 0) OR (p26 <= 1))) AND (F (((2 <= p0))) OR ((p23 <= 0) OR (p26 <= 1))))))))",
"processed_size": 124,
"rewrites": 80
},
"result":
{
"edges": 46460667,
"markings": 5820364,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 322
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 2,
"aconj": 3,
"adisj": 0,
"aneg": 1,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 5,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "((X ((F (((2 <= p9) AND (1 <= p16))) AND ((2 <= p0) AND ((1 <= p13) AND ((2 <= p9) AND (1 <= p16)))))) AND F (((2 <= p1) AND (1 <= p15)))) U X (G (((p9 <= 1) OR (p16 <= 0)))))",
"processed_size": 176,
"rewrites": 80
},
"result":
{
"edges": 2278665,
"markings": 316823,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 13
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 375
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 3,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((X (((1 <= p5) AND (2 <= p25))) U (X (G (((2 <= p13)))) AND ((1 <= p5) AND (2 <= p25)))))",
"processed_size": 92,
"rewrites": 80
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 469
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((X (G (((2 <= p7)))) OR ((2 <= p0) AND (1 <= p25))))",
"processed_size": 55,
"rewrites": 80
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 626
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 5,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (G ((F (((1 <= p5) AND (2 <= p11))) AND (X (((1 <= p5) AND (2 <= p11))) AND ((1 <= p9) AND ((2 <= p16) AND ((1 <= p5) AND (2 <= p11))))))))",
"processed_size": 141,
"rewrites": 80
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 939
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 939
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (G (((2 <= p13) AND (1 <= p16))))",
"processed_size": 35,
"rewrites": 80
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1878
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (((2 <= p13) AND (1 <= p16)))",
"processed_size": 31,
"rewrites": 80
},
"result":
{
"edges": 6,
"markings": 6,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1878
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1878
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (F (((p17 <= 0) OR (p23 <= 1))))",
"processed_size": 35,
"rewrites": 80
},
"result":
{
"edges": 24964300,
"markings": 4554076,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 13,
"type": "boolean"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((2 <= p24))",
"processed_size": 12,
"rewrites": 80
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 1,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G (F ((X (G (((p24 <= 1)))) OR ((2 <= p7) AND (1 <= p11)))))",
"processed_size": 60,
"rewrites": 80
},
"result":
{
"edges": 960673958,
"markings": 83849528,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 10166572,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "((X(X(X(X(*)))) OR **) U G(**)) : (G(F((X(G(*)) OR *))) OR **) : F(G((X(G((X(G(*)) OR (F(**) AND (** AND **))))) OR **))) : X((G((X(G(**)) OR **)) OR (** U **))) : G((F(**) AND (X(**) OR **))) : X(F(**)) : X(X((X(G(**)) AND G((F(**) AND (F(**) OR **)))))) : ((X((F(**) AND (** AND (** AND (** AND **))))) AND F(**)) U X(G(*))) : (X(X((F(*) AND **))) OR F(**)) : X((X(**) U (X(G(**)) AND (** AND **)))) : X((X(G(**)) OR **)) : X(G((F(**) AND (X(**) AND (** AND (** AND (** AND **))))))) : (X(**) AND (F((G(*) OR (X(F(*)) AND *))) OR X(G(**)))) : (X(*) AND G(F(*)))"
},
"net":
{
"arcs": 760,
"conflict_clusters": 7,
"places": 27,
"places_significant": 27,
"singleton_clusters": 0,
"transitions": 260
},
"result":
{
"interim_value": "no yes unknown no no no no no unknown no no no no unknown ",
"preliminary_value": "no yes unknown no no no no no unknown no no no no unknown "
},
"task":
{
"type": "compound"
}
}
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: 287/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 260 transitions, 27 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 LTLFireability.xml
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: atomic prop true by contained trap!
lola: ((X (X (NOT(X (X (((1 <= p16) AND (2 <= p23))))))) OR ((2 <= p9) AND (1 <= p12))) U G (((p25 <= 0) OR (p26 <= 1)))) : (G ((((2 <= p24)) U NOT(G ((X (F (((2 <= p24)))) AND ((p7 <= 1) OR (p11 <= 0))))))) OR ((2 <= p24))) : F (G ((X (G ((G (NOT(X (((2 <= p12) AND (1 <= p14))))) OR ((F (((1 <= p21) AND (2 <= p23))) AND (2 <= p7)) AND (1 <= p11))))) OR ((2 <= p5) AND (1 <= p16))))) : (X (G ((G (X (((1 <= p12) AND (2 <= p17)))) OR (1 <= p4)))) OR (X ((1 <= p4)) U X (((1 <= p1) AND (2 <= p17))))) : G ((X (((1 <= p21) AND (2 <= p23))) U ((1 <= p21) AND (2 <= p23)))) : X (F ((((1 <= p11) AND (2 <= p17)) U (F ((F (((p0 <= 1) OR (p21 <= 0))) U ((2 <= p0) AND (1 <= p21)))) U ((1 <= p5) AND (2 <= p7)))))) : X ((X (G (X (((2 <= p0))))) AND X (G ((F (((2 <= p0))) U ((p23 <= 0) OR (p26 <= 1))))))) : ((X (((((F (((2 <= p9) AND (1 <= p16))) AND (2 <= p0)) AND (1 <= p13)) AND (2 <= p9)) AND (1 <= p16))) AND F (((2 <= p1) AND (1 <= p15)))) U G (NOT(X (((2 <= p9) AND (1 <= p16)))))) : (X (X ((NOT(G ((2 <= p10))) AND (((1 <= p1) AND (2 <= p7)) OR ((2 <= p19)))))) OR F ((((p15 <= 0) OR (p16 <= 1)) AND (2 <= p10)))) : (X (X (((1 <= p5) AND (2 <= p25)))) U X (((G (X (((2 <= p13)))) AND (1 <= p5)) AND (2 <= p25)))) : X ((X (G (((2 <= p7)))) OR ((2 <= p0) AND (1 <= p25)))) : X (G (((((((((1 <= p1) AND (2 <= p7)) U F (((1 <= p5) AND (2 <= p11)))) AND X (((1 <= p5) AND (2 <= p11)))) AND (1 <= p9)) AND (2 <= p16)) AND (1 <= p5)) AND (2 <= p11)))) : NOT((G ((G (X (G (((2 <= p13) AND (1 <= p16))))) U ((p7 <= 1) OR (p16 <= 0)))) U NOT(X (((2 <= p13) AND (1 <= p16)))))) : (NOT(X (((2 <= p24) AND (1 <= p25)))) AND NOT(F (G (((1 <= p17) AND (2 <= p23))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 193 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (X (X (X (((p16 <= 0) OR (p23 <= 1)))))) OR ((2 <= p9) AND (1 <= p12))) U G (((p25 <= 0) OR (p26 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((X (X (X (X (((p16 <= 0) OR (p23 <= 1)))))) OR ((2 <= p9) AND (1 <= p12))) U G (((p25 <= 0) OR (p26 <= 1))))
lola: processed formula length: 111
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 12 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: subprocess 1 will run for 208 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F ((X (G (((p24 <= 1)))) OR ((2 <= p7) AND (1 <= p11))))) OR ((2 <= p24)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 208 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((2 <= p24))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((2 <= p24))
lola: processed formula length: 12
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 225 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((X (G (((p24 <= 1)))) OR ((2 <= p7) AND (1 <= p11)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((X (G (((p24 <= 1)))) OR ((2 <= p7) AND (1 <= p11)))))
lola: processed formula length: 60
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1037582 markings, 7657079 edges, 207516 markings/sec, 0 secs
lola: 1899226 markings, 14404473 edges, 172329 markings/sec, 5 secs
lola: 2670356 markings, 20512702 edges, 154226 markings/sec, 10 secs
lola: 3492980 markings, 27320863 edges, 164525 markings/sec, 15 secs
lola: 4291540 markings, 33994728 edges, 159712 markings/sec, 20 secs
lola: 4987680 markings, 40150447 edges, 139228 markings/sec, 25 secs
lola: 5740239 markings, 46856589 edges, 150512 markings/sec, 30 secs
lola: 6487351 markings, 53400607 edges, 149422 markings/sec, 35 secs
lola: 7191464 markings, 59048738 edges, 140823 markings/sec, 40 secs
lola: 7955818 markings, 64943716 edges, 152871 markings/sec, 45 secs
lola: 8652722 markings, 70471034 edges, 139381 markings/sec, 50 secs
lola: 9379778 markings, 76404186 edges, 145411 markings/sec, 55 secs
lola: 10014544 markings, 81778131 edges, 126953 markings/sec, 60 secs
lola: 10746790 markings, 88092057 edges, 146449 markings/sec, 65 secs
lola: 11460882 markings, 94220086 edges, 142818 markings/sec, 70 secs
lola: 12078735 markings, 100117416 edges, 123571 markings/sec, 75 secs
lola: 12771143 markings, 106132254 edges, 138482 markings/sec, 80 secs
lola: 13450208 markings, 112541654 edges, 135813 markings/sec, 85 secs
lola: 14066094 markings, 118949971 edges, 123177 markings/sec, 90 secs
lola: 14668310 markings, 125360199 edges, 120443 markings/sec, 95 secs
lola: 15264375 markings, 131119704 edges, 119213 markings/sec, 100 secs
lola: 15878217 markings, 138298454 edges, 122768 markings/sec, 105 secs
lola: 16436762 markings, 145130109 edges, 111709 markings/sec, 110 secs
lola: 16984562 markings, 152037981 edges, 109560 markings/sec, 115 secs
lola: 17443540 markings, 158156972 edges, 91796 markings/sec, 120 secs
lola: 18017491 markings, 165138292 edges, 114790 markings/sec, 125 secs
lola: 18508704 markings, 171738736 edges, 98243 markings/sec, 130 secs
lola: 19064301 markings, 178609289 edges, 111119 markings/sec, 135 secs
lola: 19526405 markings, 184630785 edges, 92421 markings/sec, 140 secs
lola: 20106215 markings, 191329983 edges, 115962 markings/sec, 145 secs
lola: 20679634 markings, 198266986 edges, 114684 markings/sec, 150 secs
lola: 21261818 markings, 205032126 edges, 116437 markings/sec, 155 secs
lola: 21826678 markings, 211847127 edges, 112972 markings/sec, 160 secs
lola: 22327786 markings, 218181589 edges, 100222 markings/sec, 165 secs
lola: 22866398 markings, 224753662 edges, 107722 markings/sec, 170 secs
lola: 23431760 markings, 231683542 edges, 113072 markings/sec, 175 secs
lola: 23942299 markings, 238382563 edges, 102108 markings/sec, 180 secs
lola: 24514958 markings, 245207071 edges, 114532 markings/sec, 185 secs
lola: 25023723 markings, 251571007 edges, 101753 markings/sec, 190 secs
lola: 25496755 markings, 257737130 edges, 94606 markings/sec, 195 secs
lola: 26021845 markings, 264387205 edges, 105018 markings/sec, 200 secs
lola: local time limit reached - aborting
lola: lola: caught signal User defined signal 1 - aborting LoLA
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3798748 KB
lola: time consumption: 1071 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 3798748 KB
lola: time consumption: 1071 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 208 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((X (G ((X (G (((p12 <= 1) OR (p14 <= 0)))) OR (F (((1 <= p21) AND (2 <= p23))) AND ((2 <= p7) AND (1 <= p11)))))) OR ((2 <= p5) AND (1 <= p16)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X (G ((X (G (((p12 <= 1) OR (p14 <= 0)))) OR (F (((1 <= p21) AND (2 <= p23))) AND ((2 <= p7) AND (1 <= p11)))))) OR ((2 <= p5) AND (1 <= p16)))))
lola: processed formula length: 153
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 509644 markings, 9158077 edges, 101929 markings/sec, 0 secs
lola: 963569 markings, 17841330 edges, 90785 markings/sec, 5 secs
lola: 1386263 markings, 26535533 edges, 84539 markings/sec, 10 secs
lola: 1781119 markings, 35054648 edges, 78971 markings/sec, 15 secs
lola: 2210505 markings, 43767627 edges, 85877 markings/sec, 20 secs
lola: 2621272 markings, 52392889 edges, 82153 markings/sec, 25 secs
lola: 2995861 markings, 60675395 edges, 74918 markings/sec, 30 secs
lola: 3374751 markings, 68880878 edges, 75778 markings/sec, 35 secs
lola: 3708317 markings, 77179747 edges, 66713 markings/sec, 40 secs
lola: 4078972 markings, 85794785 edges, 74131 markings/sec, 45 secs
lola: 4483066 markings, 94456221 edges, 80819 markings/sec, 50 secs
lola: 4863240 markings, 103012146 edges, 76035 markings/sec, 55 secs
lola: 5224985 markings, 111205364 edges, 72349 markings/sec, 60 secs
lola: 5587548 markings, 119398432 edges, 72513 markings/sec, 65 secs
lola: 5899522 markings, 127633007 edges, 62395 markings/sec, 70 secs
lola: 6282459 markings, 136195619 edges, 76587 markings/sec, 75 secs
lola: 6638370 markings, 144606542 edges, 71182 markings/sec, 80 secs
lola: 7004974 markings, 152809191 edges, 73321 markings/sec, 85 secs
lola: 7349888 markings, 160782095 edges, 68983 markings/sec, 90 secs
lola: 7678807 markings, 168853787 edges, 65784 markings/sec, 95 secs
lola: 8135041 markings, 177347331 edges, 91247 markings/sec, 100 secs
lola: 8562755 markings, 185680034 edges, 85543 markings/sec, 105 secs
lola: 8938384 markings, 193805752 edges, 75126 markings/sec, 110 secs
lola: 9318419 markings, 201739218 edges, 76007 markings/sec, 115 secs
lola: 9715324 markings, 210103379 edges, 79381 markings/sec, 120 secs
lola: 10105920 markings, 218354827 edges, 78119 markings/sec, 125 secs
lola: 10476984 markings, 226612295 edges, 74213 markings/sec, 130 secs
lola: 10831723 markings, 234474443 edges, 70948 markings/sec, 135 secs
lola: 11173141 markings, 242564928 edges, 68284 markings/sec, 140 secs
lola: 11498314 markings, 250184853 edges, 65035 markings/sec, 145 secs
lola: 11824303 markings, 258102945 edges, 65198 markings/sec, 150 secs
lola: 12162111 markings, 266359868 edges, 67562 markings/sec, 155 secs
lola: 12545462 markings, 274668022 edges, 76670 markings/sec, 160 secs
lola: 12898429 markings, 282847605 edges, 70593 markings/sec, 165 secs
lola: 13251836 markings, 290732894 edges, 70681 markings/sec, 170 secs
lola: 13570690 markings, 298833085 edges, 63771 markings/sec, 175 secs
lola: 13910664 markings, 306433785 edges, 67995 markings/sec, 180 secs
lola: 14239612 markings, 314333263 edges, 65790 markings/sec, 185 secs
lola: 14593217 markings, 322092881 edges, 70721 markings/sec, 190 secs
lola: 14905035 markings, 329913828 edges, 62364 markings/sec, 195 secs
lola: 15245996 markings, 337607899 edges, 68192 markings/sec, 200 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2254060 KB
lola: time consumption: 1279 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 208 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G ((X (G (((1 <= p12) AND (2 <= p17)))) OR (1 <= p4))) OR ((1 <= p4) U ((1 <= p1) AND (2 <= p17)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G ((X (G (((1 <= p12) AND (2 <= p17)))) OR (1 <= p4))) OR ((1 <= p4) U ((1 <= p1) AND (2 <= p17)))))
lola: processed formula length: 104
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 13 markings, 18 edges
lola: ========================================
lola: subprocess 4 will run for 229 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((1 <= p21) AND (2 <= p23))) AND (X (((1 <= p21) AND (2 <= p23))) OR ((1 <= p21) AND (2 <= p23)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((1 <= p21) AND (2 <= p23))) AND (X (((1 <= p21) AND (2 <= p23))) OR ((1 <= p21) AND (2 <= p23)))))
lola: processed formula length: 106
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: subprocess 5 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p5) AND (2 <= p7))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p5) AND (2 <= p7))))
lola: processed formula length: 33
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: subprocess 6 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((X (G (((2 <= p0)))) AND G ((F (((p23 <= 0) OR (p26 <= 1))) AND (F (((2 <= p0))) OR ((p23 <= 0) OR (p26 <= 1))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((X (G (((2 <= p0)))) AND G ((F (((p23 <= 0) OR (p26 <= 1))) AND (F (((2 <= p0))) OR ((p23 <= 0) OR (p26 <= 1))))))))
lola: processed formula length: 124
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1024308 markings, 7708822 edges, 204862 markings/sec, 0 secs
lola: 1860207 markings, 14351673 edges, 167180 markings/sec, 5 secs
lola: 2631838 markings, 20513296 edges, 154326 markings/sec, 10 secs
lola: 3406399 markings, 26621762 edges, 154912 markings/sec, 15 secs
lola: 4155092 markings, 32620041 edges, 149739 markings/sec, 20 secs
lola: 4922928 markings, 38934026 edges, 153567 markings/sec, 25 secs
lola: 5661350 markings, 44924039 edges, 147684 markings/sec, 30 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5820364 markings, 46460667 edges
lola: ========================================
lola: subprocess 7 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X ((F (((2 <= p9) AND (1 <= p16))) AND ((2 <= p0) AND ((1 <= p13) AND ((2 <= p9) AND (1 <= p16)))))) AND F (((2 <= p1) AND (1 <= p15)))) U X (G (((p9 <= 1) OR (p16 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((X ((F (((2 <= p9) AND (1 <= p16))) AND ((2 <= p0) AND ((1 <= p13) AND ((2 <= p9) AND (1 <= p16)))))) AND F (((2 <= p1) AND (1 <= p15)))) U X (G (((p9 <= 1) OR (p16 <= 0)))))
lola: processed formula length: 176
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 316823 markings, 2278665 edges
lola: ========================================
lola: subprocess 8 will run for 375 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (X ((F ((p10 <= 1)) AND (((1 <= p1) AND (2 <= p7)) OR ((2 <= p19)))))) OR F ((((p15 <= 0) OR (p16 <= 1)) AND (2 <= p10))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no no no no no unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown unknown no no no no no unknown unknown unknown unknown unknown unknown
lola: memory consumption: 48448 KB
lola: time consumption: 1692 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 375 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (((1 <= p5) AND (2 <= p25))) U (X (G (((2 <= p13)))) AND ((1 <= p5) AND (2 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (((1 <= p5) AND (2 <= p25))) U (X (G (((2 <= p13)))) AND ((1 <= p5) AND (2 <= p25)))))
lola: processed formula length: 92
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: subprocess 10 will run for 469 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (G (((2 <= p7)))) OR ((2 <= p0) AND (1 <= p25))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (G (((2 <= p7)))) OR ((2 <= p0) AND (1 <= p25))))
lola: processed formula length: 55
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: subprocess 11 will run for 626 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((F (((1 <= p5) AND (2 <= p11))) AND (X (((1 <= p5) AND (2 <= p11))) AND ((1 <= p9) AND ((2 <= p16) AND ((1 <= p5) AND (2 <= p11))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((F (((1 <= p5) AND (2 <= p11))) AND (X (((1 <= p5) AND (2 <= p11))) AND ((1 <= p9) AND ((2 <= p16) AND ((1 <= p5) AND (2 <= p11))))))))
lola: processed formula length: 141
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: subprocess 12 will run for 939 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (((2 <= p13) AND (1 <= p16))) AND (F ((G (((2 <= p7) AND (1 <= p16))) OR (X (F (((p13 <= 1) OR (p16 <= 0)))) AND ((2 <= p7) AND (1 <= p16))))) OR X (G (((2 <= p13) AND (1 <= p16))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 939 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((2 <= p13) AND (1 <= p16))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((2 <= p13) AND (1 <= p16))))
lola: processed formula length: 35
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: subprocess 13 will run for 1878 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((2 <= p13) AND (1 <= p16)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((2 <= p13) AND (1 <= p16)))
lola: processed formula length: 31
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6 markings, 6 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 13 will run for 1878 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (((p24 <= 1) OR (p25 <= 0))) AND G (F (((p17 <= 0) OR (p23 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 1878 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p17 <= 0) OR (p23 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p17 <= 0) OR (p23 <= 1))))
lola: processed formula length: 35
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 298480 markings, 1248493 edges, 59696 markings/sec, 0 secs
lola: 577389 markings, 2500191 edges, 55782 markings/sec, 5 secs
lola: 844774 markings, 3786986 edges, 53477 markings/sec, 10 secs
lola: 1116472 markings, 5094822 edges, 54340 markings/sec, 15 secs
lola: 1388736 markings, 6425679 edges, 54453 markings/sec, 20 secs
lola: 1656858 markings, 7781428 edges, 53624 markings/sec, 25 secs
lola: 1908243 markings, 9151244 edges, 50277 markings/sec, 30 secs
lola: 2155876 markings, 10528370 edges, 49527 markings/sec, 35 secs
lola: 2410130 markings, 11886096 edges, 50851 markings/sec, 40 secs
lola: 2654855 markings, 13262750 edges, 48945 markings/sec, 45 secs
lola: 2899917 markings, 14655667 edges, 49012 markings/sec, 50 secs
lola: 3125716 markings, 16031603 edges, 45160 markings/sec, 55 secs
lola: 3369490 markings, 17452683 edges, 48755 markings/sec, 60 secs
lola: 3602547 markings, 18855304 edges, 46611 markings/sec, 65 secs
lola: 3834106 markings, 20269570 edges, 46312 markings/sec, 70 secs
lola: 4060144 markings, 21684649 edges, 45208 markings/sec, 75 secs
lola: 4276265 markings, 23100256 edges, 43224 markings/sec, 80 secs
lola: 4481769 markings, 24513381 edges, 41101 markings/sec, 85 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4554076 markings, 24964300 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (G (F ((X (G (((p24 <= 1)))) OR ((2 <= p7) AND (1 <= p11))))) OR ((2 <= p24)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: ((2 <= p24))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((2 <= p24))
lola: processed formula length: 12
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F ((X (G (((p24 <= 1)))) OR ((2 <= p7) AND (1 <= p11)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((X (G (((p24 <= 1)))) OR ((2 <= p7) AND (1 <= p11)))))
lola: processed formula length: 60
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1024947 markings, 7560723 edges, 204989 markings/sec, 0 secs
lola: 1875944 markings, 14218952 edges, 170199 markings/sec, 5 secs
lola: 2656547 markings, 20386643 edges, 156121 markings/sec, 10 secs
lola: 3459235 markings, 27030593 edges, 160538 markings/sec, 15 secs
lola: 4245414 markings, 33578725 edges, 157236 markings/sec, 20 secs
lola: 4915987 markings, 39602931 edges, 134115 markings/sec, 25 secs
lola: 5676663 markings, 46248849 edges, 152135 markings/sec, 30 secs
lola: 6415408 markings, 52728287 edges, 147749 markings/sec, 35 secs
lola: 7105586 markings, 58370027 edges, 138036 markings/sec, 40 secs
lola: 7869747 markings, 64240721 edges, 152832 markings/sec, 45 secs
lola: 8560414 markings, 69754874 edges, 138133 markings/sec, 50 secs
lola: 9287403 markings, 75661004 edges, 145398 markings/sec, 55 secs
lola: 9902584 markings, 80938727 edges, 123036 markings/sec, 60 secs
lola: 10660345 markings, 87282677 edges, 151552 markings/sec, 65 secs
lola: 11363817 markings, 93363164 edges, 140694 markings/sec, 70 secs
lola: 11997803 markings, 99360674 edges, 126797 markings/sec, 75 secs
lola: 12667807 markings, 105231237 edges, 134001 markings/sec, 80 secs
lola: 13353811 markings, 111574488 edges, 137201 markings/sec, 85 secs
lola: 13969822 markings, 117893664 edges, 123202 markings/sec, 90 secs
lola: 14566158 markings, 124279223 edges, 119267 markings/sec, 95 secs
lola: 15164365 markings, 130039228 edges, 119641 markings/sec, 100 secs
lola: 15774018 markings, 137012194 edges, 121931 markings/sec, 105 secs
lola: 16318295 markings, 143799949 edges, 108855 markings/sec, 110 secs
lola: 16884338 markings, 150741122 edges, 113209 markings/sec, 115 secs
lola: 17348702 markings, 156929998 edges, 92873 markings/sec, 120 secs
lola: 17919032 markings, 163822024 edges, 114066 markings/sec, 125 secs
lola: 18422315 markings, 170556048 edges, 100657 markings/sec, 130 secs
lola: 18965520 markings, 177254105 edges, 108641 markings/sec, 135 secs
lola: 19440249 markings, 183421066 edges, 94946 markings/sec, 140 secs
lola: 19961107 markings, 189774340 edges, 104172 markings/sec, 145 secs
lola: 20561778 markings, 196743429 edges, 120134 markings/sec, 150 secs
lola: 21114949 markings, 203407504 edges, 110634 markings/sec, 155 secs
lola: 21696334 markings, 210222479 edges, 116277 markings/sec, 160 secs
lola: 22210421 markings, 216740307 edges, 102817 markings/sec, 165 secs
lola: 22714011 markings, 223031211 edges, 100718 markings/sec, 170 secs
lola: 23288752 markings, 229906657 edges, 114948 markings/sec, 175 secs
lola: 23816194 markings, 236752689 edges, 105488 markings/sec, 180 secs
lola: 24367313 markings, 243418494 edges, 110224 markings/sec, 185 secs
lola: 24897218 markings, 249980636 edges, 105981 markings/sec, 190 secs
lola: 25373454 markings, 256051839 edges, 95247 markings/sec, 195 secs
lola: 25848478 markings, 262435794 edges, 95005 markings/sec, 200 secs
lola: 26422957 markings, 269410603 edges, 114896 markings/sec, 205 secs
lola: 26942920 markings, 276069324 edges, 103993 markings/sec, 210 secs
lola: 27471615 markings, 282828388 edges, 105739 markings/sec, 215 secs
lola: 27932967 markings, 289063485 edges, 92270 markings/sec, 220 secs
lola: 28447238 markings, 295670515 edges, 102854 markings/sec, 225 secs
lola: 28955237 markings, 302483895 edges, 101600 markings/sec, 230 secs
lola: 29438081 markings, 309014806 edges, 96569 markings/sec, 235 secs
lola: 29930815 markings, 315638233 edges, 98547 markings/sec, 240 secs
lola: 30374371 markings, 321616027 edges, 88711 markings/sec, 245 secs
lola: 30913446 markings, 328195714 edges, 107815 markings/sec, 250 secs
lola: 31481866 markings, 335021136 edges, 113684 markings/sec, 255 secs
lola: 31990136 markings, 341562000 edges, 101654 markings/sec, 260 secs
lola: 32565946 markings, 348223630 edges, 115162 markings/sec, 265 secs
lola: 33076478 markings, 354928018 edges, 102106 markings/sec, 270 secs
lola: 33534131 markings, 360965811 edges, 91531 markings/sec, 275 secs
lola: 34084187 markings, 367672628 edges, 110011 markings/sec, 280 secs
lola: 34645186 markings, 374410415 edges, 112200 markings/sec, 285 secs
lola: 35153751 markings, 381111289 edges, 101713 markings/sec, 290 secs
lola: 35617590 markings, 387731730 edges, 92768 markings/sec, 295 secs
lola: 36069627 markings, 394343417 edges, 90407 markings/sec, 300 secs
lola: 36522407 markings, 400898418 edges, 90556 markings/sec, 305 secs
lola: 37008966 markings, 407148303 edges, 97312 markings/sec, 310 secs
lola: 37486864 markings, 413284687 edges, 95580 markings/sec, 315 secs
lola: 38203940 markings, 418747850 edges, 143415 markings/sec, 320 secs
lola: 38854774 markings, 423922583 edges, 130167 markings/sec, 325 secs
lola: 39530585 markings, 429388332 edges, 135162 markings/sec, 330 secs
lola: 40170295 markings, 434538843 edges, 127942 markings/sec, 335 secs
lola: 40779650 markings, 439689265 edges, 121871 markings/sec, 340 secs
lola: 41427252 markings, 445518392 edges, 129520 markings/sec, 345 secs
lola: 42105132 markings, 451220221 edges, 135576 markings/sec, 350 secs
lola: 42681870 markings, 456655389 edges, 115348 markings/sec, 355 secs
lola: 43303779 markings, 462194581 edges, 124382 markings/sec, 360 secs
lola: 43898544 markings, 467996977 edges, 118953 markings/sec, 365 secs
lola: 44521588 markings, 473695291 edges, 124609 markings/sec, 370 secs
lola: 45066869 markings, 478697512 edges, 109056 markings/sec, 375 secs
lola: 45541451 markings, 484864768 edges, 94916 markings/sec, 380 secs
lola: 46076561 markings, 491567746 edges, 107022 markings/sec, 385 secs
lola: 46578599 markings, 498014588 edges, 100408 markings/sec, 390 secs
lola: 47101784 markings, 504659208 edges, 104637 markings/sec, 395 secs
lola: 47565875 markings, 510826384 edges, 92818 markings/sec, 400 secs
lola: 48046793 markings, 517115704 edges, 96184 markings/sec, 405 secs
lola: 48531233 markings, 523633082 edges, 96888 markings/sec, 410 secs
lola: 48965006 markings, 529839304 edges, 86755 markings/sec, 415 secs
lola: 49486061 markings, 536390119 edges, 104211 markings/sec, 420 secs
lola: 49922003 markings, 542313797 edges, 87188 markings/sec, 425 secs
lola: 50350830 markings, 548130776 edges, 85765 markings/sec, 430 secs
lola: 50953935 markings, 554958021 edges, 120621 markings/sec, 435 secs
lola: 51470542 markings, 561656721 edges, 103321 markings/sec, 440 secs
lola: 52009802 markings, 568152222 edges, 107852 markings/sec, 445 secs
lola: 52545764 markings, 574721451 edges, 107192 markings/sec, 450 secs
lola: 53038193 markings, 581150857 edges, 98486 markings/sec, 455 secs
lola: 53448091 markings, 586951756 edges, 81980 markings/sec, 460 secs
lola: 54016228 markings, 593709203 edges, 113627 markings/sec, 465 secs
lola: 54515260 markings, 600330656 edges, 99806 markings/sec, 470 secs
lola: 54982006 markings, 606856257 edges, 93349 markings/sec, 475 secs
lola: 55496634 markings, 613309222 edges, 102926 markings/sec, 480 secs
lola: 55987385 markings, 619792350 edges, 98150 markings/sec, 485 secs
lola: 56482883 markings, 625705986 edges, 99100 markings/sec, 490 secs
lola: 56895561 markings, 631624671 edges, 82536 markings/sec, 495 secs
lola: 57539060 markings, 637325710 edges, 128700 markings/sec, 500 secs
lola: 58213638 markings, 642752391 edges, 134916 markings/sec, 505 secs
lola: 58815067 markings, 647833196 edges, 120286 markings/sec, 510 secs
lola: 59459566 markings, 653421266 edges, 128900 markings/sec, 515 secs
lola: 60084332 markings, 658696928 edges, 124953 markings/sec, 520 secs
lola: 60533919 markings, 663987609 edges, 89917 markings/sec, 525 secs
lola: 61115252 markings, 670671137 edges, 116267 markings/sec, 530 secs
lola: 61668981 markings, 677381838 edges, 110746 markings/sec, 535 secs
lola: 62162655 markings, 683756541 edges, 98735 markings/sec, 540 secs
lola: 62758624 markings, 690451028 edges, 119194 markings/sec, 545 secs
lola: 63269804 markings, 696975209 edges, 102236 markings/sec, 550 secs
lola: 63742113 markings, 703004704 edges, 94462 markings/sec, 555 secs
lola: 64231223 markings, 709285874 edges, 97822 markings/sec, 560 secs
lola: 64777029 markings, 715943996 edges, 109161 markings/sec, 565 secs
lola: 65268732 markings, 722585018 edges, 98341 markings/sec, 570 secs
lola: 65738765 markings, 728952437 edges, 94007 markings/sec, 575 secs
lola: 66282873 markings, 735583983 edges, 108822 markings/sec, 580 secs
lola: 66760565 markings, 741724813 edges, 95538 markings/sec, 585 secs
lola: 67199110 markings, 747653735 edges, 87709 markings/sec, 590 secs
lola: 67741453 markings, 753531765 edges, 108469 markings/sec, 595 secs
lola: 68304630 markings, 759254241 edges, 112635 markings/sec, 600 secs
lola: 68899327 markings, 765115162 edges, 118939 markings/sec, 605 secs
lola: 69356700 markings, 770414833 edges, 91475 markings/sec, 610 secs
lola: 69947255 markings, 777205823 edges, 118111 markings/sec, 615 secs
lola: 70450094 markings, 783824964 edges, 100568 markings/sec, 620 secs
lola: 70918550 markings, 790189748 edges, 93691 markings/sec, 625 secs
lola: 71459422 markings, 796780687 edges, 108174 markings/sec, 630 secs
lola: 71943205 markings, 803234994 edges, 96757 markings/sec, 635 secs
lola: 72398885 markings, 809548947 edges, 91136 markings/sec, 640 secs
lola: 72805811 markings, 815197813 edges, 81385 markings/sec, 645 secs
lola: 73403059 markings, 821030885 edges, 119450 markings/sec, 650 secs
lola: 73925696 markings, 826741451 edges, 104527 markings/sec, 655 secs
lola: 74374347 markings, 832950663 edges, 89730 markings/sec, 660 secs
lola: 74899457 markings, 839594132 edges, 105022 markings/sec, 665 secs
lola: 75363187 markings, 846123705 edges, 92746 markings/sec, 670 secs
lola: 75806190 markings, 852627028 edges, 88601 markings/sec, 675 secs
lola: 76286612 markings, 858713443 edges, 96084 markings/sec, 680 secs
lola: 76832213 markings, 864820242 edges, 109120 markings/sec, 685 secs
lola: 77319753 markings, 871312315 edges, 97508 markings/sec, 690 secs
lola: 77795238 markings, 877594435 edges, 95097 markings/sec, 695 secs
lola: 78298059 markings, 883863741 edges, 100564 markings/sec, 700 secs
lola: 78723618 markings, 890418028 edges, 85112 markings/sec, 705 secs
lola: 79141158 markings, 896949175 edges, 83508 markings/sec, 710 secs
lola: 79668978 markings, 903292033 edges, 105564 markings/sec, 715 secs
lola: 80145711 markings, 909634030 edges, 95347 markings/sec, 720 secs
lola: 80573434 markings, 916185355 edges, 85545 markings/sec, 725 secs
lola: 81102715 markings, 922643742 edges, 105856 markings/sec, 730 secs
lola: 81573411 markings, 929193825 edges, 94139 markings/sec, 735 secs
lola: 82031287 markings, 935737646 edges, 91575 markings/sec, 740 secs
lola: 82526545 markings, 942257538 edges, 99052 markings/sec, 745 secs
lola: 82984928 markings, 948744754 edges, 91677 markings/sec, 750 secs
lola: 83470210 markings, 954826857 edges, 97056 markings/sec, 755 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 83849528 markings, 960673958 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F (G ((X (G ((X (G (((p12 <= 1) OR (p14 <= 0)))) OR (F (((1 <= p21) AND (2 <= p23))) AND ((2 <= p7) AND (1 <= p11)))))) OR ((2 <= p5) AND (1 <= p16)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((X (G ((X (G (((p12 <= 1) OR (p14 <= 0)))) OR (F (((1 <= p21) AND (2 <= p23))) AND ((2 <= p7) AND (1 <= p11)))))) OR ((2 <= p5) AND (1 <= p16)))))
lola: processed formula length: 153
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 509270 markings, 9149036 edges, 101854 markings/sec, 0 secs
lola: 962961 markings, 17828253 edges, 90738 markings/sec, 5 secs
lola: 1385455 markings, 26522217 edges, 84499 markings/sec, 10 secs
lola: 1779800 markings, 35030687 edges, 78869 markings/sec, 15 secs
lola: 2208345 markings, 43724556 edges, 85709 markings/sec, 20 secs
lola: 2616771 markings, 52323836 edges, 81685 markings/sec, 25 secs
lola: 2990157 markings, 60541633 edges, 74677 markings/sec, 30 secs
lola: 3368039 markings, 68721143 edges, 75576 markings/sec, 35 secs
lola: 3698604 markings, 76948588 edges, 66113 markings/sec, 40 secs
lola: 4066588 markings, 85529114 edges, 73597 markings/sec, 45 secs
lola: 4466482 markings, 94165038 edges, 79979 markings/sec, 50 secs
lola: 4849377 markings, 102697504 edges, 76579 markings/sec, 55 secs
lola: 5205974 markings, 110857660 edges, 71319 markings/sec, 60 secs
lola: 5571861 markings, 119044469 edges, 73177 markings/sec, 65 secs
lola: 5882741 markings, 127161200 edges, 62176 markings/sec, 70 secs
lola: 6265067 markings, 135716443 edges, 76465 markings/sec, 75 secs
lola: 6621119 markings, 144088056 edges, 71210 markings/sec, 80 secs
lola: 6982349 markings, 152279444 edges, 72246 markings/sec, 85 secs
lola: 7325140 markings, 160208941 edges, 68558 markings/sec, 90 secs
lola: 7628296 markings, 168054467 edges, 60631 markings/sec, 95 secs
lola: 8091282 markings, 176529532 edges, 92597 markings/sec, 100 secs
lola: 8517060 markings, 184874689 edges, 85156 markings/sec, 105 secs
lola: 8898947 markings, 192893761 edges, 76377 markings/sec, 110 secs
lola: 9280883 markings, 200750669 edges, 76387 markings/sec, 115 secs
lola: 9662685 markings, 209063525 edges, 76360 markings/sec, 120 secs
lola: 10055027 markings, 217315898 edges, 78468 markings/sec, 125 secs
lola: 10426818 markings, 225510009 edges, 74358 markings/sec, 130 secs
lola: 10786111 markings, 233369894 edges, 71859 markings/sec, 135 secs
lola: 11124964 markings, 241418246 edges, 67771 markings/sec, 140 secs
lola: 11445459 markings, 248973250 edges, 64099 markings/sec, 145 secs
lola: 11770842 markings, 256858373 edges, 65077 markings/sec, 150 secs
lola: 12098618 markings, 265029961 edges, 65555 markings/sec, 155 secs
lola: 12477389 markings, 273320830 edges, 75754 markings/sec, 160 secs
lola: 12851270 markings, 281485705 edges, 74776 markings/sec, 165 secs
lola: 13202381 markings, 289381545 edges, 70222 markings/sec, 170 secs
lola: 13514752 markings, 297331396 edges, 62474 markings/sec, 175 secs
lola: 13857080 markings, 305102411 edges, 68466 markings/sec, 180 secs
lola: 14159683 markings, 312836164 edges, 60521 markings/sec, 185 secs
lola: 14530988 markings, 320544984 edges, 74261 markings/sec, 190 secs
lola: 14842201 markings, 328343195 edges, 62243 markings/sec, 195 secs
lola: 15181709 markings, 336065251 edges, 67902 markings/sec, 200 secs
lola: 15516507 markings, 343673320 edges, 66960 markings/sec, 205 secs
lola: 15823996 markings, 351362413 edges, 61498 markings/sec, 210 secs
lola: 16115696 markings, 359143386 edges, 58340 markings/sec, 215 secs
lola: 16376553 markings, 366841976 edges, 52171 markings/sec, 220 secs
lola: 16687706 markings, 374716079 edges, 62231 markings/sec, 225 secs
lola: 17131253 markings, 383173405 edges, 88709 markings/sec, 230 secs
lola: 17554307 markings, 391492140 edges, 84611 markings/sec, 235 secs
lola: 17941868 markings, 399476969 edges, 77512 markings/sec, 240 secs
lola: 18323644 markings, 407329555 edges, 76355 markings/sec, 245 secs
lola: 18698770 markings, 415641172 edges, 75025 markings/sec, 250 secs
lola: 19083914 markings, 423873267 edges, 77029 markings/sec, 255 secs
lola: 19443653 markings, 432029333 edges, 71948 markings/sec, 260 secs
lola: 19810088 markings, 439924647 edges, 73287 markings/sec, 265 secs
lola: 20158525 markings, 447961792 edges, 69687 markings/sec, 270 secs
lola: 20489548 markings, 455508022 edges, 66205 markings/sec, 275 secs
lola: 20802995 markings, 463402911 edges, 62689 markings/sec, 280 secs
lola: 21107144 markings, 471512480 edges, 60830 markings/sec, 285 secs
lola: 21501179 markings, 479839701 edges, 78807 markings/sec, 290 secs
lola: 21860496 markings, 488063009 edges, 71863 markings/sec, 295 secs
lola: 22216796 markings, 496140700 edges, 71260 markings/sec, 300 secs
lola: 22538771 markings, 503890366 edges, 64395 markings/sec, 305 secs
lola: 22879529 markings, 511887497 edges, 68152 markings/sec, 310 secs
lola: 23181170 markings, 519429376 edges, 60328 markings/sec, 315 secs
lola: 23501495 markings, 527585959 edges, 64065 markings/sec, 320 secs
lola: 23838404 markings, 535613075 edges, 67382 markings/sec, 325 secs
lola: 24165135 markings, 543666315 edges, 65346 markings/sec, 330 secs
lola: 24492899 markings, 551517868 edges, 65553 markings/sec, 335 secs
lola: 24815641 markings, 559112038 edges, 64548 markings/sec, 340 secs
lola: 25112120 markings, 566668917 edges, 59296 markings/sec, 345 secs
lola: 25481210 markings, 574622822 edges, 73818 markings/sec, 350 secs
lola: 25911360 markings, 582712396 edges, 86030 markings/sec, 355 secs
lola: 26327125 markings, 590692613 edges, 83153 markings/sec, 360 secs
lola: 26699730 markings, 598437319 edges, 74521 markings/sec, 365 secs
lola: 27086836 markings, 606058053 edges, 77421 markings/sec, 370 secs
lola: 27439194 markings, 613992897 edges, 70472 markings/sec, 375 secs
lola: 27821239 markings, 621951001 edges, 76409 markings/sec, 380 secs
lola: 28193183 markings, 629857476 edges, 74389 markings/sec, 385 secs
lola: 28555111 markings, 637745293 edges, 72386 markings/sec, 390 secs
lola: 28889577 markings, 645226759 edges, 66893 markings/sec, 395 secs
lola: 29225111 markings, 653052432 edges, 67107 markings/sec, 400 secs
lola: 29547413 markings, 660301769 edges, 64460 markings/sec, 405 secs
lola: 29859090 markings, 667959593 edges, 62335 markings/sec, 410 secs
lola: 30223547 markings, 675582906 edges, 72891 markings/sec, 415 secs
lola: 30619804 markings, 683053382 edges, 79251 markings/sec, 420 secs
lola: 30957719 markings, 690573088 edges, 67583 markings/sec, 425 secs
lola: 31261698 markings, 698235385 edges, 60796 markings/sec, 430 secs
lola: 31570585 markings, 705879655 edges, 61777 markings/sec, 435 secs
lola: 31912693 markings, 713392681 edges, 68422 markings/sec, 440 secs
lola: 32277061 markings, 720836838 edges, 72874 markings/sec, 445 secs
lola: 32613176 markings, 728231153 edges, 67223 markings/sec, 450 secs
lola: 32923845 markings, 735712144 edges, 62134 markings/sec, 455 secs
lola: 33233872 markings, 743265876 edges, 62005 markings/sec, 460 secs
lola: 33540114 markings, 750837627 edges, 61248 markings/sec, 465 secs
lola: 33820626 markings, 758291868 edges, 56102 markings/sec, 470 secs
lola: 34084718 markings, 765868784 edges, 52818 markings/sec, 475 secs
lola: 34503590 markings, 774076301 edges, 83774 markings/sec, 480 secs
lola: 34919887 markings, 782247054 edges, 83259 markings/sec, 485 secs
lola: 35326527 markings, 790155179 edges, 81328 markings/sec, 490 secs
lola: 35716114 markings, 798112270 edges, 77917 markings/sec, 495 secs
lola: 36066146 markings, 805887632 edges, 70006 markings/sec, 500 secs
lola: 36468202 markings, 813989294 edges, 80411 markings/sec, 505 secs
lola: 36854324 markings, 822023794 edges, 77224 markings/sec, 510 secs
lola: 37232533 markings, 829734302 edges, 75642 markings/sec, 515 secs
lola: 37566465 markings, 837653651 edges, 66786 markings/sec, 520 secs
lola: 37919496 markings, 845103716 edges, 70606 markings/sec, 525 secs
lola: 38233929 markings, 852861233 edges, 62887 markings/sec, 530 secs
lola: 38544304 markings, 860843838 edges, 62075 markings/sec, 535 secs
lola: 38932575 markings, 868997813 edges, 77654 markings/sec, 540 secs
lola: 39287393 markings, 877071231 edges, 70964 markings/sec, 545 secs
lola: 39641476 markings, 885004189 edges, 70817 markings/sec, 550 secs
lola: 39957375 markings, 892581474 edges, 63180 markings/sec, 555 secs
lola: 40294415 markings, 900477993 edges, 67408 markings/sec, 560 secs
lola: 40592937 markings, 907810507 edges, 59704 markings/sec, 565 secs
lola: 40919771 markings, 915798830 edges, 65367 markings/sec, 570 secs
lola: 41264353 markings, 923689637 edges, 68916 markings/sec, 575 secs
lola: 41588339 markings, 931605167 edges, 64797 markings/sec, 580 secs
lola: 41929267 markings, 939270077 edges, 68186 markings/sec, 585 secs
lola: 42250760 markings, 946744830 edges, 64299 markings/sec, 590 secs
lola: 42541444 markings, 954116907 edges, 58137 markings/sec, 595 secs
lola: 42920915 markings, 962050002 edges, 75894 markings/sec, 600 secs
lola: 43319165 markings, 970074494 edges, 79650 markings/sec, 605 secs
lola: 43716799 markings, 977974389 edges, 79527 markings/sec, 610 secs
lola: 44067104 markings, 985641071 edges, 70061 markings/sec, 615 secs
lola: 44432029 markings, 993251770 edges, 72985 markings/sec, 620 secs
lola: 44763662 markings, 1001016448 edges, 66327 markings/sec, 625 secs
lola: 45141027 markings, 1008921226 edges, 75473 markings/sec, 630 secs
lola: 45498906 markings, 1016797960 edges, 71576 markings/sec, 635 secs
lola: 45849595 markings, 1024647031 edges, 70138 markings/sec, 640 secs
lola: 46178241 markings, 1032054756 edges, 65729 markings/sec, 645 secs
lola: 46493946 markings, 1039759411 edges, 63141 markings/sec, 650 secs
lola: 46812110 markings, 1046924726 edges, 63633 markings/sec, 655 secs
lola: 47109487 markings, 1054571518 edges, 59475 markings/sec, 660 secs
lola: 47402951 markings, 1062138846 edges, 58693 markings/sec, 665 secs
lola: 47734921 markings, 1070108618 edges, 66394 markings/sec, 670 secs
lola: 48072534 markings, 1078039636 edges, 67523 markings/sec, 675 secs
lola: 48409962 markings, 1085845223 edges, 67486 markings/sec, 680 secs
lola: 48731871 markings, 1093635675 edges, 64382 markings/sec, 685 secs
lola: 49034494 markings, 1100907506 edges, 60525 markings/sec, 690 secs
lola: 49332962 markings, 1108583151 edges, 59694 markings/sec, 695 secs
lola: 49640329 markings, 1115752167 edges, 61473 markings/sec, 700 secs
lola: 49916507 markings, 1123211728 edges, 55236 markings/sec, 705 secs
lola: 50265861 markings, 1130616416 edges, 69871 markings/sec, 710 secs
lola: 50568904 markings, 1137991509 edges, 60609 markings/sec, 715 secs
lola: 50883085 markings, 1145465786 edges, 62836 markings/sec, 720 secs
lola: 51194617 markings, 1152839466 edges, 62306 markings/sec, 725 secs
lola: 51496072 markings, 1160161282 edges, 60291 markings/sec, 730 secs
lola: 51771209 markings, 1167530418 edges, 55027 markings/sec, 735 secs
lola: 52047448 markings, 1174973681 edges, 55248 markings/sec, 740 secs
lola: 52293817 markings, 1182316290 edges, 49274 markings/sec, 745 secs
lola: 52551524 markings, 1189811917 edges, 51541 markings/sec, 750 secs
lola: 52828300 markings, 1197323016 edges, 55355 markings/sec, 755 secs
lola: 53244234 markings, 1205527027 edges, 83187 markings/sec, 760 secs
lola: 53639604 markings, 1213579371 edges, 79074 markings/sec, 765 secs
lola: 54022088 markings, 1221329868 edges, 76497 markings/sec, 770 secs
lola: 54390822 markings, 1229241460 edges, 73747 markings/sec, 775 secs
lola: 54730613 markings, 1236745189 edges, 67958 markings/sec, 780 secs
lola: 55092251 markings, 1244707065 edges, 72328 markings/sec, 785 secs
lola: 55446058 markings, 1252548047 edges, 70761 markings/sec, 790 secs
lola: 55796192 markings, 1260410729 edges, 70027 markings/sec, 795 secs
lola: 56158292 markings, 1268181436 edges, 72420 markings/sec, 800 secs
lola: 56467907 markings, 1275713479 edges, 61923 markings/sec, 805 secs
lola: 56804496 markings, 1283527390 edges, 67318 markings/sec, 810 secs
lola: 57098402 markings, 1290713230 edges, 58781 markings/sec, 815 secs
lola: 57402501 markings, 1298267115 edges, 60820 markings/sec, 820 secs
lola: 57690676 markings, 1306041036 edges, 57635 markings/sec, 825 secs
lola: 58044958 markings, 1314111915 edges, 70856 markings/sec, 830 secs
lola: 58378997 markings, 1322080316 edges, 66808 markings/sec, 835 secs
lola: 58710408 markings, 1329922499 edges, 66282 markings/sec, 840 secs
lola: 59045005 markings, 1337590390 edges, 66919 markings/sec, 845 secs
lola: 59340059 markings, 1345165300 edges, 59011 markings/sec, 850 secs
lola: 59649877 markings, 1352964921 edges, 61964 markings/sec, 855 secs
lola: 59939864 markings, 1360095697 edges, 57997 markings/sec, 860 secs
lola: 60227578 markings, 1367830530 edges, 57543 markings/sec, 865 secs
lola: 60544816 markings, 1375747426 edges, 63448 markings/sec, 870 secs
lola: 60851895 markings, 1383486206 edges, 61416 markings/sec, 875 secs
lola: 61161187 markings, 1391262425 edges, 61858 markings/sec, 880 secs
lola: 61467922 markings, 1398863622 edges, 61347 markings/sec, 885 secs
lola: 61771355 markings, 1406225381 edges, 60687 markings/sec, 890 secs
lola: 62068726 markings, 1413469205 edges, 59474 markings/sec, 895 secs
lola: 62329238 markings, 1420850327 edges, 52102 markings/sec, 900 secs
lola: 62739680 markings, 1428832070 edges, 82088 markings/sec, 905 secs
lola: 63125823 markings, 1436664086 edges, 77229 markings/sec, 910 secs
lola: 63504891 markings, 1444430849 edges, 75814 markings/sec, 915 secs
lola: 63857472 markings, 1451879944 edges, 70516 markings/sec, 920 secs
lola: 64214990 markings, 1459595018 edges, 71504 markings/sec, 925 secs
lola: 64549434 markings, 1466862132 edges, 66889 markings/sec, 930 secs
lola: 64901724 markings, 1474666008 edges, 70458 markings/sec, 935 secs
lola: 65258782 markings, 1482379952 edges, 71412 markings/sec, 940 secs
lola: 65599446 markings, 1490005119 edges, 68133 markings/sec, 945 secs
lola: 65937599 markings, 1497698374 edges, 67631 markings/sec, 950 secs
lola: 66262189 markings, 1504929484 edges, 64918 markings/sec, 955 secs
lola: 66559498 markings, 1512475107 edges, 59462 markings/sec, 960 secs
lola: 66894751 markings, 1519753317 edges, 67051 markings/sec, 965 secs
lola: 67181345 markings, 1526981854 edges, 57319 markings/sec, 970 secs
lola: 67462972 markings, 1534334378 edges, 56325 markings/sec, 975 secs
lola: 67828265 markings, 1541770723 edges, 73059 markings/sec, 980 secs
lola: 68193279 markings, 1549096178 edges, 73003 markings/sec, 985 secs
lola: 68538675 markings, 1556388660 edges, 69079 markings/sec, 990 secs
lola: 68854128 markings, 1563778690 edges, 63091 markings/sec, 995 secs
lola: 69166890 markings, 1571115645 edges, 62552 markings/sec, 1000 secs
lola: 69506352 markings, 1578361774 edges, 67892 markings/sec, 1005 secs
lola: 69854669 markings, 1585723800 edges, 69663 markings/sec, 1010 secs
lola: 70196599 markings, 1592993718 edges, 68386 markings/sec, 1015 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes unknown no no no no no unknown no no no no unknown
lola: caught signal User defined signal 1 - aborting LoLAlola:
preliminary result: no yes unknown no no no no no unknown no no no no unknown lola:
preliminary result: no yes unknown no no no no no unknown no no no no unknown
lola: memory consumption: 10166572 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.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="DNAwalker-PT-08ringLL"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is DNAwalker-PT-08ringLL, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r075-tall-162039097500294"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-08ringLL.tgz
mv DNAwalker-PT-08ringLL execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;