About the Execution of ITS-LoLa for Raft-PT-05
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15787.410 | 3600000.00 | 3568238.00 | 30080.30 | FF?TTF?T?FFTTFTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r172-smll-158987827600243.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is Raft-PT-05, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827600243
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K Apr 12 08:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 08:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 11 09:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 09:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 62K Mar 24 05:38 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 Raft-PT-05-CTLCardinality-00
FORMULA_NAME Raft-PT-05-CTLCardinality-01
FORMULA_NAME Raft-PT-05-CTLCardinality-02
FORMULA_NAME Raft-PT-05-CTLCardinality-03
FORMULA_NAME Raft-PT-05-CTLCardinality-04
FORMULA_NAME Raft-PT-05-CTLCardinality-05
FORMULA_NAME Raft-PT-05-CTLCardinality-06
FORMULA_NAME Raft-PT-05-CTLCardinality-07
FORMULA_NAME Raft-PT-05-CTLCardinality-08
FORMULA_NAME Raft-PT-05-CTLCardinality-09
FORMULA_NAME Raft-PT-05-CTLCardinality-10
FORMULA_NAME Raft-PT-05-CTLCardinality-11
FORMULA_NAME Raft-PT-05-CTLCardinality-12
FORMULA_NAME Raft-PT-05-CTLCardinality-13
FORMULA_NAME Raft-PT-05-CTLCardinality-14
FORMULA_NAME Raft-PT-05-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591338312940
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 06:25:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 06:25:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 06:25:15] [INFO ] Load time of PNML (sax parser for PT used): 115 ms
[2020-06-05 06:25:15] [INFO ] Transformed 133 places.
[2020-06-05 06:25:15] [INFO ] Transformed 238 transitions.
[2020-06-05 06:25:15] [INFO ] Found NUPN structural information;
[2020-06-05 06:25:15] [INFO ] Parsed PT model containing 133 places and 238 transitions in 175 ms.
Ensure Unique test removed 22 transitions
Reduce redundant transitions removed 22 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 25 ms.
Incomplete random walk after 100000 steps, including 0 resets, run finished after 486 ms. (steps per millisecond=205 ) properties seen :[1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1]
[2020-06-05 06:25:16] [INFO ] Flow matrix only has 195 transitions (discarded 21 similar events)
// Phase 1: matrix 195 rows 133 cols
[2020-06-05 06:25:16] [INFO ] Computed 25 place invariants in 10 ms
[2020-06-05 06:25:16] [INFO ] [Real]Absence check using 25 positive place invariants in 33 ms returned sat
[2020-06-05 06:25:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 06:25:16] [INFO ] [Real]Absence check using state equation in 140 ms returned sat
[2020-06-05 06:25:16] [INFO ] State equation strengthened by 104 read => feed constraints.
[2020-06-05 06:25:16] [INFO ] [Real]Added 104 Read/Feed constraints in 18 ms returned sat
[2020-06-05 06:25:16] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 35 ms.
[2020-06-05 06:25:16] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 06:25:17] [INFO ] [Nat]Absence check using 25 positive place invariants in 35 ms returned sat
[2020-06-05 06:25:17] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 06:25:17] [INFO ] [Nat]Absence check using state equation in 177 ms returned sat
[2020-06-05 06:25:17] [INFO ] [Nat]Added 104 Read/Feed constraints in 22 ms returned sat
[2020-06-05 06:25:17] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 23 ms.
[2020-06-05 06:25:18] [INFO ] Added : 187 causal constraints over 38 iterations in 1370 ms. Result :sat
[2020-06-05 06:25:18] [INFO ] [Real]Absence check using 25 positive place invariants in 14 ms returned sat
[2020-06-05 06:25:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 06:25:18] [INFO ] [Real]Absence check using state equation in 163 ms returned sat
[2020-06-05 06:25:18] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 06:25:19] [INFO ] [Nat]Absence check using 25 positive place invariants in 57 ms returned sat
[2020-06-05 06:25:19] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 06:25:19] [INFO ] [Nat]Absence check using state equation in 170 ms returned sat
[2020-06-05 06:25:19] [INFO ] [Nat]Added 104 Read/Feed constraints in 13 ms returned sat
[2020-06-05 06:25:19] [INFO ] Computed and/alt/rep : 215/1522/194 causal constraints in 27 ms.
[2020-06-05 06:25:20] [INFO ] Added : 181 causal constraints over 37 iterations in 1368 ms. Result :sat
[2020-06-05 06:25:20] [INFO ] Initial state reduction rules for CTL removed 11 formulas.
[2020-06-05 06:25:20] [INFO ] Flatten gal took : 109 ms
[2020-06-05 06:25:21] [INFO ] Initial state reduction rules for CTL removed 11 formulas.
[2020-06-05 06:25:21] [INFO ] Flatten gal took : 41 ms
FORMULA Raft-PT-05-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-05-CTLCardinality-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 06:25:21] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 4 ms.
[2020-06-05 06:25:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 8 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ Raft-PT-05 @ 3570 seconds
FORMULA Raft-PT-05-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-CTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-05-CTLCardinality-08 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLCardinality @ Raft-PT-05
{
"exit":
{
"memory": 1359528,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 5,
"adisj": 2,
"aneg": 2,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "A (((((1 <= p45)) AND ((p80 <= 0))) R ((p128 <= 0) OR (((1 <= p9)) AND ((p72 <= 0))))))",
"processed_size": 88,
"rewrites": 21
},
"result":
{
"preliminary_value": "unknown unknown unknown yes no "
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "eu preserving",
"visible": 9
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 2
},
"type": "universal_release",
"workflow": "stateequation"
}
}
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: 349/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 133
lola: finding significant places
lola: 133 places, 216 transitions, 108 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 CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p80 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p128 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p70 <= 1)
lola: LP says that atomic proposition is always true: (p82 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p115 <= 1)
lola: LP says that atomic proposition is always true: (p62 <= 1)
lola: LP says that atomic proposition is always true: (p3 <= 1)
lola: LP says that atomic proposition is always true: (p88 <= 1)
lola: NOT(E (((((p45 <= 0)) OR ((1 <= p80))) U ((1 <= p128) AND (((p9 <= 0)) OR ((1 <= p72))))))) : (NOT(E (F (((p12 <= 0))))) OR (A (((((p76 <= 0)) OR ((1 <= p70))) U (((p37 <= 0)) OR ((1 <= p82))))) AND NOT(A (G ((((p103 <= 0)) OR ((1 <= p48)))))))) : A (G (E (X ((0 <= 0))))) : (E (F ((((1 <= p2)) AND ((p65 <= 0)) AND ((1 <= p98)) AND ((p115 <= 0))))) OR NOT(E ((((1 <= p62)) U (((p8 <= 0)) OR ((1 <= p3))))))) : A (F (A (G ((((p76 <= 0)) OR ((1 <= p88)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:130
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking absence of deadlocks
lola: Planning: workflow for deadlock check: search (--findpath=off,--siphontrap=off)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 468303 markings, 1245529 edges, 93661 markings/sec, 0 secs
lola: 933258 markings, 2512525 edges, 92991 markings/sec, 5 secs
lola: 1402426 markings, 3766485 edges, 93834 markings/sec, 10 secs
lola: 1865388 markings, 5015936 edges, 92592 markings/sec, 15 secs
lola: 2323633 markings, 6253151 edges, 91649 markings/sec, 20 secs
lola: 2780416 markings, 7494708 edges, 91357 markings/sec, 25 secs
lola: 3207995 markings, 8666019 edges, 85516 markings/sec, 30 secs
lola: 3671907 markings, 9962799 edges, 92782 markings/sec, 35 secs
lola: 4167840 markings, 11200717 edges, 99187 markings/sec, 40 secs
lola: 4634264 markings, 12447904 edges, 93285 markings/sec, 45 secs
lola: 5104216 markings, 13704931 edges, 93990 markings/sec, 50 secs
lola: 5564579 markings, 14932508 edges, 92073 markings/sec, 55 secs
lola: 6024676 markings, 16182656 edges, 92019 markings/sec, 60 secs
lola: 6484299 markings, 17420104 edges, 91925 markings/sec, 65 secs
lola: 6935529 markings, 18664883 edges, 90246 markings/sec, 70 secs
lola: 7376814 markings, 19830784 edges, 88257 markings/sec, 75 secs
lola: 7841713 markings, 21067135 edges, 92980 markings/sec, 80 secs
lola: 8298896 markings, 22305820 edges, 91437 markings/sec, 85 secs
lola: 8759631 markings, 23537686 edges, 92147 markings/sec, 90 secs
lola: 9219769 markings, 24774577 edges, 92028 markings/sec, 95 secs
lola: 9677191 markings, 25997667 edges, 91484 markings/sec, 100 secs
lola: 10133044 markings, 27247128 edges, 91171 markings/sec, 105 secs
lola: 10592688 markings, 28513379 edges, 91929 markings/sec, 110 secs
lola: 11052157 markings, 29776302 edges, 91894 markings/sec, 115 secs
lola: 11514083 markings, 31015722 edges, 92385 markings/sec, 120 secs
lola: 11976714 markings, 32265387 edges, 92526 markings/sec, 125 secs
lola: 12441109 markings, 33513121 edges, 92879 markings/sec, 130 secs
lola: 12887346 markings, 34707789 edges, 89247 markings/sec, 135 secs
lola: 13348651 markings, 35945404 edges, 92261 markings/sec, 140 secs
lola: 13807551 markings, 37203005 edges, 91780 markings/sec, 145 secs
lola: 14266665 markings, 38479016 edges, 91823 markings/sec, 150 secs
lola: 14722973 markings, 39742491 edges, 91262 markings/sec, 155 secs
lola: 15181599 markings, 40966836 edges, 91725 markings/sec, 160 secs
lola: 15628618 markings, 42206013 edges, 89404 markings/sec, 165 secs
lola: 16075646 markings, 43444883 edges, 89406 markings/sec, 170 secs
lola: 16497337 markings, 44602878 edges, 84338 markings/sec, 175 secs
lola: 16954701 markings, 45856768 edges, 91473 markings/sec, 180 secs
lola: 17410789 markings, 47122243 edges, 91218 markings/sec, 185 secs
lola: 17875804 markings, 48353566 edges, 93003 markings/sec, 190 secs
lola: 18336763 markings, 49597946 edges, 92192 markings/sec, 195 secs
lola: 18789033 markings, 50945897 edges, 90454 markings/sec, 200 secs
lola: 19233533 markings, 52333890 edges, 88900 markings/sec, 205 secs
lola: 19679617 markings, 53740416 edges, 89217 markings/sec, 210 secs
lola: 20117534 markings, 55109089 edges, 87583 markings/sec, 215 secs
lola: 20515372 markings, 56362704 edges, 79568 markings/sec, 220 secs
lola: 20933543 markings, 57677808 edges, 83634 markings/sec, 225 secs
lola: 21371130 markings, 59067999 edges, 87517 markings/sec, 230 secs
lola: 21810706 markings, 60465907 edges, 87915 markings/sec, 235 secs
lola: 22251351 markings, 61843004 edges, 88129 markings/sec, 240 secs
lola: 22690233 markings, 63216782 edges, 87776 markings/sec, 245 secs
lola: 23127418 markings, 64590076 edges, 87437 markings/sec, 250 secs
lola: 23565859 markings, 65968543 edges, 87688 markings/sec, 255 secs
lola: 24000566 markings, 67344598 edges, 86941 markings/sec, 260 secs
lola: 24434303 markings, 68712585 edges, 86747 markings/sec, 265 secs
lola: 24864913 markings, 70092772 edges, 86122 markings/sec, 270 secs
lola: 25294532 markings, 71450319 edges, 85924 markings/sec, 275 secs
lola: 25731111 markings, 72815937 edges, 87316 markings/sec, 280 secs
lola: 26165079 markings, 74177771 edges, 86794 markings/sec, 285 secs
lola: 26601321 markings, 75544031 edges, 87248 markings/sec, 290 secs
lola: 27034180 markings, 76915373 edges, 86572 markings/sec, 295 secs
lola: 27469052 markings, 78277347 edges, 86974 markings/sec, 300 secs
lola: 27901822 markings, 79645979 edges, 86554 markings/sec, 305 secs
lola: 28334210 markings, 81017579 edges, 86478 markings/sec, 310 secs
lola: 28700322 markings, 82187295 edges, 73222 markings/sec, 315 secs
lola: 29129678 markings, 83553368 edges, 85871 markings/sec, 320 secs
lola: 29556456 markings, 84906842 edges, 85356 markings/sec, 325 secs
lola: 29980680 markings, 86265076 edges, 84845 markings/sec, 330 secs
lola: 30404915 markings, 87624382 edges, 84847 markings/sec, 335 secs
lola: 30833726 markings, 89007956 edges, 85762 markings/sec, 340 secs
lola: 31249906 markings, 90346125 edges, 83236 markings/sec, 345 secs
lola: 31673662 markings, 91702712 edges, 84751 markings/sec, 350 secs
lola: 32100682 markings, 93069210 edges, 85404 markings/sec, 355 secs
lola: 32528783 markings, 94451938 edges, 85620 markings/sec, 360 secs
lola: 32952713 markings, 95810376 edges, 84786 markings/sec, 365 secs
lola: 33375590 markings, 97180533 edges, 84575 markings/sec, 370 secs
lola: 33798683 markings, 98554565 edges, 84619 markings/sec, 375 secs
lola: 34234509 markings, 99929962 edges, 87165 markings/sec, 380 secs
lola: 34694075 markings, 101310409 edges, 91913 markings/sec, 385 secs
lola: 35153930 markings, 102686659 edges, 91971 markings/sec, 390 secs
lola: 35618974 markings, 104087047 edges, 93009 markings/sec, 395 secs
lola: 36076890 markings, 105467724 edges, 91583 markings/sec, 400 secs
lola: 36535899 markings, 106864805 edges, 91802 markings/sec, 405 secs
lola: 36988996 markings, 108242192 edges, 90619 markings/sec, 410 secs
lola: 37445309 markings, 109643845 edges, 91263 markings/sec, 415 secs
lola: 37897914 markings, 111051036 edges, 90521 markings/sec, 420 secs
lola: 38354355 markings, 112461514 edges, 91288 markings/sec, 425 secs
lola: 38812368 markings, 113857088 edges, 91603 markings/sec, 430 secs
lola: 39267429 markings, 115224339 edges, 91012 markings/sec, 435 secs
lola: 39718448 markings, 116575707 edges, 90204 markings/sec, 440 secs
lola: 40170522 markings, 117931695 edges, 90415 markings/sec, 445 secs
lola: 40629784 markings, 119312444 edges, 91852 markings/sec, 450 secs
lola: 41085145 markings, 120695160 edges, 91072 markings/sec, 455 secs
lola: 41536177 markings, 122071217 edges, 90206 markings/sec, 460 secs
lola: 41986609 markings, 123459708 edges, 90086 markings/sec, 465 secs
lola: 42438566 markings, 124844450 edges, 90391 markings/sec, 470 secs
lola: 42890109 markings, 126196328 edges, 90309 markings/sec, 475 secs
lola: 43337510 markings, 127538172 edges, 89480 markings/sec, 480 secs
lola: 43784371 markings, 128873484 edges, 89372 markings/sec, 485 secs
lola: 44231805 markings, 130238214 edges, 89487 markings/sec, 490 secs
lola: 44685196 markings, 131603215 edges, 90678 markings/sec, 495 secs
lola: 45135227 markings, 132963262 edges, 90006 markings/sec, 500 secs
lola: 45579303 markings, 134326186 edges, 88815 markings/sec, 505 secs
lola: 46022749 markings, 135703576 edges, 88689 markings/sec, 510 secs
lola: 46469551 markings, 137042545 edges, 89360 markings/sec, 515 secs
lola: 46914414 markings, 138418873 edges, 88973 markings/sec, 520 secs
lola: 47361301 markings, 139750103 edges, 89377 markings/sec, 525 secs
lola: 47814026 markings, 141123158 edges, 90545 markings/sec, 530 secs
lola: 48260984 markings, 142472118 edges, 89392 markings/sec, 535 secs
lola: 48706235 markings, 143840473 edges, 89050 markings/sec, 540 secs
lola: 49152618 markings, 145220796 edges, 89277 markings/sec, 545 secs
lola: 49590639 markings, 146555616 edges, 87604 markings/sec, 550 secs
lola: 50033566 markings, 147896509 edges, 88585 markings/sec, 555 secs
lola: 50480353 markings, 149255007 edges, 89357 markings/sec, 560 secs
lola: 50921079 markings, 150628267 edges, 88145 markings/sec, 565 secs
lola: 51367960 markings, 152020183 edges, 89376 markings/sec, 570 secs
lola: 51807071 markings, 153380729 edges, 87822 markings/sec, 575 secs
lola: 52264023 markings, 154756271 edges, 91390 markings/sec, 580 secs
lola: 52716623 markings, 156112851 edges, 90520 markings/sec, 585 secs
lola: 53166704 markings, 157452580 edges, 90016 markings/sec, 590 secs
lola: 53621397 markings, 158824737 edges, 90939 markings/sec, 595 secs
lola: 54072496 markings, 160198930 edges, 90220 markings/sec, 600 secs
lola: 54520042 markings, 161565377 edges, 89509 markings/sec, 605 secs
lola: 54971631 markings, 162944769 edges, 90318 markings/sec, 610 secs
lola: 55421354 markings, 164327027 edges, 89945 markings/sec, 615 secs
lola: 55871049 markings, 165692554 edges, 89939 markings/sec, 620 secs
lola: 56318852 markings, 167024288 edges, 89561 markings/sec, 625 secs
lola: 56768628 markings, 168384423 edges, 89955 markings/sec, 630 secs
lola: 57218617 markings, 169734688 edges, 89998 markings/sec, 635 secs
lola: 57663700 markings, 171064898 edges, 89017 markings/sec, 640 secs
lola: 58115146 markings, 172415581 edges, 90289 markings/sec, 645 secs
lola: 58563109 markings, 173801835 edges, 89593 markings/sec, 650 secs
lola: 59006456 markings, 175169304 edges, 88669 markings/sec, 655 secs
lola: 59448743 markings, 176551090 edges, 88457 markings/sec, 660 secs
lola: 59894786 markings, 177900853 edges, 89209 markings/sec, 665 secs
lola: 60346082 markings, 179274281 edges, 90259 markings/sec, 670 secs
lola: 60796864 markings, 180615607 edges, 90156 markings/sec, 675 secs
lola: 61243223 markings, 181965270 edges, 89272 markings/sec, 680 secs
lola: 61689773 markings, 183297184 edges, 89310 markings/sec, 685 secs
lola: 62134406 markings, 184634099 edges, 88927 markings/sec, 690 secs
lola: 62584551 markings, 185990071 edges, 90029 markings/sec, 695 secs
lola: 63032725 markings, 187346033 edges, 89635 markings/sec, 700 secs
lola: 63478911 markings, 188707439 edges, 89237 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown
lola: memory consumption: 7762976 KB
lola: time consumption: 716 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((((1 <= p45)) AND ((p80 <= 0))) R ((p128 <= 0) OR (((1 <= p9)) AND ((p72 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:619
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:693
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (((((1 <= p45)) AND ((p80 <= 0))) R ((p128 <= 0) OR (((1 <= p9)) AND ((p72 <= 0))))))
lola: processed formula length: 88
lola: 21 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p128) AND (((p9 <= 0)) OR ((1 <= p72))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-0.sara.
sara: error: :1592: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 901825 markings, 1265664 edges, 180365 markings/sec, 0 secs
lola: sara is running 5 secs || 1811099 markings, 2551201 edges, 181855 markings/sec, 5 secs
lola: sara is running 10 secs || 2748556 markings, 3889260 edges, 187491 markings/sec, 10 secs
lola: sara is running 15 secs || 3688651 markings, 5213189 edges, 188019 markings/sec, 15 secs
lola: sara is running 20 secs || 4610978 markings, 6521498 edges, 184465 markings/sec, 20 secs
lola: sara is running 25 secs || 5523089 markings, 7822544 edges, 182422 markings/sec, 25 secs
lola: sara is running 30 secs || 6436939 markings, 9137431 edges, 182770 markings/sec, 30 secs
lola: sara is running 35 secs || 7346675 markings, 10450433 edges, 181947 markings/sec, 35 secs
lola: sara is running 40 secs || 8253875 markings, 11754986 edges, 181440 markings/sec, 40 secs
lola: sara is running 45 secs || 9150238 markings, 13050132 edges, 179273 markings/sec, 45 secs
lola: sara is running 50 secs || 10057624 markings, 14348311 edges, 181477 markings/sec, 50 secs
lola: sara is running 55 secs || 10946759 markings, 15625137 edges, 177827 markings/sec, 55 secs
lola: sara is running 60 secs || 11812898 markings, 16876974 edges, 173228 markings/sec, 60 secs
lola: sara is running 65 secs || 12677972 markings, 18125752 edges, 173015 markings/sec, 65 secs
lola: sara is running 70 secs || 13538341 markings, 19372680 edges, 172074 markings/sec, 70 secs
lola: sara is running 75 secs || 14387702 markings, 20606957 edges, 169872 markings/sec, 75 secs
lola: sara is running 80 secs || 15247267 markings, 21853880 edges, 171913 markings/sec, 80 secs
lola: sara is running 85 secs || 16106812 markings, 23088161 edges, 171909 markings/sec, 85 secs
lola: sara is running 90 secs || 16969142 markings, 24323607 edges, 172466 markings/sec, 90 secs
lola: sara is running 95 secs || 17846704 markings, 25590173 edges, 175512 markings/sec, 95 secs
lola: sara is running 100 secs || 18720065 markings, 26846795 edges, 174672 markings/sec, 100 secs
lola: sara is running 105 secs || 19585393 markings, 28098456 edges, 173066 markings/sec, 105 secs
lola: sara is running 110 secs || 20452535 markings, 29358040 edges, 173428 markings/sec, 110 secs
lola: sara is running 115 secs || 21328304 markings, 30617860 edges, 175154 markings/sec, 115 secs
lola: sara is running 120 secs || 22185883 markings, 31865728 edges, 171516 markings/sec, 120 secs
lola: sara is running 125 secs || 23053657 markings, 33111639 edges, 173555 markings/sec, 125 secs
lola: sara is running 130 secs || 23913076 markings, 34366204 edges, 171884 markings/sec, 130 secs
lola: sara is running 135 secs || 24772177 markings, 35618652 edges, 171820 markings/sec, 135 secs
lola: sara is running 140 secs || 25622553 markings, 36864282 edges, 170075 markings/sec, 140 secs
lola: sara is running 145 secs || 26468787 markings, 38108241 edges, 169247 markings/sec, 145 secs
lola: sara is running 150 secs || 27309740 markings, 39336352 edges, 168191 markings/sec, 150 secs
lola: sara is running 155 secs || 28162354 markings, 40577627 edges, 170523 markings/sec, 155 secs
lola: sara is running 160 secs || 29037008 markings, 41852998 edges, 174931 markings/sec, 160 secs
lola: sara is running 165 secs || 29895959 markings, 43091809 edges, 171790 markings/sec, 165 secs
lola: sara is running 170 secs || 30736757 markings, 44306077 edges, 168160 markings/sec, 170 secs
lola: sara is running 175 secs || 31559916 markings, 45510170 edges, 164632 markings/sec, 175 secs
lola: sara is running 180 secs || 32350824 markings, 46654798 edges, 158182 markings/sec, 180 secs
lola: sara is running 185 secs || 33199212 markings, 47897116 edges, 169678 markings/sec, 185 secs
lola: sara is running 190 secs || 34032728 markings, 49117581 edges, 166703 markings/sec, 190 secs
lola: sara is running 195 secs || 34877441 markings, 50351610 edges, 168943 markings/sec, 195 secs
lola: sara is running 200 secs || 35724746 markings, 51579278 edges, 169461 markings/sec, 200 secs
lola: sara is running 205 secs || 36571236 markings, 52806659 edges, 169298 markings/sec, 205 secs
lola: sara is running 210 secs || 37415347 markings, 54033068 edges, 168822 markings/sec, 210 secs
lola: sara is running 215 secs || 38255337 markings, 55261134 edges, 167998 markings/sec, 215 secs
lola: sara is running 220 secs || 39089368 markings, 56480675 edges, 166806 markings/sec, 220 secs
lola: sara is running 225 secs || 39930647 markings, 57701947 edges, 168256 markings/sec, 225 secs
lola: sara is running 230 secs || 40788292 markings, 58937046 edges, 171529 markings/sec, 230 secs
lola: sara is running 235 secs || 41597262 markings, 60119286 edges, 161794 markings/sec, 235 secs
lola: sara is running 240 secs || 42401361 markings, 61296691 edges, 160820 markings/sec, 240 secs
lola: sara is running 245 secs || 43229670 markings, 62494245 edges, 165662 markings/sec, 245 secs
lola: sara is running 250 secs || 44024134 markings, 63650264 edges, 158893 markings/sec, 250 secs
lola: sara is running 255 secs || 44850937 markings, 64862472 edges, 165361 markings/sec, 255 secs
lola: sara is running 260 secs || 45687244 markings, 66079868 edges, 167261 markings/sec, 260 secs
lola: sara is running 265 secs || 46523324 markings, 67296057 edges, 167216 markings/sec, 265 secs
lola: sara is running 270 secs || 47359060 markings, 68517652 edges, 167147 markings/sec, 270 secs
lola: sara is running 275 secs || 48192706 markings, 69734899 edges, 166729 markings/sec, 275 secs
lola: sara is running 280 secs || 49067925 markings, 70994490 edges, 175044 markings/sec, 280 secs
lola: sara is running 285 secs || 49888505 markings, 72194851 edges, 164116 markings/sec, 285 secs
lola: sara is running 290 secs || 50720547 markings, 73406286 edges, 166408 markings/sec, 290 secs
lola: sara is running 295 secs || 51552065 markings, 74620712 edges, 166304 markings/sec, 295 secs
lola: sara is running 300 secs || 52390983 markings, 75850072 edges, 167784 markings/sec, 300 secs
lola: sara is running 305 secs || 53214267 markings, 77056585 edges, 164657 markings/sec, 305 secs
lola: sara is running 310 secs || 54030964 markings, 78252380 edges, 163339 markings/sec, 310 secs
lola: sara is running 315 secs || 54848977 markings, 79456719 edges, 163603 markings/sec, 315 secs
lola: sara is running 320 secs || 55671254 markings, 80656340 edges, 164455 markings/sec, 320 secs
lola: sara is running 325 secs || 56485948 markings, 81856128 edges, 162939 markings/sec, 325 secs
lola: sara is running 330 secs || 57321210 markings, 83067927 edges, 167052 markings/sec, 330 secs
lola: sara is running 335 secs || 58143553 markings, 84272013 edges, 164469 markings/sec, 335 secs
lola: sara is running 340 secs || 58969698 markings, 85486504 edges, 165229 markings/sec, 340 secs
lola: sara is running 345 secs || 59801308 markings, 86686331 edges, 166322 markings/sec, 345 secs
lola: sara is running 350 secs || 60617922 markings, 87882766 edges, 163323 markings/sec, 350 secs
lola: sara is running 355 secs || 61430698 markings, 89079370 edges, 162555 markings/sec, 355 secs
lola: sara is running 360 secs || 62253451 markings, 90284357 edges, 164551 markings/sec, 360 secs
lola: sara is running 365 secs || 63062130 markings, 91463097 edges, 161736 markings/sec, 365 secs
lola: sara is running 370 secs || 63845795 markings, 92613156 edges, 156733 markings/sec, 370 secs
lola: sara is running 375 secs || 64642718 markings, 93775764 edges, 159385 markings/sec, 375 secs
lola: sara is running 380 secs || 65436750 markings, 94936345 edges, 158806 markings/sec, 380 secs
lola: sara is running 385 secs || 66224762 markings, 96089717 edges, 157602 markings/sec, 385 secs
lola: sara is running 390 secs || 67003273 markings, 97241428 edges, 155702 markings/sec, 390 secs
lola: sara is running 395 secs || 67739814 markings, 98316714 edges, 147308 markings/sec, 395 secs
lola: sara is running 400 secs || 68494867 markings, 99422916 edges, 151011 markings/sec, 400 secs
lola: sara is running 405 secs || 69333010 markings, 100639588 edges, 167629 markings/sec, 405 secs
lola: sara is running 410 secs || 70155600 markings, 101847672 edges, 164518 markings/sec, 410 secs
lola: sara is running 415 secs || 70957568 markings, 103043172 edges, 160394 markings/sec, 415 secs
lola: sara is running 420 secs || 71771214 markings, 104243545 edges, 162729 markings/sec, 420 secs
lola: sara is running 425 secs || 72595684 markings, 105450613 edges, 164894 markings/sec, 425 secs
lola: sara is running 430 secs || 73422910 markings, 106657247 edges, 165445 markings/sec, 430 secs
lola: sara is running 435 secs || 74233211 markings, 107856397 edges, 162060 markings/sec, 435 secs
lola: sara is running 440 secs || 75045842 markings, 109049677 edges, 162526 markings/sec, 440 secs
lola: sara is running 445 secs || 75896983 markings, 110278172 edges, 170228 markings/sec, 445 secs
lola: sara is running 450 secs || 76703855 markings, 111467835 edges, 161374 markings/sec, 450 secs
lola: sara is running 455 secs || 77500280 markings, 112638306 edges, 159285 markings/sec, 455 secs
lola: sara is running 460 secs || 78318732 markings, 113833276 edges, 163690 markings/sec, 460 secs
lola: sara is running 465 secs || 79142372 markings, 115033023 edges, 164728 markings/sec, 465 secs
lola: sara is running 470 secs || 79961935 markings, 116230488 edges, 163913 markings/sec, 470 secs
lola: sara is running 475 secs || 80776292 markings, 117415952 edges, 162871 markings/sec, 475 secs
lola: sara is running 480 secs || 81587921 markings, 118605018 edges, 162326 markings/sec, 480 secs
lola: sara is running 485 secs || 82392174 markings, 119788100 edges, 160851 markings/sec, 485 secs
lola: sara is running 490 secs || 83203773 markings, 120981207 edges, 162320 markings/sec, 490 secs
lola: sara is running 495 secs || 84019230 markings, 122178417 edges, 163091 markings/sec, 495 secs
lola: sara is running 500 secs || 84817012 markings, 123351033 edges, 159556 markings/sec, 500 secs
lola: sara is running 505 secs || 85525341 markings, 124388899 edges, 141666 markings/sec, 505 secs
lola: sara is running 510 secs || 86328154 markings, 125569058 edges, 160563 markings/sec, 510 secs
lola: sara is running 515 secs || 87135144 markings, 126759949 edges, 161398 markings/sec, 515 secs
lola: sara is running 520 secs || 87954067 markings, 127956078 edges, 163785 markings/sec, 520 secs
lola: sara is running 525 secs || 88768685 markings, 129146206 edges, 162924 markings/sec, 525 secs
lola: sara is running 530 secs || 89578375 markings, 130338708 edges, 161938 markings/sec, 530 secs
lola: sara is running 535 secs || 90378258 markings, 131521804 edges, 159977 markings/sec, 535 secs
lola: sara is running 540 secs || 91168690 markings, 132695826 edges, 158086 markings/sec, 540 secs
lola: sara is running 545 secs || 91964124 markings, 133866584 edges, 159087 markings/sec, 545 secs
lola: sara is running 550 secs || 92763876 markings, 135036002 edges, 159950 markings/sec, 550 secs
lola: sara is running 555 secs || 93564088 markings, 136211188 edges, 160042 markings/sec, 555 secs
lola: sara is running 560 secs || 94329974 markings, 137337451 edges, 153177 markings/sec, 560 secs
lola: sara is running 565 secs || 95109028 markings, 138481453 edges, 155811 markings/sec, 565 secs
lola: sara is running 570 secs || 95877394 markings, 139611974 edges, 153673 markings/sec, 570 secs
lola: sara is running 575 secs || 96664306 markings, 140762769 edges, 157382 markings/sec, 575 secs
lola: sara is running 580 secs || 97447307 markings, 141904638 edges, 156600 markings/sec, 580 secs
lola: sara is running 585 secs || 98227167 markings, 143049274 edges, 155972 markings/sec, 585 secs
lola: sara is running 590 secs || 98992869 markings, 144169450 edges, 153140 markings/sec, 590 secs
lola: sara is running 595 secs || 99779803 markings, 145337033 edges, 157387 markings/sec, 595 secs
lola: sara is running 600 secs || 100582734 markings, 146522560 edges, 160586 markings/sec, 600 secs
lola: sara is running 605 secs || 101373206 markings, 147688970 edges, 158094 markings/sec, 605 secs
lola: sara is running 610 secs || 102170347 markings, 148865016 edges, 159428 markings/sec, 610 secs
lola: sara is running 615 secs || 102977998 markings, 150044166 edges, 161530 markings/sec, 615 secs
lola: sara is running 620 secs || 103768108 markings, 151203983 edges, 158022 markings/sec, 620 secs
lola: sara is running 625 secs || 104563861 markings, 152376604 edges, 159151 markings/sec, 625 secs
lola: sara is running 630 secs || 105370377 markings, 153561728 edges, 161303 markings/sec, 630 secs
lola: sara is running 635 secs || 106156591 markings, 154729982 edges, 157243 markings/sec, 635 secs
lola: sara is running 640 secs || 106955431 markings, 155908620 edges, 159768 markings/sec, 640 secs
lola: sara is running 645 secs || 107776120 markings, 157103426 edges, 164138 markings/sec, 645 secs
lola: sara is running 650 secs || 108591252 markings, 158290186 edges, 163026 markings/sec, 650 secs
lola: sara is running 655 secs || 109420058 markings, 159486722 edges, 165761 markings/sec, 655 secs
lola: sara is running 660 secs || 110234635 markings, 160682153 edges, 162915 markings/sec, 660 secs
lola: sara is running 665 secs || 111040916 markings, 161864579 edges, 161256 markings/sec, 665 secs
lola: sara is running 670 secs || 111822941 markings, 163024858 edges, 156405 markings/sec, 670 secs
lola: sara is running 675 secs || 112647558 markings, 164232195 edges, 164923 markings/sec, 675 secs
lola: sara is running 680 secs || 113451015 markings, 165411525 edges, 160691 markings/sec, 680 secs
lola: sara is running 685 secs || 114251125 markings, 166582398 edges, 160022 markings/sec, 685 secs
lola: sara is running 690 secs || 115033927 markings, 167740227 edges, 156560 markings/sec, 690 secs
lola: sara is running 695 secs || 115845559 markings, 168909024 edges, 162326 markings/sec, 695 secs
lola: sara is running 700 secs || 116633721 markings, 170079231 edges, 157632 markings/sec, 700 secs
lola: sara is running 705 secs || 117446485 markings, 171273522 edges, 162553 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown
lola: memory consumption: 12217380 KB
lola: time consumption: 1430 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((((p76 <= 0)) OR ((1 <= p88)))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((1 <= p76)) AND ((p88 <= 0)))
lola: processed formula length: 31
lola: 20 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p76 <= 0)) OR ((1 <= p88)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation task get result started, id 1
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 27 markings, 30 edges
lola: ========================================
lola: subprocess 3 will run for 1070 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((((1 <= p2)) AND ((p65 <= 0)) AND ((1 <= p98)) AND ((p115 <= 0))))) OR A ((((p62 <= 0)) R (((1 <= p8)) AND ((p3 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 1070 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((p62 <= 0)) R (((1 <= p8)) AND ((p3 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:619
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:693
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A ((((p62 <= 0)) R (((1 <= p8)) AND ((p3 <= 0)))))
lola: processed formula length: 50
lola: 21 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p8 <= 0)) OR ((1 <= p3)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EU
lola: Predicate Phi does not release Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 2140 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p2)) AND ((p65 <= 0)) AND ((1 <= p98)) AND ((p115 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((((1 <= p2)) AND ((p65 <= 0)) AND ((1 <= p98)) AND ((p115 <= 0)))))
lola: processed formula length: 73
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((1 <= p2)) AND ((p65 <= 0)) AND ((1 <= p98)) AND ((p115 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: state equation: write sara problem file to CTLCardinality-4-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 4 will run for 2140 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((1 <= p12)))) OR (A (((((p76 <= 0)) OR ((1 <= p70))) U (((p37 <= 0)) OR ((1 <= p82))))) AND E (F ((((1 <= p103)) AND ((p48 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 2140 seconds at most (--localtimelimit=0)
sara: try reading problem file CTLCardinality-4-0.sara.
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((1 <= p12))))
lola: processed formula length: 20
lola: 18 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p12 <= 0))
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: no
sara: error: lola: : 1592 : error near ' TRANSITION 'produced by: state space:
syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMAlola:
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this errorThe predicate is not invariant.
sara: last error message: No such file or directory
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((((p76 <= 0)) OR ((1 <= p70))) U (((p37 <= 0)) OR ((1 <= p82)))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:577
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (((((p76 <= 0)) OR ((1 <= p70))) U (((p37 <= 0)) OR ((1 <= p82)))))
lola: processed formula length: 71
lola: 21 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p76 <= 0)) OR ((1 <= p70)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /ER
lola: Predicate Phi holds until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (NOT DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking absence of deadlocks
lola: Planning: workflow for deadlock check: search (--findpath=off,--siphontrap=off)
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: RUNNING
lola: 425344 markings, 1129566 edges, 85069 markings/sec, 0 secs
lola: 883299 markings, 2375635 edges, 91591 markings/sec, 5 secs
lola: 1345890 markings, 3613535 edges, 92518 markings/sec, 10 secs
lola: 1791978 markings, 4822527 edges, 89218 markings/sec, 15 secs
lola: 2250577 markings, 6054404 edges, 91720 markings/sec, 20 secs
lola: 2710277 markings, 7304992 edges, 91940 markings/sec, 25 secs
lola: 3139024 markings, 8475123 edges, 85749 markings/sec, 30 secs
lola: 3596450 markings, 9752048 edges, 91485 markings/sec, 35 secs
lola: 4084732 markings, 10982585 edges, 97656 markings/sec, 40 secs
lola: 4551329 markings, 12222588 edges, 93319 markings/sec, 45 secs
lola: 4987254 markings, 13396880 edges, 87185 markings/sec, 50 secs
lola: 5450575 markings, 14622496 edges, 92664 markings/sec, 55 secs
lola: 5909212 markings, 15867183 edges, 91727 markings/sec, 60 secs
lola: 6372093 markings, 17117705 edges, 92576 markings/sec, 65 secs
lola: 6830286 markings, 18369040 edges, 91639 markings/sec, 70 secs
lola: 7298014 markings, 19624006 edges, 93546 markings/sec, 75 secs
lola: 7764095 markings, 20856849 edges, 93216 markings/sec, 80 secs
lola: 8220448 markings, 22092078 edges, 91271 markings/sec, 85 secs
lola: 8680935 markings, 23324362 edges, 92097 markings/sec, 90 secs
lola: 9139696 markings, 24564009 edges, 91752 markings/sec, 95 secs
lola: 9598935 markings, 25787680 edges, 91848 markings/sec, 100 secs
lola: 10056471 markings, 27035630 edges, 91507 markings/sec, 105 secs
lola: 10512623 markings, 28293670 edges, 91230 markings/sec, 110 secs
lola: 10965041 markings, 29544647 edges, 90484 markings/sec, 115 secs
lola: 11424715 markings, 30772007 edges, 91935 markings/sec, 120 secs
lola: 11881622 markings, 32013356 edges, 91381 markings/sec, 125 secs
lola: 12344162 markings, 33248243 edges, 92508 markings/sec, 130 secs
lola: 12806047 markings, 34486888 edges, 92377 markings/sec, 135 secs
lola: 13259459 markings, 35704715 edges, 90682 markings/sec, 140 secs
lola: 13713848 markings, 36946327 edges, 90878 markings/sec, 145 secs
lola: 14165846 markings, 38196822 edges, 90400 markings/sec, 150 secs
lola: 14618464 markings, 39465505 edges, 90524 markings/sec, 155 secs
lola: 15077938 markings, 40685426 edges, 91895 markings/sec, 160 secs
lola: 15527936 markings, 41919173 edges, 90000 markings/sec, 165 secs
lola: 15979401 markings, 43172791 edges, 90293 markings/sec, 170 secs
lola: 16427023 markings, 44424296 edges, 89524 markings/sec, 175 secs
lola: 16880065 markings, 45643938 edges, 90608 markings/sec, 180 secs
lola: 17327575 markings, 46896043 edges, 89502 markings/sec, 185 secs
lola: 17787781 markings, 48110125 edges, 92041 markings/sec, 190 secs
lola: 18242971 markings, 49337565 edges, 91038 markings/sec, 195 secs
lola: 18688175 markings, 50632080 edges, 89041 markings/sec, 200 secs
lola: 19126006 markings, 51995326 edges, 87566 markings/sec, 205 secs
lola: 19562743 markings, 53369862 edges, 87347 markings/sec, 210 secs
lola: 19992867 markings, 54719867 edges, 86025 markings/sec, 215 secs
lola: 20418048 markings, 56060051 edges, 85036 markings/sec, 220 secs
lola: 20857039 markings, 57434805 edges, 87798 markings/sec, 225 secs
lola: 21292298 markings, 58815937 edges, 87052 markings/sec, 230 secs
lola: 21692960 markings, 60096679 edges, 80132 markings/sec, 235 secs
lola: 22132966 markings, 61473971 edges, 88001 markings/sec, 240 secs
lola: 22573452 markings, 62853407 edges, 88097 markings/sec, 245 secs
lola: 23012538 markings, 64226734 edges, 87817 markings/sec, 250 secs
lola: 23449773 markings, 65606568 edges, 87447 markings/sec, 255 secs
lola: 23885262 markings, 66985669 edges, 87098 markings/sec, 260 secs
lola: 24318664 markings, 68348407 edges, 86680 markings/sec, 265 secs
lola: 24749680 markings, 69722191 edges, 86203 markings/sec, 270 secs
lola: 25178893 markings, 71079214 edges, 85843 markings/sec, 275 secs
lola: 25614281 markings, 72447307 edges, 87078 markings/sec, 280 secs
lola: 26046480 markings, 73808317 edges, 86440 markings/sec, 285 secs
lola: 26482540 markings, 75170028 edges, 87212 markings/sec, 290 secs
lola: 26914767 markings, 76537296 edges, 86445 markings/sec, 295 secs
lola: 27349613 markings, 77899319 edges, 86969 markings/sec, 300 secs
lola: 27780220 markings, 79261099 edges, 86121 markings/sec, 305 secs
lola: 28214609 markings, 80635890 edges, 86878 markings/sec, 310 secs
lola: 28646904 markings, 82023335 edges, 86459 markings/sec, 315 secs
lola: 29078971 markings, 83392505 edges, 86413 markings/sec, 320 secs
lola: 29509158 markings, 84758165 edges, 86037 markings/sec, 325 secs
lola: 29938551 markings, 86130155 edges, 85879 markings/sec, 330 secs
lola: 30366973 markings, 87503451 edges, 85684 markings/sec, 335 secs
lola: 30791736 markings, 88871272 edges, 84953 markings/sec, 340 secs
lola: 31216330 markings, 90240488 edges, 84919 markings/sec, 345 secs
lola: 31638667 markings, 91592187 edges, 84467 markings/sec, 350 secs
lola: 32066064 markings, 92959326 edges, 85479 markings/sec, 355 secs
lola: 32489044 markings, 94322304 edges, 84596 markings/sec, 360 secs
lola: 32887276 markings, 95599987 edges, 79646 markings/sec, 365 secs
lola: 33311056 markings, 96971724 edges, 84756 markings/sec, 370 secs
lola: 33733961 markings, 98348046 edges, 84581 markings/sec, 375 secs
lola: 34164212 markings, 99721041 edges, 86050 markings/sec, 380 secs
lola: 34625612 markings, 101102950 edges, 92280 markings/sec, 385 secs
lola: 35082735 markings, 102467993 edges, 91425 markings/sec, 390 secs
lola: 35548671 markings, 103877979 edges, 93187 markings/sec, 395 secs
lola: 36004002 markings, 105242867 edges, 91066 markings/sec, 400 secs
lola: 36460606 markings, 106628822 edges, 91321 markings/sec, 405 secs
lola: 36915655 markings, 108025618 edges, 91010 markings/sec, 410 secs
lola: 37368583 markings, 109407116 edges, 90586 markings/sec, 415 secs
lola: 37818286 markings, 110807306 edges, 89941 markings/sec, 420 secs
lola: 38269231 markings, 112197238 edges, 90189 markings/sec, 425 secs
lola: 38722563 markings, 113582600 edges, 90666 markings/sec, 430 secs
lola: 39176390 markings, 114947910 edges, 90765 markings/sec, 435 secs
lola: 39626760 markings, 116296444 edges, 90074 markings/sec, 440 secs
lola: 40076089 markings, 117644259 edges, 89866 markings/sec, 445 secs
lola: 40534261 markings, 119029328 edges, 91634 markings/sec, 450 secs
lola: 40987463 markings, 120397678 edges, 90640 markings/sec, 455 secs
lola: 41436675 markings, 121767594 edges, 89842 markings/sec, 460 secs
lola: 41882933 markings, 123142899 edges, 89252 markings/sec, 465 secs
lola: 42334872 markings, 124536967 edges, 90388 markings/sec, 470 secs
lola: 42786076 markings, 125884347 edges, 90241 markings/sec, 475 secs
lola: 43236021 markings, 127225873 edges, 89989 markings/sec, 480 secs
lola: 43681524 markings, 128570255 edges, 89101 markings/sec, 485 secs
lola: 44130749 markings, 129930847 edges, 89845 markings/sec, 490 secs
lola: 44584808 markings, 131300822 edges, 90812 markings/sec, 495 secs
lola: 45007897 markings, 132581489 edges, 84618 markings/sec, 500 secs
lola: 45450276 markings, 133927373 edges, 88476 markings/sec, 505 secs
lola: 45886221 markings, 135278868 edges, 87189 markings/sec, 510 secs
lola: 46330887 markings, 136621148 edges, 88933 markings/sec, 515 secs
lola: 46770067 markings, 137974828 edges, 87836 markings/sec, 520 secs
lola: 47213481 markings, 139311747 edges, 88683 markings/sec, 525 secs
lola: 47662302 markings, 140657624 edges, 89764 markings/sec, 530 secs
lola: 48110377 markings, 142014870 edges, 89615 markings/sec, 535 secs
lola: 48549340 markings, 143362034 edges, 87793 markings/sec, 540 secs
lola: 48990889 markings, 144725117 edges, 88310 markings/sec, 545 secs
lola: 49426761 markings, 146067242 edges, 87174 markings/sec, 550 secs
lola: 49868526 markings, 147399392 edges, 88353 markings/sec, 555 secs
lola: 50310819 markings, 148725128 edges, 88459 markings/sec, 560 secs
lola: 50747902 markings, 150082853 edges, 87417 markings/sec, 565 secs
lola: 51185580 markings, 151451486 edges, 87536 markings/sec, 570 secs
lola: 51623275 markings, 152809307 edges, 87539 markings/sec, 575 secs
lola: 52063975 markings, 154156587 edges, 88140 markings/sec, 580 secs
lola: 52517681 markings, 155515003 edges, 90741 markings/sec, 585 secs
lola: 52965714 markings, 156859281 edges, 89607 markings/sec, 590 secs
lola: 53418164 markings, 158214021 edges, 90490 markings/sec, 595 secs
lola: 53866190 markings, 159559513 edges, 89605 markings/sec, 600 secs
lola: 54310740 markings, 160927406 edges, 88910 markings/sec, 605 secs
lola: 54756080 markings, 162292458 edges, 89068 markings/sec, 610 secs
lola: 55206008 markings, 163662623 edges, 89986 markings/sec, 615 secs
lola: 55651757 markings, 165033808 edges, 89150 markings/sec, 620 secs
lola: 56102784 markings, 166380918 edges, 90205 markings/sec, 625 secs
lola: 56552983 markings, 167740466 edges, 90040 markings/sec, 630 secs
lola: 57003596 markings, 169092479 edges, 90123 markings/sec, 635 secs
lola: 57449793 markings, 170421775 edges, 89239 markings/sec, 640 secs
lola: 57896595 markings, 171760585 edges, 89360 markings/sec, 645 secs
lola: 58334889 markings, 173091222 edges, 87659 markings/sec, 650 secs
lola: 58760842 markings, 174411182 edges, 85191 markings/sec, 655 secs
lola: 59199041 markings, 175773750 edges, 87640 markings/sec, 660 secs
lola: 59637655 markings, 177126147 edges, 87723 markings/sec, 665 secs
lola: 60082120 markings, 178475762 edges, 88893 markings/sec, 670 secs
lola: 60530534 markings, 179815841 edges, 89683 markings/sec, 675 secs
lola: 60975107 markings, 181152426 edges, 88915 markings/sec, 680 secs
lola: 61421171 markings, 182497171 edges, 89213 markings/sec, 685 secs
lola: 61798193 markings, 183621368 edges, 75404 markings/sec, 690 secs
lola: 62218219 markings, 184883433 edges, 84005 markings/sec, 695 secs
lola: 62667912 markings, 186239773 edges, 89939 markings/sec, 700 secs
lola: 63116327 markings, 187602378 edges, 89683 markings/sec, 705 secs
lola: 63559776 markings, 188959505 edges, 88690 markings/sec, 710 secs
lola: 63973544 markings, 190228434 edges, 82754 markings/sec, 715 secs
lola: 64416436 markings, 191600156 edges, 88578 markings/sec, 720 secs
lola: 64855219 markings, 192939604 edges, 87757 markings/sec, 725 secs
lola: 65295858 markings, 194294056 edges, 88128 markings/sec, 730 secs
lola: 65729427 markings, 195643816 edges, 86714 markings/sec, 735 secs
lola: 66168733 markings, 196982368 edges, 87861 markings/sec, 740 secs
lola: 66618573 markings, 198347062 edges, 89968 markings/sec, 745 secs
lola: 67067059 markings, 199703120 edges, 89697 markings/sec, 750 secs
lola: 67510544 markings, 201033632 edges, 88697 markings/sec, 755 secs
lola: 67956822 markings, 202361452 edges, 89256 markings/sec, 760 secs
lola: 68401480 markings, 203712926 edges, 88932 markings/sec, 765 secs
lola: 68847825 markings, 205074350 edges, 89269 markings/sec, 770 secs
lola: 69296151 markings, 206449244 edges, 89665 markings/sec, 775 secs
lola: 69737483 markings, 207792491 edges, 88266 markings/sec, 780 secs
lola: 70177463 markings, 209152716 edges, 87996 markings/sec, 785 secs
lola: 70615274 markings, 210524612 edges, 87562 markings/sec, 790 secs
lola: 71057194 markings, 211898593 edges, 88384 markings/sec, 795 secs
lola: 71489837 markings, 213266603 edges, 86529 markings/sec, 800 secs
lola: 71923019 markings, 214629368 edges, 86636 markings/sec, 805 secs
lola: 72362808 markings, 215993805 edges, 87958 markings/sec, 810 secs
lola: 72806229 markings, 217319447 edges, 88684 markings/sec, 815 secs
lola: 73247382 markings, 218635282 edges, 88231 markings/sec, 820 secs
lola: 73691988 markings, 219979876 edges, 88921 markings/sec, 825 secs
lola: 74130825 markings, 221328991 edges, 87767 markings/sec, 830 secs
lola: 74583340 markings, 222686835 edges, 90503 markings/sec, 835 secs
lola: 75037714 markings, 224052744 edges, 90875 markings/sec, 840 secs
lola: 75487441 markings, 225401018 edges, 89945 markings/sec, 845 secs
lola: 75944071 markings, 226773802 edges, 91326 markings/sec, 850 secs
lola: 76391542 markings, 228134036 edges, 89494 markings/sec, 855 secs
lola: 76837952 markings, 229486791 edges, 89282 markings/sec, 860 secs
lola: 77288181 markings, 230832885 edges, 90046 markings/sec, 865 secs
lola: 77746408 markings, 232213409 edges, 91645 markings/sec, 870 secs
lola: 78193135 markings, 233551753 edges, 89345 markings/sec, 875 secs
lola: 78633772 markings, 234900232 edges, 88127 markings/sec, 880 secs
lola: 79079134 markings, 236260980 edges, 89072 markings/sec, 885 secs
lola: 79527763 markings, 237627219 edges, 89726 markings/sec, 890 secs
lola: 79974140 markings, 238999820 edges, 89275 markings/sec, 895 secs
lola: 80419771 markings, 240367725 edges, 89126 markings/sec, 900 secs
lola: 80877843 markings, 241744951 edges, 91614 markings/sec, 905 secs
lola: 81331306 markings, 243103131 edges, 90693 markings/sec, 910 secs
lola: 81781684 markings, 244477001 edges, 90076 markings/sec, 915 secs
lola: 82228720 markings, 245810901 edges, 89407 markings/sec, 920 secs
lola: 82685412 markings, 247178356 edges, 91338 markings/sec, 925 secs
lola: 83130334 markings, 248544684 edges, 88984 markings/sec, 930 secs
lola: 83581774 markings, 249935981 edges, 90288 markings/sec, 935 secs
lola: 84026959 markings, 251300740 edges, 89037 markings/sec, 940 secs
lola: 84471516 markings, 252665296 edges, 88911 markings/sec, 945 secs
lola: 84915224 markings, 254026856 edges, 88742 markings/sec, 950 secs
lola: 85358360 markings, 255355372 edges, 88627 markings/sec, 955 secs
lola: 85810257 markings, 256730879 edges, 90379 markings/sec, 960 secs
lola: 86256894 markings, 258102053 edges, 89327 markings/sec, 965 secs
lola: 86698184 markings, 259456050 edges, 88258 markings/sec, 970 secs
lola: 87136797 markings, 260810038 edges, 87723 markings/sec, 975 secs
lola: 87577918 markings, 262152618 edges, 88224 markings/sec, 980 secs
lola: 88021740 markings, 263506490 edges, 88764 markings/sec, 985 secs
lola: 88400639 markings, 264652733 edges, 75780 markings/sec, 990 secs
lola: 88831245 markings, 266011449 edges, 86121 markings/sec, 995 secs
lola: 89260350 markings, 267385906 edges, 85821 markings/sec, 1000 secs
lola: 89691364 markings, 268747500 edges, 86203 markings/sec, 1005 secs
lola: 90128263 markings, 270106194 edges, 87380 markings/sec, 1010 secs
lola: 90569407 markings, 271442323 edges, 88229 markings/sec, 1015 secs
lola: 91015349 markings, 272813476 edges, 89188 markings/sec, 1020 secs
lola: 91455293 markings, 274168996 edges, 87989 markings/sec, 1025 secs
lola: 91871285 markings, 275440865 edges, 83198 markings/sec, 1030 secs
lola: 92308618 markings, 276796046 edges, 87467 markings/sec, 1035 secs
lola: 92745781 markings, 278138133 edges, 87433 markings/sec, 1040 secs
lola: 93177917 markings, 279475281 edges, 86427 markings/sec, 1045 secs
lola: 93608143 markings, 280815025 edges, 86045 markings/sec, 1050 secs
lola: 94042505 markings, 282127772 edges, 86872 markings/sec, 1055 secs
lola: 94479195 markings, 283461617 edges, 87338 markings/sec, 1060 secs
lola: 94910558 markings, 284812993 edges, 86273 markings/sec, 1065 secs
lola: 95350086 markings, 286175985 edges, 87906 markings/sec, 1070 secs
lola: 95776770 markings, 287528996 edges, 85337 markings/sec, 1075 secs
lola: 96208492 markings, 288868444 edges, 86344 markings/sec, 1080 secs
lola: 96639682 markings, 290214191 edges, 86238 markings/sec, 1085 secs
lola: 97043669 markings, 291477415 edges, 80797 markings/sec, 1090 secs
lola: 97472677 markings, 292784270 edges, 85802 markings/sec, 1095 secs
lola: 97900182 markings, 294135031 edges, 85501 markings/sec, 1100 secs
lola: 98327382 markings, 295483295 edges, 85440 markings/sec, 1105 secs
lola: 98759076 markings, 296843047 edges, 86339 markings/sec, 1110 secs
lola: 99179776 markings, 298173207 edges, 84140 markings/sec, 1115 secs
lola: 99603381 markings, 299503974 edges, 84721 markings/sec, 1120 secs
lola: 100034138 markings, 300853820 edges, 86151 markings/sec, 1125 secs
lola: 100478473 markings, 302221501 edges, 88867 markings/sec, 1130 secs
lola: 100917660 markings, 303584284 edges, 87837 markings/sec, 1135 secs
lola: 101353208 markings, 304940790 edges, 87110 markings/sec, 1140 secs
lola: 101795335 markings, 306261567 edges, 88425 markings/sec, 1145 secs
lola: 102235208 markings, 307629807 edges, 87975 markings/sec, 1150 secs
lola: 102681373 markings, 308984648 edges, 89233 markings/sec, 1155 secs
lola: 103119481 markings, 310348509 edges, 87622 markings/sec, 1160 secs
lola: 103549855 markings, 311715454 edges, 86075 markings/sec, 1165 secs
lola: 103978333 markings, 313056972 edges, 85696 markings/sec, 1170 secs
lola: 104399677 markings, 314385090 edges, 84269 markings/sec, 1175 secs
lola: 104828730 markings, 315726805 edges, 85811 markings/sec, 1180 secs
lola: 105253464 markings, 317061189 edges, 84947 markings/sec, 1185 secs
lola: 105678159 markings, 318414311 edges, 84939 markings/sec, 1190 secs
lola: 106106811 markings, 319774499 edges, 85730 markings/sec, 1195 secs
lola: 106527313 markings, 321112746 edges, 84100 markings/sec, 1200 secs
lola: 106948850 markings, 322455928 edges, 84307 markings/sec, 1205 secs
lola: 107369486 markings, 323801790 edges, 84127 markings/sec, 1210 secs
lola: 107794521 markings, 325144743 edges, 85007 markings/sec, 1215 secs
lola: 108240828 markings, 326489486 edges, 89261 markings/sec, 1220 secs
lola: 108684845 markings, 327821278 edges, 88803 markings/sec, 1225 secs
lola: 109128673 markings, 329147369 edges, 88766 markings/sec, 1230 secs
lola: 109572825 markings, 330492880 edges, 88830 markings/sec, 1235 secs
lola: 110019102 markings, 331847274 edges, 89255 markings/sec, 1240 secs
lola: 110462010 markings, 333201613 edges, 88582 markings/sec, 1245 secs
lola: 110903106 markings, 334550202 edges, 88219 markings/sec, 1250 secs
lola: 111321702 markings, 335833321 edges, 83719 markings/sec, 1255 secs
lola: 111750850 markings, 337146807 edges, 85830 markings/sec, 1260 secs
lola: 112190718 markings, 338514520 edges, 87974 markings/sec, 1265 secs
lola: 112614087 markings, 339868505 edges, 84674 markings/sec, 1270 secs
lola: 113035489 markings, 341227756 edges, 84280 markings/sec, 1275 secs
lola: 113451046 markings, 342554234 edges, 83111 markings/sec, 1280 secs
lola: 113882630 markings, 343922722 edges, 86317 markings/sec, 1285 secs
lola: 114310098 markings, 345291134 edges, 85494 markings/sec, 1290 secs
lola: 114734924 markings, 346644352 edges, 84965 markings/sec, 1295 secs
lola: 115165333 markings, 347984205 edges, 86082 markings/sec, 1300 secs
lola: 115587636 markings, 349353794 edges, 84461 markings/sec, 1305 secs
lola: 116017188 markings, 350724781 edges, 85910 markings/sec, 1310 secs
lola: 116440965 markings, 352089715 edges, 84755 markings/sec, 1315 secs
lola: 116864874 markings, 353447246 edges, 84782 markings/sec, 1320 secs
lola: 117300307 markings, 354809545 edges, 87087 markings/sec, 1325 secs
lola: 117720626 markings, 356175054 edges, 84064 markings/sec, 1330 secs
lola: 118144040 markings, 357526672 edges, 84683 markings/sec, 1335 secs
lola: 118558381 markings, 358865683 edges, 82868 markings/sec, 1340 secs
lola: 118980083 markings, 360219257 edges, 84340 markings/sec, 1345 secs
lola: 119404966 markings, 361575099 edges, 84977 markings/sec, 1350 secs
lola: 119834189 markings, 362952810 edges, 85845 markings/sec, 1355 secs
lola: 120265321 markings, 364309706 edges, 86226 markings/sec, 1360 secs
lola: 120699674 markings, 365660153 edges, 86871 markings/sec, 1365 secs
lola: 121130514 markings, 367018360 edges, 86168 markings/sec, 1370 secs
lola: 121556564 markings, 368355046 edges, 85210 markings/sec, 1375 secs
lola: 121982852 markings, 369699558 edges, 85258 markings/sec, 1380 secs
lola: 122411392 markings, 371050573 edges, 85708 markings/sec, 1385 secs
lola: 122837465 markings, 372384871 edges, 85215 markings/sec, 1390 secs
lola: 123261906 markings, 373730799 edges, 84888 markings/sec, 1395 secs
lola: 123684509 markings, 375085224 edges, 84521 markings/sec, 1400 secs
lola: 124107634 markings, 376437909 edges, 84625 markings/sec, 1405 secs
lola: 124537742 markings, 377794371 edges, 86022 markings/sec, 1410 secs
lola: 124968473 markings, 379133804 edges, 86146 markings/sec, 1415 secs
lola: 125393732 markings, 380472148 edges, 85052 markings/sec, 1420 secs
lola: 125816361 markings, 381789813 edges, 84526 markings/sec, 1425 secs
lola: 126236662 markings, 383113466 edges, 84060 markings/sec, 1430 secs
lola: 126657969 markings, 384449285 edges, 84261 markings/sec, 1435 secs
lola: 127075084 markings, 385774030 edges, 83423 markings/sec, 1440 secs
lola: 127492028 markings, 387095361 edges, 83389 markings/sec, 1445 secs
lola: 127908342 markings, 388414290 edges, 83263 markings/sec, 1450 secs
lola: 128335152 markings, 389753841 edges, 85362 markings/sec, 1455 secs
lola: 128761554 markings, 391091798 edges, 85280 markings/sec, 1460 secs
lola: 129188637 markings, 392432477 edges, 85417 markings/sec, 1465 secs
lola: 129612772 markings, 393766837 edges, 84827 markings/sec, 1470 secs
lola: 130035733 markings, 395093918 edges, 84592 markings/sec, 1475 secs
lola: 130455262 markings, 396413791 edges, 83906 markings/sec, 1480 secs
lola: 130874790 markings, 397739155 edges, 83906 markings/sec, 1485 secs
lola: 131291549 markings, 399060435 edges, 83352 markings/sec, 1490 secs
lola: 131707520 markings, 400385811 edges, 83194 markings/sec, 1495 secs
lola: 132122263 markings, 401720206 edges, 82949 markings/sec, 1500 secs
lola: 132538232 markings, 403054624 edges, 83194 markings/sec, 1505 secs
lola: 132953542 markings, 404395323 edges, 83062 markings/sec, 1510 secs
lola: 133367081 markings, 405725950 edges, 82708 markings/sec, 1515 secs
lola: 133780657 markings, 407054011 edges, 82715 markings/sec, 1520 secs
lola: 134191499 markings, 408380805 edges, 82168 markings/sec, 1525 secs
lola: 134599806 markings, 409713659 edges, 81661 markings/sec, 1530 secs
lola: 135005733 markings, 411031265 edges, 81185 markings/sec, 1535 secs
lola: 135387901 markings, 412274519 edges, 76434 markings/sec, 1540 secs
lola: 135799757 markings, 413604333 edges, 82371 markings/sec, 1545 secs
lola: 136209422 markings, 414936086 edges, 81933 markings/sec, 1550 secs
lola: 136620328 markings, 416282740 edges, 82181 markings/sec, 1555 secs
lola: 137037351 markings, 417609990 edges, 83405 markings/sec, 1560 secs
lola: 137426117 markings, 418778527 edges, 77753 markings/sec, 1565 secs
lola: 137823549 markings, 419981874 edges, 79486 markings/sec, 1570 secs
lola: 138265740 markings, 421309499 edges, 88438 markings/sec, 1575 secs
lola: 138702536 markings, 422613533 edges, 87359 markings/sec, 1580 secs
lola: 139104320 markings, 423826934 edges, 80357 markings/sec, 1585 secs
lola: 139476442 markings, 424963650 edges, 74424 markings/sec, 1590 secs
lola: 139849123 markings, 426090426 edges, 74536 markings/sec, 1595 secs
lola: 140202414 markings, 427156538 edges, 70658 markings/sec, 1600 secs
lola: 140638140 markings, 428483149 edges, 87145 markings/sec, 1605 secs
lola: 141029310 markings, 429656853 edges, 78234 markings/sec, 1610 secs
lola: 141439097 markings, 430890182 edges, 81957 markings/sec, 1615 secs
lola: 141870118 markings, 432196510 edges, 86204 markings/sec, 1620 secs
lola: 142253490 markings, 433365109 edges, 76674 markings/sec, 1625 secs
lola: 142687117 markings, 434686329 edges, 86725 markings/sec, 1630 secs
lola: 143047462 markings, 435764100 edges, 72069 markings/sec, 1635 secs
lola: 143451585 markings, 436983391 edges, 80825 markings/sec, 1640 secs
lola: 143887780 markings, 438278373 edges, 87239 markings/sec, 1645 secs
lola: 144325809 markings, 439593484 edges, 87606 markings/sec, 1650 secs
lola: 144738689 markings, 440843896 edges, 82576 markings/sec, 1655 secs
lola: 145183826 markings, 442211217 edges, 89027 markings/sec, 1660 secs
lola: 145626999 markings, 443576390 edges, 88635 markings/sec, 1665 secs
lola: 146066790 markings, 444918034 edges, 87958 markings/sec, 1670 secs
lola: 146492077 markings, 446211555 edges, 85057 markings/sec, 1675 secs
lola: 146923254 markings, 447509886 edges, 86235 markings/sec, 1680 secs
lola: 147276951 markings, 448600380 edges, 70739 markings/sec, 1685 secs
lola: 147676678 markings, 449828553 edges, 79945 markings/sec, 1690 secs
lola: 148100411 markings, 451111475 edges, 84747 markings/sec, 1695 secs
lola: 148536339 markings, 452435993 edges, 87186 markings/sec, 1700 secs
lola: 148972879 markings, 453789007 edges, 87308 markings/sec, 1705 secs
lola: 149388824 markings, 455070928 edges, 83189 markings/sec, 1710 secs
lola: 149779057 markings, 456270456 edges, 78047 markings/sec, 1715 secs
lola: 150179450 markings, 457512473 edges, 80079 markings/sec, 1720 secs
lola: 150573451 markings, 458727829 edges, 78800 markings/sec, 1725 secs
lola: 150961706 markings, 459914456 edges, 77651 markings/sec, 1730 secs
lola: 151227117 markings, 460706820 edges, 53082 markings/sec, 1735 secs
lola: 151560089 markings, 461694532 edges, 66594 markings/sec, 1740 secs
lola: 151891761 markings, 462691278 edges, 66334 markings/sec, 1745 secs
lola: 152252562 markings, 463778937 edges, 72160 markings/sec, 1750 secs
lola: 152654259 markings, 465004663 edges, 80339 markings/sec, 1755 secs
lola: 152962970 markings, 465929286 edges, 61742 markings/sec, 1760 secs
lola: 153319513 markings, 467018372 edges, 71309 markings/sec, 1765 secs
lola: 153711851 markings, 468213462 edges, 78468 markings/sec, 1770 secs
lola: 154085502 markings, 469352725 edges, 74730 markings/sec, 1775 secs
lola: 154379280 markings, 470261091 edges, 58756 markings/sec, 1780 secs
lola: 154699260 markings, 471257130 edges, 63996 markings/sec, 1785 secs
lola: 155081242 markings, 472445961 edges, 76396 markings/sec, 1790 secs
lola: 155395354 markings, 473386875 edges, 62822 markings/sec, 1795 secs
lola: 155795940 markings, 474583501 edges, 80117 markings/sec, 1800 secs
lola: 156226907 markings, 475872437 edges, 86193 markings/sec, 1805 secs
lola: 156659011 markings, 477177072 edges, 86421 markings/sec, 1810 secs
lola: 157054687 markings, 478374103 edges, 79135 markings/sec, 1815 secs
lola: 157421369 markings, 479498279 edges, 73336 markings/sec, 1820 secs
lola: 157856682 markings, 480809688 edges, 87063 markings/sec, 1825 secs
lola: 158283555 markings, 482126103 edges, 85375 markings/sec, 1830 secs
lola: 158653342 markings, 483257078 edges, 73957 markings/sec, 1835 secs
lola: 159011881 markings, 484346758 edges, 71708 markings/sec, 1840 secs
lola: 159304274 markings, 485223612 edges, 58479 markings/sec, 1845 secs
lola: 159646327 markings, 486259042 edges, 68411 markings/sec, 1850 secs
lola: 160027292 markings, 487400705 edges, 76193 markings/sec, 1855 secs
lola: 160438988 markings, 488632182 edges, 82339 markings/sec, 1860 secs
lola: 160834131 markings, 489836223 edges, 79029 markings/sec, 1865 secs
lola: 161267201 markings, 491161535 edges, 86614 markings/sec, 1870 secs
lola: 161699589 markings, 492489855 edges, 86478 markings/sec, 1875 secs
lola: 162122985 markings, 493783807 edges, 84679 markings/sec, 1880 secs
lola: 162500053 markings, 494939685 edges, 75414 markings/sec, 1885 secs
lola: 162924404 markings, 496207901 edges, 84870 markings/sec, 1890 secs
lola: 163352644 markings, 497526877 edges, 85648 markings/sec, 1895 secs
lola: 163784048 markings, 498830290 edges, 86281 markings/sec, 1900 secs
lola: 164215218 markings, 500120323 edges, 86234 markings/sec, 1905 secs
lola: 164647891 markings, 501429160 edges, 86535 markings/sec, 1910 secs
lola: 165006825 markings, 502531188 edges, 71787 markings/sec, 1915 secs
lola: 165402415 markings, 503761168 edges, 79118 markings/sec, 1920 secs
lola: 165797827 markings, 504993978 edges, 79082 markings/sec, 1925 secs
lola: 166220865 markings, 506309009 edges, 84608 markings/sec, 1930 secs
lola: 166623770 markings, 507550560 edges, 80581 markings/sec, 1935 secs
lola: 167011661 markings, 508746330 edges, 77578 markings/sec, 1940 secs
lola: 167300892 markings, 509622959 edges, 57846 markings/sec, 1945 secs
lola: 167569654 markings, 510431444 edges, 53752 markings/sec, 1950 secs
lola: 167875506 markings, 511344551 edges, 61170 markings/sec, 1955 secs
lola: 168213722 markings, 512346933 edges, 67643 markings/sec, 1960 secs
lola: 168588862 markings, 513467984 edges, 75028 markings/sec, 1965 secs
lola: 168899315 markings, 514398865 edges, 62091 markings/sec, 1970 secs
lola: 169242063 markings, 515442372 edges, 68550 markings/sec, 1975 secs
lola: 169540813 markings, 516338104 edges, 59750 markings/sec, 1980 secs
lola: 169807189 markings, 517152735 edges, 53275 markings/sec, 1985 secs
lola: 170174610 markings, 518296441 edges, 73484 markings/sec, 1990 secs
lola: 170474862 markings, 519227760 edges, 60050 markings/sec, 1995 secs
lola: 170761244 markings, 520105208 edges, 57276 markings/sec, 2000 secs
lola: 171023374 markings, 520925824 edges, 52426 markings/sec, 2005 secs
lola: 171152804 markings, 521327796 edges, 25886 markings/sec, 2010 secs
lola: 171188804 markings, 521436396 edges, 7200 markings/sec, 2015 secs
lola: 171326234 markings, 521847917 edges, 27486 markings/sec, 2020 secs
lola: 171362760 markings, 521958654 edges, 7305 markings/sec, 2025 secs
lola: 171364081 markings, 521962737 edges, 264 markings/sec, 2030 secs
lola: 171364554 markings, 521964117 edges, 95 markings/sec, 2035 secs
lola: 171365806 markings, 521967738 edges, 250 markings/sec, 2040 secs
lola: 171365827 markings, 521967802 edges, 4 markings/sec, 2045 secs
lola: 171368537 markings, 521976383 edges, 542 markings/sec, 2050 secs
lola: 171373588 markings, 521991629 edges, 1010 markings/sec, 2055 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (((((1 <= p45)) AND ((p80 <= 0))) R ((p128 <= 0) OR (((1 <= p9)) AND ((p72 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking universal release
lola: rewrite Frontend/Parser/formula_rewrite.k:619
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:693
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (((((1 <= p45)) AND ((p80 <= 0))) R ((p128 <= 0) OR (((1 <= p9)) AND ((p72 <= 0))))))
lola: processed formula length: 88
lola: 21 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p128) AND (((p9 <= 0)) OR ((1 <= p72))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-6-0.sara.
sara: error: :1592: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || 914994 markings, 1284202 edges, 182999 markings/sec, 0 secs
lola: sara is running 5 secs || 1856934 markings, 2616376 edges, 188388 markings/sec, 5 secs
lola: sara is running 10 secs || 2781293 markings, 3935900 edges, 184872 markings/sec, 10 secs
lola: sara is running 15 secs || 3716844 markings, 5252784 edges, 187110 markings/sec, 15 secs
lola: sara is running 20 secs || 4626087 markings, 6542880 edges, 181849 markings/sec, 20 secs
lola: sara is running 25 secs || 5521404 markings, 7820136 edges, 179063 markings/sec, 25 secs
lola: sara is running 30 secs || 6425633 markings, 9120962 edges, 180846 markings/sec, 30 secs
lola: sara is running 35 secs || 7317972 markings, 10409451 edges, 178468 markings/sec, 35 secs
lola: sara is running 40 secs || 8206287 markings, 11685741 edges, 177663 markings/sec, 40 secs
lola: sara is running 45 secs || 9087926 markings, 12961108 edges, 176328 markings/sec, 45 secs
lola: sara is running 50 secs || 9974569 markings, 14232500 edges, 177329 markings/sec, 50 secs
lola: sara is running 55 secs || 10867219 markings, 15508423 edges, 178530 markings/sec, 55 secs
lola: sara is running 60 secs || 11743364 markings, 16775077 edges, 175229 markings/sec, 60 secs
lola: sara is running 65 secs || 12620438 markings, 18042414 edges, 175415 markings/sec, 65 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown yes no
lola:
preliminary result: unknown unknown unknown yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes no
lola: memory consumption: 1359488 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown yes no
lola: memory consumption: 1359528 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.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="Raft-PT-05"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is Raft-PT-05, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-158987827600243"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-05.tgz
mv Raft-PT-05 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;