About the Execution of ITS-LoLa for ClientsAndServers-PT-N0020P3
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15799.840 | 3600000.00 | 3410826.00 | 153902.50 | ?FFFFFTFT?TFFTF? | 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.r168-smll-158987806400194.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 ClientsAndServers-PT-N0020P3, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400194
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 07:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.2K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ClientsAndServers-PT-N0020P3-00
FORMULA_NAME ClientsAndServers-PT-N0020P3-01
FORMULA_NAME ClientsAndServers-PT-N0020P3-02
FORMULA_NAME ClientsAndServers-PT-N0020P3-03
FORMULA_NAME ClientsAndServers-PT-N0020P3-04
FORMULA_NAME ClientsAndServers-PT-N0020P3-05
FORMULA_NAME ClientsAndServers-PT-N0020P3-06
FORMULA_NAME ClientsAndServers-PT-N0020P3-07
FORMULA_NAME ClientsAndServers-PT-N0020P3-08
FORMULA_NAME ClientsAndServers-PT-N0020P3-09
FORMULA_NAME ClientsAndServers-PT-N0020P3-10
FORMULA_NAME ClientsAndServers-PT-N0020P3-11
FORMULA_NAME ClientsAndServers-PT-N0020P3-12
FORMULA_NAME ClientsAndServers-PT-N0020P3-13
FORMULA_NAME ClientsAndServers-PT-N0020P3-14
FORMULA_NAME ClientsAndServers-PT-N0020P3-15
=== Now, execution of the tool begins
BK_START 1591215675199
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 20:21:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 20:21:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 20:21:34] [INFO ] Load time of PNML (sax parser for PT used): 44 ms
[2020-06-03 20:21:34] [INFO ] Transformed 25 places.
[2020-06-03 20:21:34] [INFO ] Transformed 18 transitions.
[2020-06-03 20:21:34] [INFO ] Parsed PT model containing 25 places and 18 transitions in 113 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 26 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 22 resets, run finished after 101 ms. (steps per millisecond=990 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 18 rows 25 cols
[2020-06-03 20:21:35] [INFO ] Computed 8 place invariants in 5 ms
[2020-06-03 20:21:35] [INFO ] [Real]Absence check using 5 positive place invariants in 26 ms returned sat
[2020-06-03 20:21:35] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 2 simplifications.
[2020-06-03 20:21:35] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-03 20:21:35] [INFO ] Flatten gal took : 48 ms
FORMULA ClientsAndServers-PT-N0020P3-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 20:21:35] [INFO ] Flatten gal took : 12 ms
[2020-06-03 20:21:35] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 6 ms.
[2020-06-03 20:21:35] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0020P3 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0020P3-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P3-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -3
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0020P3
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Jun 3 20:21:37 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 8,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X (F ((X (X (X (G ((p10 <= 0))))) AND (X (X (X (G ((p10 <= 0))))) OR G (F ((p10 <= 0))))))))",
"processed_size": 95,
"rewrites": 73
},
"result":
{
"edges": 1255,
"markings": 1242,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 51
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(G (((1 <= p5) AND (1 <= p15))) R ((p5 <= 0) OR (p15 <= 0)))",
"processed_size": 61,
"rewrites": 73
},
"result":
{
"edges": 893,
"markings": 893,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (G (((p5 <= 0) OR (p15 <= 0))))",
"processed_size": 34,
"rewrites": 73
},
"result":
{
"edges": 1217,
"markings": 1217,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (G (((1 <= p2))))",
"processed_size": 19,
"rewrites": 73
},
"result":
{
"edges": 1217,
"markings": 1217,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G ((G ((p6 <= 0)) AND (p6 <= 0)))",
"processed_size": 33,
"rewrites": 73
},
"result":
{
"edges": 2944,
"markings": 2828,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (((1 <= p12) AND (G ((1 <= p16)) OR ((1 <= p4) AND (1 <= p21)))))",
"processed_size": 67,
"rewrites": 73
},
"result":
{
"edges": 1217,
"markings": 1217,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (G ((p12 <= 0)))",
"processed_size": 18,
"rewrites": 73
},
"result":
{
"edges": 1217,
"markings": 1217,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F ((X ((p22 <= 0)) OR (1 <= p12)))",
"processed_size": 34,
"rewrites": 73
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (F ((X (X ((1 <= p6))) AND (1 <= p6))))",
"processed_size": 41,
"rewrites": 73
},
"result":
{
"edges": 1217,
"markings": 1217,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 453
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 2,
"X": 1,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "(((1 <= p16) OR (G (((1 <= p7) AND (1 <= p23))) AND (1 <= p9))) U (((p7 <= 0) OR (p23 <= 0)) U X (F ((1 <= p16)))))",
"processed_size": 116,
"rewrites": 73
},
"result":
{
"edges": 1917,
"markings": 961,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 528
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p6 <= 0) AND (1 <= p24))",
"processed_size": 26,
"rewrites": 75
},
"result":
{
"edges": 3700145,
"markings": 2944170,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 4
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 633
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G ((p24 <= 0)))",
"processed_size": 18,
"rewrites": 73
},
"result":
{
"edges": 2720,
"markings": 2718,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 844
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 0,
"aconj": 4,
"adisj": 1,
"aneg": 3,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F (G ((G ((((p2 <= 0)) AND ((p8 <= 0) OR (p15 <= 0)))) AND (((p2 <= 0)) AND ((p5 <= 0) OR (p15 <= 0))))))",
"processed_size": 107,
"rewrites": 73
},
"result":
{
"edges": 2221,
"markings": 1514,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1627
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 1,
"U": 2,
"X": 0,
"aconj": 5,
"adisj": 0,
"aneg": 0,
"comp": 12,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 12,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "G ((F (((((1 <= p11) AND (1 <= p17)) U ((1 <= p5) AND (1 <= p15))) OR F ((1 <= p9)))) AND (((1 <= p11) AND (1 <= p17)) OR ((((1 <= p11) AND (1 <= p17)) U ((1 <= p5) AND (1 <= p15))) OR F ((1 <= p9))))))",
"processed_size": 202,
"rewrites": 73
},
"result":
{
"edges": 1049979,
"markings": 845112,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 1748,
"runtime": 3573.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(**)) : X(X(F((X(X(X(G(*)))) AND (X(X(X(G(*)))) OR G(F(*))))))) : ((G(**) R *) OR X(G(*))) : X(G(**)) : (G((G(*) AND **)) AND X(F(**))) : X((** AND (G(**) OR **))) : F(**) : F(G((G(*) AND (* AND *)))) : (F((X(**) OR **)) OR X(G(*))) : G((X(F((F(**) AND **))) OR (F(G(**)) OR **))) : G((F(((** U **) OR F(**))) AND (** OR ((** U **) OR F(**))))) : X(F((X(X(**)) AND **))) : ((** OR (G(**) AND **)) U (** U X(F(**)))) : F(G(*)) : ((G(F(**)) OR (** OR **)) U (G(**) OR G(*)))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"interim_value": "unknown no no no no no yes no yes unknown no no yes no unknown ",
"preliminary_value": "unknown no no no no no yes no yes unknown no no yes no unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: ((G (X ((1 <= p18))) OR ((1 <= p0) AND (1 <= p13))) U G (F ((1 <= p18)))) : F (X (NOT(X ((X (F (G ((1 <= p10)))) U F (X (F (X (X ((1 <= p10))))))))))) : (NOT((NOT(G (((1 <= p5) AND (1 <= p15)))) U ((1 <= p5) AND (1 <= p15)))) OR X (NOT(F (((1 <= p5) AND (1 <= p15)))))) : G (X (((1 <= p2)))) : (G ((NOT(F ((1 <= p6))) AND (p6 <= 0))) AND X (F (((1 <= p5) AND (1 <= p15))))) : X (((1 <= p12) AND (G ((1 <= p16)) OR ((1 <= p4) AND (1 <= p21))))) : F (((1 <= p6) OR (p24 <= 0))) : ((((1 <= p2)) U ((1 <= p5) AND (1 <= p15))) U NOT(G (F (((F ((((1 <= p2)) OR ((1 <= p8) AND (1 <= p15)))) OR ((1 <= p2))) OR ((1 <= p5) AND (1 <= p15))))))) : (F (((1 <= p10) U (X ((p22 <= 0)) OR (1 <= p12)))) OR NOT(X (F ((1 <= p12))))) : G (((F (X ((F ((1 <= p12)) AND (1 <= p20)))) OR F (G ((p12 <= 0)))) OR (p24 <= 0))) : G ((((1 <= p11) AND (1 <= p17)) U ((((1 <= p11) AND (1 <= p17)) U ((1 <= p5) AND (1 <= p15))) OR F ((1 <= p9))))) : (X ((G ((1 <= p6)) OR (p3 <= 0))) U X (F ((X (X ((1 <= p6))) AND (1 <= p6))))) : (((1 <= p16) OR (G (((1 <= p7) AND (1 <= p23))) AND (1 <= p9))) U (((p7 <= 0) OR (p23 <= 0)) U X (F ((1 <= p16))))) : (((1 <= p22) AND (1 <= p7) AND (1 <= p23)) U X (NOT(G (X (F ((1 <= p24))))))) : (((G (F ((1 <= p12))) OR (p0 <= 0)) OR (p13 <= 0)) U (G ((1 <= p22)) OR NOT(F ((1 <= p12)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (F ((X (X (X (G ((p10 <= 0))))) AND (X (X (X (G ((p10 <= 0))))) OR G (F ((p10 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (F ((X (X (X (G ((p10 <= 0))))) AND (X (X (X (G ((p10 <= 0))))) OR G (F ((p10 <= 0))))))))
lola: processed formula length: 95
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 51 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1242 markings, 1255 edges
lola: ========================================
lola: subprocess 1 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((G (((1 <= p5) AND (1 <= p15))) R ((p5 <= 0) OR (p15 <= 0))) OR X (G (((p5 <= 0) OR (p15 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (((1 <= p5) AND (1 <= p15))) R ((p5 <= 0) OR (p15 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (G (((1 <= p5) AND (1 <= p15))) R ((p5 <= 0) OR (p15 <= 0)))
lola: processed formula length: 61
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 893 markings, 893 edges
lola: ========================================
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((p5 <= 0) OR (p15 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((p5 <= 0) OR (p15 <= 0))))
lola: processed formula length: 34
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1217 markings, 1217 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((1 <= p2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((1 <= p2))))
lola: processed formula length: 19
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1217 markings, 1217 edges
lola: ========================================
lola: subprocess 3 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((G ((p6 <= 0)) AND (p6 <= 0))) AND X (F (((1 <= p5) AND (1 <= p15)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G ((p6 <= 0)) AND (p6 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G ((p6 <= 0)) AND (p6 <= 0)))
lola: processed formula length: 33
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2828 markings, 2944 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p12) AND (G ((1 <= p16)) OR ((1 <= p4) AND (1 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p12) AND (G ((1 <= p16)) OR ((1 <= p4) AND (1 <= p21)))))
lola: processed formula length: 67
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1217 markings, 1217 edges
lola: ========================================
lola: subprocess 5 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((X ((p22 <= 0)) OR (1 <= p12))) OR X (G ((p12 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G ((p12 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G ((p12 <= 0)))
lola: processed formula length: 18
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1217 markings, 1217 edges
lola: ========================================
lola: subprocess 6 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X ((p22 <= 0)) OR (1 <= p12)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X ((p22 <= 0)) OR (1 <= p12)))
lola: processed formula length: 34
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 6 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (F ((F ((1 <= p12)) AND (1 <= p20)))) OR (F (G ((p12 <= 0))) OR (p24 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (F ((F ((1 <= p12)) AND (1 <= p20)))) OR (F (G ((p12 <= 0))) OR (p24 <= 0))))
lola: processed formula length: 83
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2208074 markings, 5387638 edges, 441615 markings/sec, 0 secs
lola: 6219024 markings, 13710979 edges, 802190 markings/sec, 5 secs
lola: 8111828 markings, 17976361 edges, 378561 markings/sec, 10 secs
lola: 9663804 markings, 21816425 edges, 310395 markings/sec, 15 secs
lola: 11374677 markings, 26037819 edges, 342175 markings/sec, 20 secs
lola: 12943671 markings, 29915359 edges, 313799 markings/sec, 25 secs
lola: 14563333 markings, 33929236 edges, 323932 markings/sec, 30 secs
lola: 16196370 markings, 37893899 edges, 326607 markings/sec, 35 secs
lola: 17749192 markings, 41739586 edges, 310564 markings/sec, 40 secs
lola: 19183616 markings, 45274446 edges, 286885 markings/sec, 45 secs
lola: 20418584 markings, 48330135 edges, 246994 markings/sec, 50 secs
lola: 21897414 markings, 51971235 edges, 295766 markings/sec, 55 secs
lola: 23561588 markings, 56063641 edges, 332835 markings/sec, 60 secs
lola: 25116112 markings, 59901724 edges, 310905 markings/sec, 65 secs
lola: 26449718 markings, 63201205 edges, 266721 markings/sec, 70 secs
lola: 27976683 markings, 66980883 edges, 305393 markings/sec, 75 secs
lola: 29507141 markings, 70775243 edges, 306092 markings/sec, 80 secs
lola: 30940595 markings, 74327125 edges, 286691 markings/sec, 85 secs
lola: 32550600 markings, 78329690 edges, 322001 markings/sec, 90 secs
lola: 33616701 markings, 81484290 edges, 213220 markings/sec, 95 secs
lola: 34667642 markings, 84609993 edges, 210188 markings/sec, 100 secs
lola: 35783701 markings, 87934629 edges, 223212 markings/sec, 105 secs
lola: 36746298 markings, 90781781 edges, 192519 markings/sec, 110 secs
lola: 37633264 markings, 93417798 edges, 177393 markings/sec, 115 secs
lola: 38598607 markings, 96292307 edges, 193069 markings/sec, 120 secs
lola: 39774186 markings, 99760571 edges, 235116 markings/sec, 125 secs
lola: 41025915 markings, 103465656 edges, 250346 markings/sec, 130 secs
lola: 42247269 markings, 107090753 edges, 244271 markings/sec, 135 secs
lola: 43435964 markings, 110626721 edges, 237739 markings/sec, 140 secs
lola: 44559028 markings, 113965189 edges, 224613 markings/sec, 145 secs
lola: 45662435 markings, 117250555 edges, 220681 markings/sec, 150 secs
lola: 46796115 markings, 120625973 edges, 226736 markings/sec, 155 secs
lola: 47922055 markings, 123981630 edges, 225188 markings/sec, 160 secs
lola: 49088400 markings, 127457972 edges, 233269 markings/sec, 165 secs
lola: 50272756 markings, 130912420 edges, 236871 markings/sec, 170 secs
lola: 51512211 markings, 134593047 edges, 247891 markings/sec, 175 secs
lola: 52760993 markings, 138312035 edges, 249756 markings/sec, 180 secs
lola: 53979720 markings, 141923226 edges, 243745 markings/sec, 185 secs
lola: 55029141 markings, 145042015 edges, 209884 markings/sec, 190 secs
lola: 56092257 markings, 148208002 edges, 212623 markings/sec, 195 secs
lola: 57274142 markings, 151689179 edges, 236377 markings/sec, 200 secs
lola: 58492247 markings, 155298999 edges, 243621 markings/sec, 205 secs
lola: 59683859 markings, 158837363 edges, 238322 markings/sec, 210 secs
lola: 60831485 markings, 162247472 edges, 229525 markings/sec, 215 secs
lola: 61948716 markings, 165571678 edges, 223446 markings/sec, 220 secs
lola: 63068786 markings, 168907192 edges, 224014 markings/sec, 225 secs
lola: 64242414 markings, 172402315 edges, 234726 markings/sec, 230 secs
lola: 65436764 markings, 175958683 edges, 238870 markings/sec, 235 secs
lola: 66635304 markings, 179531214 edges, 239708 markings/sec, 240 secs
lola: 67764459 markings, 182507229 edges, 225831 markings/sec, 245 secs
lola: 68794120 markings, 185051034 edges, 205932 markings/sec, 250 secs
lola: 69827832 markings, 187611842 edges, 206742 markings/sec, 255 secs
lola: 70899661 markings, 190268824 edges, 214366 markings/sec, 260 secs
lola: 72473073 markings, 194141279 edges, 314682 markings/sec, 265 secs
lola: 73989416 markings, 197896820 edges, 303269 markings/sec, 270 secs
lola: 75217973 markings, 201260481 edges, 245711 markings/sec, 275 secs
lola: 76210421 markings, 204209489 edges, 198490 markings/sec, 280 secs
lola: 77207053 markings, 207177734 edges, 199326 markings/sec, 285 secs
lola: 78424897 markings, 210770390 edges, 243569 markings/sec, 290 secs
lola: 79697717 markings, 214538113 edges, 254564 markings/sec, 295 secs
lola: 80938194 markings, 218222520 edges, 248095 markings/sec, 300 secs
lola: 82113645 markings, 221715914 edges, 235090 markings/sec, 305 secs
lola: 83279039 markings, 225184640 edges, 233079 markings/sec, 310 secs
lola: 84460749 markings, 228700779 edges, 236342 markings/sec, 315 secs
lola: 85633813 markings, 232193954 edges, 234613 markings/sec, 320 secs
lola: 86862079 markings, 235855925 edges, 245653 markings/sec, 325 secs
lola: 88095883 markings, 239529947 edges, 246761 markings/sec, 330 secs
lola: 89289733 markings, 242741071 edges, 238770 markings/sec, 335 secs
lola: 90438325 markings, 245581272 edges, 229718 markings/sec, 340 secs
lola: 91636373 markings, 248550791 edges, 239610 markings/sec, 345 secs
lola: 92863343 markings, 252063958 edges, 245394 markings/sec, 350 secs
lola: 93985994 markings, 255389718 edges, 224530 markings/sec, 355 secs
lola: 95048584 markings, 258547056 edges, 212518 markings/sec, 360 secs
lola: 96099316 markings, 261670334 edges, 210146 markings/sec, 365 secs
lola: 97133882 markings, 264747392 edges, 206913 markings/sec, 370 secs
lola: 98161222 markings, 267805429 edges, 205468 markings/sec, 375 secs
lola: 99197610 markings, 270889774 edges, 207278 markings/sec, 380 secs
lola: 100273105 markings, 274094210 edges, 215099 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no no no unknown unknown yes unknown unknown unknown unknown unknown unknown
lola: memory consumption: 13500660 KB
lola: time consumption: 399 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X (X ((1 <= p6))) AND (1 <= p6))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X (X ((1 <= p6))) AND (1 <= p6))))
lola: processed formula length: 41
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1217 markings, 1217 edges
lola: ========================================
lola: subprocess 8 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p16) OR (G (((1 <= p7) AND (1 <= p23))) AND (1 <= p9))) U (((p7 <= 0) OR (p23 <= 0)) U X (F ((1 <= p16)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p16) OR (G (((1 <= p7) AND (1 <= p23))) AND (1 <= p9))) U (((p7 <= 0) OR (p23 <= 0)) U X (F ((1 <= p16)))))
lola: processed formula length: 116
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 961 markings, 1917 edges
lola: ========================================
lola: subprocess 9 will run for 528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p6) OR (p24 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p6 <= 0) AND (1 <= p24))
lola: processed formula length: 26
lola: 75 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 2944170 markings, 3700145 edges
lola: ========================================
lola: subprocess 10 will run for 633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((1 <= p18)))
lola: processed formula length: 18
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1750979 markings, 5679359 edges, 350196 markings/sec, 0 secs
lola: 3130727 markings, 10694478 edges, 275950 markings/sec, 5 secs
lola: 4418961 markings, 15710818 edges, 257647 markings/sec, 10 secs
lola: 5869102 markings, 20714070 edges, 290028 markings/sec, 15 secs
lola: 7029969 markings, 25013065 edges, 232173 markings/sec, 20 secs
lola: 8257152 markings, 29546243 edges, 245437 markings/sec, 25 secs
lola: 9636801 markings, 34476634 edges, 275930 markings/sec, 30 secs
lola: 11017439 markings, 39594789 edges, 276128 markings/sec, 35 secs
lola: 12092480 markings, 43651770 edges, 215008 markings/sec, 40 secs
lola: 13391130 markings, 48432515 edges, 259730 markings/sec, 45 secs
lola: 14652686 markings, 53014322 edges, 252311 markings/sec, 50 secs
lola: 15912478 markings, 57348971 edges, 251958 markings/sec, 55 secs
lola: 17114876 markings, 62307228 edges, 240480 markings/sec, 60 secs
lola: 18404250 markings, 67358933 edges, 257875 markings/sec, 65 secs
lola: 19649789 markings, 72312708 edges, 249108 markings/sec, 70 secs
lola: 20613412 markings, 76398908 edges, 192725 markings/sec, 75 secs
lola: 21582854 markings, 80480680 edges, 193888 markings/sec, 80 secs
lola: 22483835 markings, 84389072 edges, 180196 markings/sec, 85 secs
lola: 23381518 markings, 88288686 edges, 179537 markings/sec, 90 secs
lola: 24280594 markings, 92200506 edges, 179815 markings/sec, 95 secs
lola: 25206375 markings, 96179329 edges, 185156 markings/sec, 100 secs
lola: 26100302 markings, 100095541 edges, 178785 markings/sec, 105 secs
lola: 26997336 markings, 104033177 edges, 179407 markings/sec, 110 secs
lola: 27927269 markings, 108087332 edges, 185987 markings/sec, 115 secs
lola: 28852390 markings, 112157269 edges, 185024 markings/sec, 120 secs
lola: 29804112 markings, 116329552 edges, 190344 markings/sec, 125 secs
lola: 30765071 markings, 120562391 edges, 192192 markings/sec, 130 secs
lola: 31734779 markings, 124849042 edges, 193942 markings/sec, 135 secs
lola: 32747514 markings, 129325611 edges, 202547 markings/sec, 140 secs
lola: 33924196 markings, 134215573 edges, 235336 markings/sec, 145 secs
lola: 34960966 markings, 138333688 edges, 207354 markings/sec, 150 secs
lola: 35963398 markings, 142388460 edges, 200486 markings/sec, 155 secs
lola: 36983256 markings, 146496770 edges, 203972 markings/sec, 160 secs
lola: 38028062 markings, 150695383 edges, 208961 markings/sec, 165 secs
lola: 39159186 markings, 155103065 edges, 226225 markings/sec, 170 secs
lola: 40061850 markings, 158496348 edges, 180533 markings/sec, 175 secs
lola: 40890016 markings, 161735607 edges, 165633 markings/sec, 180 secs
lola: 41779571 markings, 165157004 edges, 177911 markings/sec, 185 secs
lola: 43025867 markings, 169635232 edges, 249259 markings/sec, 190 secs
lola: 44288065 markings, 174047500 edges, 252440 markings/sec, 195 secs
lola: 45379808 markings, 178186256 edges, 218349 markings/sec, 200 secs
lola: 46436471 markings, 182174098 edges, 211333 markings/sec, 205 secs
lola: 47455144 markings, 186124193 edges, 203735 markings/sec, 210 secs
lola: 48497269 markings, 190103995 edges, 208425 markings/sec, 215 secs
lola: 49500497 markings, 194008730 edges, 200646 markings/sec, 220 secs
lola: 50534169 markings, 197988922 edges, 206734 markings/sec, 225 secs
lola: 51548714 markings, 201944405 edges, 202909 markings/sec, 230 secs
lola: 52593854 markings, 205985391 edges, 209028 markings/sec, 235 secs
lola: 53678371 markings, 210168767 edges, 216903 markings/sec, 240 secs
lola: 54811190 markings, 214525793 edges, 226564 markings/sec, 245 secs
lola: 56108604 markings, 219373251 edges, 259483 markings/sec, 250 secs
lola: 57391093 markings, 224462682 edges, 256498 markings/sec, 255 secs
lola: 58466238 markings, 228502766 edges, 215029 markings/sec, 260 secs
lola: 59433738 markings, 231998020 edges, 193500 markings/sec, 265 secs
lola: 60360282 markings, 235423343 edges, 185309 markings/sec, 270 secs
lola: 61164855 markings, 239118066 edges, 160915 markings/sec, 275 secs
lola: 61992055 markings, 242451943 edges, 165440 markings/sec, 280 secs
lola: 62924244 markings, 245801498 edges, 186438 markings/sec, 285 secs
lola: 64050379 markings, 250225696 edges, 225227 markings/sec, 290 secs
lola: 65339044 markings, 255089203 edges, 257733 markings/sec, 295 secs
lola: 66473497 markings, 259314340 edges, 226891 markings/sec, 300 secs
lola: 67778364 markings, 263427325 edges, 260973 markings/sec, 305 secs
lola: 68650137 markings, 266912719 edges, 174355 markings/sec, 310 secs
lola: 69676125 markings, 270914725 edges, 205198 markings/sec, 315 secs
lola: 70752940 markings, 275826933 edges, 215363 markings/sec, 320 secs
lola: 71849362 markings, 280531892 edges, 219284 markings/sec, 325 secs
lola: 72895787 markings, 285068903 edges, 209285 markings/sec, 330 secs
lola: 73937905 markings, 289606597 edges, 208424 markings/sec, 335 secs
lola: 74932762 markings, 294027692 edges, 198971 markings/sec, 340 secs
lola: 75932042 markings, 298428795 edges, 199856 markings/sec, 345 secs
lola: 76889846 markings, 302727511 edges, 191561 markings/sec, 350 secs
lola: 77851857 markings, 306998948 edges, 192402 markings/sec, 355 secs
lola: 78832335 markings, 311412334 edges, 196096 markings/sec, 360 secs
lola: 79832462 markings, 315893585 edges, 200025 markings/sec, 365 secs
lola: 80843263 markings, 320420848 edges, 202160 markings/sec, 370 secs
lola: 81855915 markings, 324980817 edges, 202530 markings/sec, 375 secs
lola: 82901126 markings, 329699566 edges, 209042 markings/sec, 380 secs
lola: 84184074 markings, 335087497 edges, 256590 markings/sec, 385 secs
lola: 85383013 markings, 339993882 edges, 239788 markings/sec, 390 secs
lola: 86377104 markings, 344313268 edges, 198818 markings/sec, 395 secs
lola: 87335610 markings, 348568926 edges, 191701 markings/sec, 400 secs
lola: 88223693 markings, 352518482 edges, 177617 markings/sec, 405 secs
lola: 89131405 markings, 356623057 edges, 181542 markings/sec, 410 secs
lola: 89939493 markings, 360398282 edges, 161618 markings/sec, 415 secs
lola: 90896016 markings, 364573319 edges, 191305 markings/sec, 420 secs
lola: 91654959 markings, 368201609 edges, 151789 markings/sec, 425 secs
lola: 92478511 markings, 371961898 edges, 164710 markings/sec, 430 secs
lola: 93387383 markings, 376028551 edges, 181774 markings/sec, 435 secs
lola: 94141172 markings, 379632930 edges, 150758 markings/sec, 440 secs
lola: 94950471 markings, 383370373 edges, 161860 markings/sec, 445 secs
lola: 95850172 markings, 387392658 edges, 179940 markings/sec, 450 secs
lola: 96598243 markings, 390973079 edges, 149614 markings/sec, 455 secs
lola: 97356851 markings, 394605892 edges, 151722 markings/sec, 460 secs
lola: 98285398 markings, 398656850 edges, 185709 markings/sec, 465 secs
lola: 99034290 markings, 402242725 edges, 149778 markings/sec, 470 secs
lola: 99785398 markings, 405841494 edges, 150222 markings/sec, 475 secs
lola: 100635780 markings, 409667075 edges, 170076 markings/sec, 480 secs
lola: 101452289 markings, 413468943 edges, 163302 markings/sec, 485 secs
lola: 102203936 markings, 417060732 edges, 150329 markings/sec, 490 secs
lola: 102953901 markings, 420658001 edges, 149993 markings/sec, 495 secs
lola: 103858762 markings, 424667847 edges, 180972 markings/sec, 500 secs
lola: 104610655 markings, 428265057 edges, 150379 markings/sec, 505 secs
lola: 105359094 markings, 431846102 edges, 149688 markings/sec, 510 secs
lola: 106202783 markings, 435687045 edges, 168738 markings/sec, 515 secs
lola: 107012862 markings, 439476771 edges, 162016 markings/sec, 520 secs
lola: 107762495 markings, 443066965 edges, 149927 markings/sec, 525 secs
lola: 108519194 markings, 446691560 edges, 151340 markings/sec, 530 secs
lola: 109409481 markings, 450693945 edges, 178057 markings/sec, 535 secs
lola: 110160807 markings, 454292401 edges, 150265 markings/sec, 540 secs
lola: 110914175 markings, 457903550 edges, 150674 markings/sec, 545 secs
lola: 111766992 markings, 461785920 edges, 170563 markings/sec, 550 secs
lola: 112553603 markings, 465519757 edges, 157322 markings/sec, 555 secs
lola: 113292663 markings, 469058402 edges, 147812 markings/sec, 560 secs
lola: 114006111 markings, 472472316 edges, 142690 markings/sec, 565 secs
lola: 114502342 markings, 474644017 edges, 99246 markings/sec, 570 secs
lola: 114954295 markings, 476814015 edges, 90391 markings/sec, 575 secs
lola: 115353722 markings, 478722296 edges, 79885 markings/sec, 580 secs
lola: 115896326 markings, 481323079 edges, 108521 markings/sec, 585 secs
lola: 116672459 markings, 484978834 edges, 155227 markings/sec, 590 secs
lola: 117372984 markings, 488215318 edges, 140105 markings/sec, 595 secs
lola: 117950616 markings, 490982499 edges, 115526 markings/sec, 600 secs
lola: 118689392 markings, 494522290 edges, 147755 markings/sec, 605 secs
lola: 119478786 markings, 498147643 edges, 157879 markings/sec, 610 secs
lola: 120061750 markings, 500935614 edges, 116593 markings/sec, 615 secs
lola: 120789514 markings, 504427167 edges, 145553 markings/sec, 620 secs
lola: 121578064 markings, 508068970 edges, 157710 markings/sec, 625 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no no no yes unknown yes unknown unknown no yes unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 633 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((p24 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((p24 <= 0)))
lola: processed formula length: 18
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2718 markings, 2720 edges
lola: ========================================
lola: subprocess 12 will run for 844 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((G ((((p2 <= 0)) AND ((p8 <= 0) OR (p15 <= 0)))) AND (((p2 <= 0)) AND ((p5 <= 0) OR (p15 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((G ((((p2 <= 0)) AND ((p8 <= 0) OR (p15 <= 0)))) AND (((p2 <= 0)) AND ((p5 <= 0) OR (p15 <= 0))))))
lola: processed formula length: 107
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1514 markings, 2221 edges
lola: ========================================
lola: subprocess 13 will run for 1267 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((G (F ((1 <= p12))) OR ((p0 <= 0) OR (p13 <= 0))) U (G ((1 <= p22)) OR G ((p12 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((G (F ((1 <= p12))) OR ((p0 <= 0) OR (p13 <= 0))) U (G ((1 <= p22)) OR G ((p12 <= 0))))
lola: processed formula length: 88
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1571912 markings, 4995686 edges, 314382 markings/sec, 0 secs
lola: 2916977 markings, 9785710 edges, 269013 markings/sec, 5 secs
lola: 4269371 markings, 14422167 edges, 270479 markings/sec, 10 secs
lola: 5610489 markings, 18818338 edges, 268224 markings/sec, 15 secs
lola: 6657182 markings, 23083406 edges, 209339 markings/sec, 20 secs
lola: 7761113 markings, 27582286 edges, 220786 markings/sec, 25 secs
lola: 8865878 markings, 32034477 edges, 220953 markings/sec, 30 secs
lola: 10131019 markings, 36219551 edges, 253028 markings/sec, 35 secs
lola: 11339198 markings, 40135597 edges, 241636 markings/sec, 40 secs
lola: 12526480 markings, 44181430 edges, 237456 markings/sec, 45 secs
lola: 13545375 markings, 48389548 edges, 203779 markings/sec, 50 secs
lola: 14482022 markings, 52360926 edges, 187329 markings/sec, 55 secs
lola: 15394437 markings, 56243066 edges, 182483 markings/sec, 60 secs
lola: 16386664 markings, 60451114 edges, 198445 markings/sec, 65 secs
lola: 17416466 markings, 64787322 edges, 205960 markings/sec, 70 secs
lola: 18438360 markings, 69144965 edges, 204379 markings/sec, 75 secs
lola: 19404182 markings, 73175878 edges, 193164 markings/sec, 80 secs
lola: 20447142 markings, 77303290 edges, 208592 markings/sec, 85 secs
lola: 21591434 markings, 81265242 edges, 228858 markings/sec, 90 secs
lola: 22755262 markings, 84944097 edges, 232766 markings/sec, 95 secs
lola: 23809989 markings, 88668793 edges, 210945 markings/sec, 100 secs
lola: 24822660 markings, 91961583 edges, 202534 markings/sec, 105 secs
lola: 25831029 markings, 95642814 edges, 201674 markings/sec, 110 secs
lola: 26924467 markings, 99975235 edges, 218688 markings/sec, 115 secs
lola: 27865779 markings, 104043068 edges, 188262 markings/sec, 120 secs
lola: 28786449 markings, 108038333 edges, 184134 markings/sec, 125 secs
lola: 29683082 markings, 111973158 edges, 179327 markings/sec, 130 secs
lola: 30588070 markings, 115925513 edges, 180998 markings/sec, 135 secs
lola: 31479488 markings, 119841749 edges, 178284 markings/sec, 140 secs
lola: 32385908 markings, 123808586 edges, 181284 markings/sec, 145 secs
lola: 33315574 markings, 127879746 edges, 185933 markings/sec, 150 secs
lola: 34293691 markings, 132086914 edges, 195623 markings/sec, 155 secs
lola: 35243216 markings, 136248155 edges, 189905 markings/sec, 160 secs
lola: 36187168 markings, 140395267 edges, 188790 markings/sec, 165 secs
lola: 37163907 markings, 144689302 edges, 195348 markings/sec, 170 secs
lola: 38033567 markings, 148495937 edges, 173932 markings/sec, 175 secs
lola: 38936191 markings, 152428265 edges, 180525 markings/sec, 180 secs
lola: 39898371 markings, 156413333 edges, 192436 markings/sec, 185 secs
lola: 40837883 markings, 160246023 edges, 187902 markings/sec, 190 secs
lola: 41846938 markings, 164600985 edges, 201811 markings/sec, 195 secs
lola: 42974159 markings, 168220452 edges, 225444 markings/sec, 200 secs
lola: 44188273 markings, 171638194 edges, 242823 markings/sec, 205 secs
lola: 45064793 markings, 175051246 edges, 175304 markings/sec, 210 secs
lola: 45900771 markings, 178355575 edges, 167196 markings/sec, 215 secs
lola: 46869822 markings, 181850655 edges, 193810 markings/sec, 220 secs
lola: 47772834 markings, 184714782 edges, 180602 markings/sec, 225 secs
lola: 48694236 markings, 187977175 edges, 184280 markings/sec, 230 secs
lola: 49613481 markings, 191452110 edges, 183849 markings/sec, 235 secs
lola: 50632226 markings, 195266240 edges, 203749 markings/sec, 240 secs
lola: 51652131 markings, 199536408 edges, 203981 markings/sec, 245 secs
lola: 52557538 markings, 203499047 edges, 181081 markings/sec, 250 secs
lola: 53421716 markings, 207334799 edges, 172836 markings/sec, 255 secs
lola: 54281416 markings, 211168484 edges, 171940 markings/sec, 260 secs
lola: 55117410 markings, 214929667 edges, 167199 markings/sec, 265 secs
lola: 55972763 markings, 218733861 edges, 171071 markings/sec, 270 secs
lola: 56814503 markings, 222513617 edges, 168348 markings/sec, 275 secs
lola: 57643017 markings, 226249327 edges, 165703 markings/sec, 280 secs
lola: 58472735 markings, 229991292 edges, 165944 markings/sec, 285 secs
lola: 59322409 markings, 233783224 edges, 169935 markings/sec, 290 secs
lola: 60151001 markings, 237521870 edges, 165718 markings/sec, 295 secs
lola: 60988418 markings, 241277570 edges, 167483 markings/sec, 300 secs
lola: 61850121 markings, 245136297 edges, 172341 markings/sec, 305 secs
lola: 62691543 markings, 248940663 edges, 168284 markings/sec, 310 secs
lola: 63554859 markings, 252796336 edges, 172663 markings/sec, 315 secs
lola: 64446626 markings, 256733983 edges, 178353 markings/sec, 320 secs
lola: 65332128 markings, 260669345 edges, 177100 markings/sec, 325 secs
lola: 66210812 markings, 264602429 edges, 175737 markings/sec, 330 secs
lola: 67062105 markings, 268468163 edges, 170259 markings/sec, 335 secs
lola: 67955969 markings, 272461263 edges, 178773 markings/sec, 340 secs
lola: 68837528 markings, 276478499 edges, 176312 markings/sec, 345 secs
lola: 69760854 markings, 280597270 edges, 184665 markings/sec, 350 secs
lola: 70595326 markings, 284398615 edges, 166894 markings/sec, 355 secs
lola: 71499066 markings, 288289274 edges, 180748 markings/sec, 360 secs
lola: 72402967 markings, 292326273 edges, 180780 markings/sec, 365 secs
lola: 73155962 markings, 295841969 edges, 150599 markings/sec, 370 secs
lola: 74108185 markings, 299753046 edges, 190445 markings/sec, 375 secs
lola: 74963617 markings, 303677752 edges, 171086 markings/sec, 380 secs
lola: 75868949 markings, 307388473 edges, 181066 markings/sec, 385 secs
lola: 76882909 markings, 311508005 edges, 202792 markings/sec, 390 secs
lola: 77824670 markings, 315818743 edges, 188352 markings/sec, 395 secs
lola: 78807453 markings, 319725074 edges, 196557 markings/sec, 400 secs
lola: 79960430 markings, 322874150 edges, 230595 markings/sec, 405 secs
lola: 81157059 markings, 326187557 edges, 239326 markings/sec, 410 secs
lola: 82038666 markings, 329575358 edges, 176321 markings/sec, 415 secs
lola: 82825252 markings, 332752315 edges, 157317 markings/sec, 420 secs
lola: 83609832 markings, 335922432 edges, 156916 markings/sec, 425 secs
lola: 84403542 markings, 339110249 edges, 158742 markings/sec, 430 secs
lola: 85239026 markings, 342430440 edges, 167097 markings/sec, 435 secs
lola: 86211988 markings, 345646336 edges, 194592 markings/sec, 440 secs
lola: 87057350 markings, 348403817 edges, 169072 markings/sec, 445 secs
lola: 87786018 markings, 351197147 edges, 145734 markings/sec, 450 secs
lola: 88707636 markings, 354489355 edges, 184324 markings/sec, 455 secs
lola: 89566703 markings, 357804267 edges, 171813 markings/sec, 460 secs
lola: 90538238 markings, 361471537 edges, 194307 markings/sec, 465 secs
lola: 91495979 markings, 365202846 edges, 191548 markings/sec, 470 secs
lola: 92486536 markings, 369363521 edges, 198111 markings/sec, 475 secs
lola: 93366487 markings, 373254085 edges, 175990 markings/sec, 480 secs
lola: 94217555 markings, 377059749 edges, 170214 markings/sec, 485 secs
lola: 95043094 markings, 380784055 edges, 165108 markings/sec, 490 secs
lola: 95864994 markings, 384494472 edges, 164380 markings/sec, 495 secs
lola: 96675087 markings, 388173745 edges, 162019 markings/sec, 500 secs
lola: 97477559 markings, 391840011 edges, 160494 markings/sec, 505 secs
lola: 98261273 markings, 395459032 edges, 156743 markings/sec, 510 secs
lola: 99069176 markings, 399122538 edges, 161581 markings/sec, 515 secs
lola: 99874168 markings, 402779037 edges, 160998 markings/sec, 520 secs
lola: 100641330 markings, 406332655 edges, 153432 markings/sec, 525 secs
lola: 101429355 markings, 409947109 edges, 157605 markings/sec, 530 secs
lola: 102230448 markings, 413597355 edges, 160219 markings/sec, 535 secs
lola: 103014912 markings, 417191561 edges, 156893 markings/sec, 540 secs
lola: 103783771 markings, 420758811 edges, 153772 markings/sec, 545 secs
lola: 104581196 markings, 424399431 edges, 159485 markings/sec, 550 secs
lola: 105377536 markings, 428039128 edges, 159268 markings/sec, 555 secs
lola: 106151786 markings, 431602300 edges, 154850 markings/sec, 560 secs
lola: 106929524 markings, 435196823 edges, 155548 markings/sec, 565 secs
lola: 107722569 markings, 438824385 edges, 158609 markings/sec, 570 secs
lola: 108520211 markings, 442473733 edges, 159528 markings/sec, 575 secs
lola: 109339617 markings, 446203125 edges, 163881 markings/sec, 580 secs
lola: 110121354 markings, 449828979 edges, 156347 markings/sec, 585 secs
lola: 110916283 markings, 453484672 edges, 158986 markings/sec, 590 secs
lola: 111725682 markings, 457184380 edges, 161880 markings/sec, 595 secs
lola: 112532241 markings, 460873604 edges, 161312 markings/sec, 600 secs
lola: 113369651 markings, 464638187 edges, 167482 markings/sec, 605 secs
lola: 113854126 markings, 466815977 edges, 96895 markings/sec, 610 secs
lola: 114400457 markings, 469205377 edges, 109266 markings/sec, 615 secs
lola: 114805705 markings, 471071233 edges, 81050 markings/sec, 620 secs
lola: 115259661 markings, 473181886 edges, 90791 markings/sec, 625 secs
lola: 115697587 markings, 475216987 edges, 87585 markings/sec, 630 secs
lola: 116113133 markings, 477158689 edges, 83109 markings/sec, 635 secs
lola: 116684349 markings, 479708744 edges, 114243 markings/sec, 640 secs
lola: 117094946 markings, 481587836 edges, 82119 markings/sec, 645 secs
lola: 117534647 markings, 483623180 edges, 87940 markings/sec, 650 secs
lola: 117977977 markings, 485683425 edges, 88666 markings/sec, 655 secs
lola: 118410808 markings, 487701051 edges, 86566 markings/sec, 660 secs
lola: 118873785 markings, 489860666 edges, 92595 markings/sec, 665 secs
lola: 119452963 markings, 492430648 edges, 115836 markings/sec, 670 secs
lola: 119944256 markings, 494695233 edges, 98259 markings/sec, 675 secs
lola: 120449143 markings, 497040830 edges, 100977 markings/sec, 680 secs
lola: 120970468 markings, 499469898 edges, 104265 markings/sec, 685 secs
lola: 121537307 markings, 502113239 edges, 113368 markings/sec, 690 secs
lola: 121970682 markings, 504124108 edges, 86675 markings/sec, 695 secs
lola: 122377437 markings, 505888493 edges, 81351 markings/sec, 700 secs
lola: 122901068 markings, 508302006 edges, 104726 markings/sec, 705 secs
lola: 123359410 markings, 510429733 edges, 91668 markings/sec, 710 secs
lola: 123815152 markings, 512559086 edges, 91148 markings/sec, 715 secs
lola: 124307230 markings, 514848898 edges, 98416 markings/sec, 720 secs
lola: 124773305 markings, 517031109 edges, 93215 markings/sec, 725 secs
lola: 125405230 markings, 519670625 edges, 126385 markings/sec, 730 secs
lola: 125874992 markings, 521763988 edges, 93952 markings/sec, 735 secs
lola: 126334829 markings, 523857678 edges, 91967 markings/sec, 740 secs
lola: 126730746 markings, 525664582 edges, 79183 markings/sec, 745 secs
lola: 127324589 markings, 528428137 edges, 118769 markings/sec, 750 secs
lola: 127871624 markings, 531108320 edges, 109407 markings/sec, 755 secs
lola: 128419515 markings, 533637394 edges, 109578 markings/sec, 760 secs
lola: 128902248 markings, 535530441 edges, 96547 markings/sec, 765 secs
lola: 129467232 markings, 537909520 edges, 112997 markings/sec, 770 secs
lola: 129911018 markings, 539928612 edges, 88757 markings/sec, 775 secs
lola: 130437161 markings, 542332461 edges, 105229 markings/sec, 780 secs
lola: 130980777 markings, 544827557 edges, 108723 markings/sec, 785 secs
lola: 131462862 markings, 547180538 edges, 96417 markings/sec, 790 secs
lola: 131982030 markings, 549665787 edges, 103834 markings/sec, 795 secs
lola: 132708051 markings, 552638691 edges, 145204 markings/sec, 800 secs
lola: 133348269 markings, 554949801 edges, 128044 markings/sec, 805 secs
lola: 134064513 markings, 557906075 edges, 143249 markings/sec, 810 secs
lola: 134959628 markings, 561984035 edges, 179023 markings/sec, 815 secs
lola: 135733287 markings, 565537856 edges, 154732 markings/sec, 820 secs
lola: 136465372 markings, 569109611 edges, 146417 markings/sec, 825 secs
lola: 137303142 markings, 572851000 edges, 167554 markings/sec, 830 secs
lola: 137527295 markings, 573436497 edges, 44831 markings/sec, 835 secs
lola: 137760664 markings, 574062581 edges, 46674 markings/sec, 840 secs
lola: 138037618 markings, 574815414 edges, 55391 markings/sec, 845 secs
lola: 138326652 markings, 575604408 edges, 57807 markings/sec, 850 secs
lola: 138611959 markings, 576383908 edges, 57061 markings/sec, 855 secs
lola: 138895141 markings, 577158247 edges, 56636 markings/sec, 860 secs
lola: 139192603 markings, 577972806 edges, 59492 markings/sec, 865 secs
lola: 139414075 markings, 578577369 edges, 44294 markings/sec, 870 secs
lola: 139589371 markings, 579058273 edges, 35059 markings/sec, 875 secs
lola: 139798581 markings, 579629488 edges, 41842 markings/sec, 880 secs
lola: 139962613 markings, 580078625 edges, 32806 markings/sec, 885 secs
lola: 140186338 markings, 580686353 edges, 44745 markings/sec, 890 secs
lola: 140390954 markings, 581239984 edges, 40923 markings/sec, 895 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1627 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F (((((1 <= p11) AND (1 <= p17)) U ((1 <= p5) AND (1 <= p15))) OR F ((1 <= p9)))) AND (((1 <= p11) AND (1 <= p17)) OR ((((1 <= p11) AND (1 <= p17)) U ((1 <= p5) AND (1 <= p15))) OR F ((1 <= p9))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F (((((1 <= p11) AND (1 <= p17)) U ((1 <= p5) AND (1 <= p15))) OR F ((1 <= p9)))) AND (((1 <= p11) AND (1 <= p17)) OR ((((1 <= p11) AND (1 <= p17)) U ((1 <= p5) AND (1 <= p15))) OR F ((1 <= p9))))))
lola: processed formula length: 202
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 845112 markings, 1049979 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G ((X (F ((F ((1 <= p12)) AND (1 <= p20)))) OR (F (G ((p12 <= 0))) OR (p24 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (F ((F ((1 <= p12)) AND (1 <= p20)))) OR (F (G ((p12 <= 0))) OR (p24 <= 0))))
lola: processed formula length: 83
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2267098 markings, 5531867 edges, 453420 markings/sec, 0 secs
lola: 4784077 markings, 10875581 edges, 503396 markings/sec, 5 secs
lola: 7165695 markings, 15647078 edges, 476324 markings/sec, 10 secs
lola: 8868418 markings, 19847573 edges, 340545 markings/sec, 15 secs
lola: 10580459 markings, 24089851 edges, 342408 markings/sec, 20 secs
lola: 12380580 markings, 28521375 edges, 360024 markings/sec, 25 secs
lola: 14106317 markings, 32795277 edges, 345147 markings/sec, 30 secs
lola: 15851264 markings, 37040894 edges, 348989 markings/sec, 35 secs
lola: 17443602 markings, 40982493 edges, 318468 markings/sec, 40 secs
lola: 19023394 markings, 44879351 edges, 315958 markings/sec, 45 secs
lola: 20453379 markings, 48416590 edges, 285997 markings/sec, 50 secs
lola: 22048912 markings, 52340482 edges, 319107 markings/sec, 55 secs
lola: 23759374 markings, 56551216 edges, 342092 markings/sec, 60 secs
lola: 25420982 markings, 60655696 edges, 332322 markings/sec, 65 secs
lola: 27053775 markings, 64697169 edges, 326559 markings/sec, 70 secs
lola: 28664501 markings, 68685134 edges, 322145 markings/sec, 75 secs
lola: 30293021 markings, 72723587 edges, 325704 markings/sec, 80 secs
lola: 31921752 markings, 76761565 edges, 325746 markings/sec, 85 secs
lola: 33266982 markings, 80446315 edges, 269046 markings/sec, 90 secs
lola: 34390738 markings, 83786077 edges, 224751 markings/sec, 95 secs
lola: 35537750 markings, 87202466 edges, 229402 markings/sec, 100 secs
lola: 36592637 markings, 90325973 edges, 210977 markings/sec, 105 secs
lola: 37573433 markings, 93239752 edges, 196159 markings/sec, 110 secs
lola: 38531241 markings, 96091921 edges, 191562 markings/sec, 115 secs
lola: 39691163 markings, 99515863 edges, 231984 markings/sec, 120 secs
lola: 40919121 markings, 103148701 edges, 245592 markings/sec, 125 secs
lola: 42077001 markings, 106586650 edges, 231576 markings/sec, 130 secs
lola: 43243296 markings, 110053132 edges, 233259 markings/sec, 135 secs
lola: 44382449 markings, 113439970 edges, 227831 markings/sec, 140 secs
lola: 45493647 markings, 116748850 edges, 222240 markings/sec, 145 secs
lola: 46624846 markings, 120117063 edges, 226240 markings/sec, 150 secs
lola: 47757262 markings, 123488390 edges, 226483 markings/sec, 155 secs
lola: 48907140 markings, 126915105 edges, 229976 markings/sec, 160 secs
lola: 50147847 markings, 130543185 edges, 248141 markings/sec, 165 secs
lola: 51348069 markings, 134105104 edges, 240044 markings/sec, 170 secs
lola: 52539719 markings, 137652071 edges, 238330 markings/sec, 175 secs
lola: 53719772 markings, 141152750 edges, 236011 markings/sec, 180 secs
lola: 54765472 markings, 144257970 edges, 209140 markings/sec, 185 secs
lola: 55805405 markings, 147352465 edges, 207987 markings/sec, 190 secs
lola: 57016873 markings, 150929977 edges, 242294 markings/sec, 195 secs
lola: 58299199 markings, 154724749 edges, 256465 markings/sec, 200 secs
lola: 59524291 markings, 158362624 edges, 245018 markings/sec, 205 secs
lola: 60731321 markings, 161950821 edges, 241406 markings/sec, 210 secs
lola: 61902125 markings, 165432187 edges, 234161 markings/sec, 215 secs
lola: 63050647 markings, 168852861 edges, 229704 markings/sec, 220 secs
lola: 64229009 markings, 172362093 edges, 235672 markings/sec, 225 secs
lola: 65415474 markings, 175894934 edges, 237293 markings/sec, 230 secs
lola: 66597838 markings, 179418949 edges, 236473 markings/sec, 235 secs
lola: 67760208 markings, 182496609 edges, 232474 markings/sec, 240 secs
lola: 68858092 markings, 185209314 edges, 219577 markings/sec, 245 secs
lola: 69941312 markings, 187891687 edges, 216644 markings/sec, 250 secs
lola: 71121403 markings, 190806931 edges, 236018 markings/sec, 255 secs
lola: 72690947 markings, 194679878 edges, 313909 markings/sec, 260 secs
lola: 74263668 markings, 198576705 edges, 314544 markings/sec, 265 secs
lola: 75397386 markings, 201792195 edges, 226744 markings/sec, 270 secs
lola: 76433771 markings, 204875182 edges, 207277 markings/sec, 275 secs
lola: 77498876 markings, 208046408 edges, 213021 markings/sec, 280 secs
lola: 78817684 markings, 211931112 edges, 263762 markings/sec, 285 secs
lola: 80063968 markings, 215626032 edges, 249257 markings/sec, 290 secs
lola: 81267693 markings, 219201204 edges, 240745 markings/sec, 295 secs
lola: 82461122 markings, 222749626 edges, 238686 markings/sec, 300 secs
lola: 83622886 markings, 226206887 edges, 232353 markings/sec, 305 secs
lola: 84785450 markings, 229669400 edges, 232513 markings/sec, 310 secs
lola: 85984253 markings, 233239358 edges, 239761 markings/sec, 315 secs
lola: 87164872 markings, 236754798 edges, 236124 markings/sec, 320 secs
lola: 88351670 markings, 240291821 edges, 237360 markings/sec, 325 secs
lola: 89580231 markings, 243458452 edges, 245712 markings/sec, 330 secs
lola: 90819833 markings, 246526002 edges, 247920 markings/sec, 335 secs
lola: 92092528 markings, 249789928 edges, 254539 markings/sec, 340 secs
lola: 93268453 markings, 253262582 edges, 235185 markings/sec, 345 secs
lola: 94376890 markings, 256551184 edges, 221687 markings/sec, 350 secs
lola: 95452553 markings, 259747112 edges, 215133 markings/sec, 355 secs
lola: 96551195 markings, 263013237 edges, 219728 markings/sec, 360 secs
lola: 97602850 markings, 266144478 edges, 210331 markings/sec, 365 secs
lola: 98676142 markings, 269339755 edges, 214658 markings/sec, 370 secs
lola: 99783073 markings, 272634835 edges, 221386 markings/sec, 375 secs
lola: 100882137 markings, 275910074 edges, 219813 markings/sec, 380 secs
lola: 101965351 markings, 279137243 edges, 216643 markings/sec, 385 secs
lola: 103254215 markings, 282839528 edges, 257773 markings/sec, 390 secs
lola: 104712593 markings, 286889232 edges, 291676 markings/sec, 395 secs
lola: 106070341 markings, 290676233 edges, 271550 markings/sec, 400 secs
lola: 107393656 markings, 294373377 edges, 264663 markings/sec, 405 secs
lola: 108698255 markings, 298021897 edges, 260920 markings/sec, 410 secs
lola: 109957057 markings, 301546820 edges, 251760 markings/sec, 415 secs
lola: 111209012 markings, 305058588 edges, 250391 markings/sec, 420 secs
lola: 112448342 markings, 308534921 edges, 247866 markings/sec, 425 secs
lola: 113701064 markings, 312047823 edges, 250544 markings/sec, 430 secs
lola: 114973720 markings, 315616736 edges, 254531 markings/sec, 435 secs
lola: 116197774 markings, 319056836 edges, 244811 markings/sec, 440 secs
lola: 117453085 markings, 322575724 edges, 251062 markings/sec, 445 secs
lola: 118683729 markings, 326033555 edges, 246129 markings/sec, 450 secs
lola: 119897973 markings, 329445319 edges, 242849 markings/sec, 455 secs
lola: 121394253 markings, 333656079 edges, 299256 markings/sec, 460 secs
lola: 122529177 markings, 336840325 edges, 226985 markings/sec, 465 secs
lola: 123688528 markings, 340095772 edges, 231870 markings/sec, 470 secs
lola: 124527742 markings, 342456825 edges, 167843 markings/sec, 475 secs
lola: 124788726 markings, 343195255 edges, 52197 markings/sec, 480 secs
lola: 125895243 markings, 346300230 edges, 221303 markings/sec, 485 secs
lola: 126479156 markings, 347940275 edges, 116783 markings/sec, 490 secs
lola: 127132458 markings, 349776151 edges, 130660 markings/sec, 495 secs
lola: 127601534 markings, 351101242 edges, 93815 markings/sec, 500 secs
lola: 128038689 markings, 352325901 edges, 87431 markings/sec, 505 secs
lola: 128671493 markings, 354104119 edges, 126561 markings/sec, 510 secs
lola: 129410846 markings, 356193760 edges, 147871 markings/sec, 515 secs
lola: 130406205 markings, 358983942 edges, 199072 markings/sec, 520 secs
lola: 130777076 markings, 360031950 edges, 74174 markings/sec, 525 secs
lola: 131299201 markings, 361496404 edges, 104425 markings/sec, 530 secs
lola: 131809110 markings, 362938218 edges, 101982 markings/sec, 535 secs
lola: 132481279 markings, 364826174 edges, 134434 markings/sec, 540 secs
lola: 133272839 markings, 367052192 edges, 158312 markings/sec, 545 secs
lola: 134072809 markings, 369301372 edges, 159994 markings/sec, 550 secs
lola: 134678360 markings, 371008506 edges, 121110 markings/sec, 555 secs
lola: 135113505 markings, 372293488 edges, 87029 markings/sec, 560 secs
lola: 135578367 markings, 373672088 edges, 92972 markings/sec, 565 secs
lola: 135952501 markings, 374783691 edges, 74827 markings/sec, 570 secs
lola: 136377296 markings, 376047546 edges, 84959 markings/sec, 575 secs
lola: 136675247 markings, 376934988 edges, 59590 markings/sec, 580 secs
lola: 137152389 markings, 378354507 edges, 95428 markings/sec, 585 secs
lola: 137486925 markings, 379350822 edges, 66907 markings/sec, 590 secs
lola: 138058887 markings, 381055327 edges, 114392 markings/sec, 595 secs
lola: 138450921 markings, 382374310 edges, 78407 markings/sec, 600 secs
lola: 138687417 markings, 383193005 edges, 47299 markings/sec, 605 secs
lola: 138938804 markings, 384064410 edges, 50277 markings/sec, 610 secs
lola: 139298920 markings, 385315236 edges, 72023 markings/sec, 615 secs
lola: 139561058 markings, 386224886 edges, 52428 markings/sec, 620 secs
lola: 139857819 markings, 387256494 edges, 59352 markings/sec, 625 secs
lola: 140193444 markings, 388423725 edges, 67125 markings/sec, 630 secs
lola: 140512093 markings, 389531157 edges, 63730 markings/sec, 635 secs
lola: 140820003 markings, 390602259 edges, 61582 markings/sec, 640 secs
lola: 141159240 markings, 391782706 edges, 67847 markings/sec, 645 secs
lola: 142023344 markings, 394751509 edges, 172821 markings/sec, 650 secs
lola: 142378178 markings, 395977900 edges, 70967 markings/sec, 655 secs
lola: 142981605 markings, 398067966 edges, 120685 markings/sec, 660 secs
lola: 143390619 markings, 399484296 edges, 81803 markings/sec, 665 secs
lola: 143867459 markings, 401138607 edges, 95368 markings/sec, 670 secs
lola: 144378144 markings, 402910786 edges, 102137 markings/sec, 675 secs
lola: 144832922 markings, 404490199 edges, 90956 markings/sec, 680 secs
lola: 145226649 markings, 405856428 edges, 78745 markings/sec, 685 secs
lola: 145707357 markings, 407526604 edges, 96142 markings/sec, 690 secs
lola: 146110562 markings, 408927754 edges, 80641 markings/sec, 695 secs
lola: 146580210 markings, 410561720 edges, 93930 markings/sec, 700 secs
lola: 147018117 markings, 412082625 edges, 87581 markings/sec, 705 secs
lola: 147363275 markings, 413283395 edges, 69032 markings/sec, 710 secs
lola: 147840867 markings, 414944833 edges, 95518 markings/sec, 715 secs
lola: 148269733 markings, 416435867 edges, 85773 markings/sec, 720 secs
lola: 148638478 markings, 417716671 edges, 73749 markings/sec, 725 secs
lola: 149015581 markings, 419030681 edges, 75421 markings/sec, 730 secs
lola: 149488485 markings, 420675168 edges, 94581 markings/sec, 735 secs
lola: 149950717 markings, 422282438 edges, 92446 markings/sec, 740 secs
lola: 150376632 markings, 423762839 edges, 85183 markings/sec, 745 secs
lola: 150665924 markings, 424770170 edges, 57858 markings/sec, 750 secs
lola: 150733519 markings, 425005841 edges, 13519 markings/sec, 755 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((1 <= p18)))
lola: processed formula length: 18
lola: 73 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1681565 markings, 5449140 edges, 336313 markings/sec, 0 secs
lola: 3020652 markings, 10267071 edges, 267817 markings/sec, 5 secs
lola: 4245405 markings, 15038428 edges, 244951 markings/sec, 10 secs
lola: 5688327 markings, 20052150 edges, 288584 markings/sec, 15 secs
lola: 6976803 markings, 24811456 edges, 257695 markings/sec, 20 secs
lola: 8267984 markings, 29586722 edges, 258236 markings/sec, 25 secs
lola: 9708592 markings, 34727325 edges, 288122 markings/sec, 30 secs
lola: 11109921 markings, 39949104 edges, 280266 markings/sec, 35 secs
lola: 12256590 markings, 44257774 edges, 229334 markings/sec, 40 secs
lola: 13635031 markings, 49341375 edges, 275688 markings/sec, 45 secs
lola: 14989663 markings, 54088090 edges, 270926 markings/sec, 50 secs
lola: 16162074 markings, 58559414 edges, 234482 markings/sec, 55 secs
lola: 17512664 markings, 63856469 edges, 270118 markings/sec, 60 secs
lola: 18912020 markings, 69318922 edges, 279871 markings/sec, 65 secs
lola: 20022602 markings, 73901983 edges, 222116 markings/sec, 70 secs
lola: 21058055 markings, 78256649 edges, 207091 markings/sec, 75 secs
lola: 22031555 markings, 82478212 edges, 194700 markings/sec, 80 secs
lola: 23037478 markings, 86760417 edges, 201185 markings/sec, 85 secs
lola: 23992230 markings, 90921383 edges, 190950 markings/sec, 90 secs
lola: 24926046 markings, 95000808 edges, 186763 markings/sec, 95 secs
lola: 25911251 markings, 99252888 edges, 197041 markings/sec, 100 secs
lola: 26862808 markings, 103432221 edges, 190311 markings/sec, 105 secs
lola: 27810500 markings, 107602583 edges, 189538 markings/sec, 110 secs
lola: 28792011 markings, 111887100 edges, 196302 markings/sec, 115 secs
lola: 29765790 markings, 116159966 edges, 194756 markings/sec, 120 secs
lola: 30750384 markings, 120496067 edges, 196919 markings/sec, 125 secs
lola: 31747024 markings, 124903589 edges, 199328 markings/sec, 130 secs
lola: 32795563 markings, 129540532 edges, 209708 markings/sec, 135 secs
lola: 33992119 markings, 134474408 edges, 239311 markings/sec, 140 secs
lola: 35029455 markings, 138616119 edges, 207467 markings/sec, 145 secs
lola: 36041030 markings, 142709429 edges, 202315 markings/sec, 150 secs
lola: 37074406 markings, 146870554 edges, 206675 markings/sec, 155 secs
lola: 38120911 markings, 151060424 edges, 209301 markings/sec, 160 secs
lola: 39277975 markings, 155519577 edges, 231413 markings/sec, 165 secs
lola: 40148577 markings, 158828869 edges, 174120 markings/sec, 170 secs
lola: 41002509 markings, 162173627 edges, 170786 markings/sec, 175 secs
lola: 41936158 markings, 165723567 edges, 186730 markings/sec, 180 secs
lola: 43232542 markings, 170356092 edges, 259277 markings/sec, 185 secs
lola: 44489939 markings, 174774774 edges, 251479 markings/sec, 190 secs
lola: 45581511 markings, 178899918 edges, 218314 markings/sec, 195 secs
lola: 46619732 markings, 182900509 edges, 207644 markings/sec, 200 secs
lola: 47693137 markings, 186992916 edges, 214681 markings/sec, 205 secs
lola: 48723395 markings, 191002458 edges, 206052 markings/sec, 210 secs
lola: 49783333 markings, 195074688 edges, 211988 markings/sec, 215 secs
lola: 50831585 markings, 199162738 edges, 209650 markings/sec, 220 secs
lola: 51910759 markings, 203333175 edges, 215835 markings/sec, 225 secs
lola: 52993498 markings, 207524925 edges, 216548 markings/sec, 230 secs
lola: 54106595 markings, 211816119 edges, 222619 markings/sec, 235 secs
lola: 55279110 markings, 216308090 edges, 234503 markings/sec, 240 secs
lola: 56622570 markings, 221403565 edges, 268692 markings/sec, 245 secs
lola: 57926886 markings, 226527130 edges, 260863 markings/sec, 250 secs
lola: 58874788 markings, 230013222 edges, 189580 markings/sec, 255 secs
lola: 59834089 markings, 233426404 edges, 191860 markings/sec, 260 secs
lola: 60741271 markings, 237168030 edges, 181436 markings/sec, 265 secs
lola: 61626060 markings, 241155434 edges, 176958 markings/sec, 270 secs
lola: 62486839 markings, 244191050 edges, 172156 markings/sec, 275 secs
lola: 63525664 markings, 248219915 edges, 207765 markings/sec, 280 secs
lola: 64863494 markings, 253232374 edges, 267566 markings/sec, 285 secs
lola: 65998358 markings, 257541629 edges, 226973 markings/sec, 290 secs
lola: 67318056 markings, 261697420 edges, 263940 markings/sec, 295 secs
lola: 68363098 markings, 265721210 edges, 209008 markings/sec, 300 secs
lola: 69269829 markings, 269337224 edges, 181346 markings/sec, 305 secs
lola: 70356390 markings, 274174408 edges, 217312 markings/sec, 310 secs
lola: 71507861 markings, 279006484 edges, 230294 markings/sec, 315 secs
lola: 72567577 markings, 283617335 edges, 211943 markings/sec, 320 secs
lola: 73584936 markings, 288094303 edges, 203472 markings/sec, 325 secs
lola: 74623641 markings, 292632252 edges, 207741 markings/sec, 330 secs
lola: 75619894 markings, 297075694 edges, 199251 markings/sec, 335 secs
lola: 76640562 markings, 301588759 edges, 204134 markings/sec, 340 secs
lola: 77630173 markings, 306037239 edges, 197922 markings/sec, 345 secs
lola: 78641525 markings, 310550873 edges, 202270 markings/sec, 350 secs
lola: 79647888 markings, 315051021 edges, 201273 markings/sec, 355 secs
lola: 80656105 markings, 319588787 edges, 201643 markings/sec, 360 secs
lola: 81680579 markings, 324191323 edges, 204895 markings/sec, 365 secs
lola: 82721789 markings, 328892276 edges, 208242 markings/sec, 370 secs
lola: 83982632 markings, 334286274 edges, 252169 markings/sec, 375 secs
lola: 85226349 markings, 339301874 edges, 248743 markings/sec, 380 secs
lola: 86218780 markings, 343630458 edges, 198486 markings/sec, 385 secs
lola: 87207672 markings, 347955525 edges, 197778 markings/sec, 390 secs
lola: 88041779 markings, 351755179 edges, 166821 markings/sec, 395 secs
lola: 88986333 markings, 355925376 edges, 188911 markings/sec, 400 secs
lola: 89751309 markings, 359595852 edges, 152995 markings/sec, 405 secs
lola: 90692417 markings, 363667242 edges, 188222 markings/sec, 410 secs
lola: 91503751 markings, 367472770 edges, 162267 markings/sec, 415 secs
lola: 92305966 markings, 371219867 edges, 160443 markings/sec, 420 secs
lola: 93247872 markings, 375357800 edges, 188381 markings/sec, 425 secs
lola: 94010153 markings, 379002742 edges, 152456 markings/sec, 430 secs
lola: 94798948 markings, 382719073 edges, 157759 markings/sec, 435 secs
lola: 95729375 markings, 386810849 edges, 186085 markings/sec, 440 secs
lola: 96485911 markings, 390431119 edges, 151307 markings/sec, 445 secs
lola: 97248700 markings, 394081954 edges, 152558 markings/sec, 450 secs
lola: 98164491 markings, 398111595 edges, 183158 markings/sec, 455 secs
lola: 98945505 markings, 401815232 edges, 156203 markings/sec, 460 secs
lola: 99703230 markings, 405444108 edges, 151545 markings/sec, 465 secs
lola: 100541308 markings, 409249200 edges, 167616 markings/sec, 470 secs
lola: 101381461 markings, 413126683 edges, 168031 markings/sec, 475 secs
lola: 102143819 markings, 416771449 edges, 152472 markings/sec, 480 secs
lola: 102895650 markings, 420375174 edges, 150366 markings/sec, 485 secs
lola: 103810148 markings, 424433718 edges, 182900 markings/sec, 490 secs
lola: 104570514 markings, 428071532 edges, 152073 markings/sec, 495 secs
lola: 105328973 markings, 431700854 edges, 151692 markings/sec, 500 secs
lola: 106170299 markings, 435543815 edges, 168265 markings/sec, 505 secs
lola: 106998050 markings, 439405441 edges, 165550 markings/sec, 510 secs
lola: 107757602 markings, 443043673 edges, 151910 markings/sec, 515 secs
lola: 108526218 markings, 446725613 edges, 153723 markings/sec, 520 secs
lola: 109425848 markings, 450769622 edges, 179926 markings/sec, 525 secs
lola: 110188040 markings, 454424540 edges, 152438 markings/sec, 530 secs
lola: 110954808 markings, 458092343 edges, 153354 markings/sec, 535 secs
lola: 111829005 markings, 462063009 edges, 174839 markings/sec, 540 secs
lola: 112611708 markings, 465801939 edges, 156541 markings/sec, 545 secs
lola: 113375074 markings, 469457445 edges, 152673 markings/sec, 550 secs
lola: 114190609 markings, 473264360 edges, 163107 markings/sec, 555 secs
lola: 114698945 markings, 475586136 edges, 101667 markings/sec, 560 secs
lola: 115043040 markings, 477234773 edges, 68819 markings/sec, 565 secs
lola: 115369674 markings, 478799176 edges, 65327 markings/sec, 570 secs
lola: 115692525 markings, 480346979 edges, 64570 markings/sec, 575 secs
lola: 116114308 markings, 482369457 edges, 84357 markings/sec, 580 secs
lola: 116961540 markings, 486248155 edges, 169446 markings/sec, 585 secs
lola: 117351120 markings, 488109368 edges, 77916 markings/sec, 590 secs
lola: 117854152 markings, 490523092 edges, 100606 markings/sec, 595 secs
lola: 118370812 markings, 492995569 edges, 103332 markings/sec, 600 secs
lola: 118973643 markings, 495891802 edges, 120566 markings/sec, 605 secs
lola: 119541417 markings, 498441577 edges, 113555 markings/sec, 610 secs
lola: 120068594 markings, 500968735 edges, 105435 markings/sec, 615 secs
lola: 120692949 markings, 503966829 edges, 124871 markings/sec, 620 secs
lola: 121301906 markings, 506862779 edges, 121791 markings/sec, 625 secs
lola: 121842947 markings, 509331921 edges, 108208 markings/sec, 630 secs
lola: 122365882 markings, 511839020 edges, 104587 markings/sec, 635 secs
lola: 123068038 markings, 515206329 edges, 140431 markings/sec, 640 secs
lola: 123681329 markings, 518027972 edges, 122658 markings/sec, 645 secs
lola: 124378845 markings, 521366650 edges, 139503 markings/sec, 650 secs
lola: 125113898 markings, 524894018 edges, 147011 markings/sec, 655 secs
lola: 125867676 markings, 528398016 edges, 150756 markings/sec, 660 secs
lola: 126495148 markings, 531410023 edges, 125494 markings/sec, 665 secs
lola: 127261337 markings, 535070075 edges, 153238 markings/sec, 670 secs
lola: 128053191 markings, 538793864 edges, 158371 markings/sec, 675 secs
lola: 128811964 markings, 542441883 edges, 151755 markings/sec, 680 secs
lola: 129101092 markings, 543740238 edges, 57826 markings/sec, 685 secs
lola: 129879378 markings, 547481959 edges, 155657 markings/sec, 690 secs
lola: 130664337 markings, 551182475 edges, 156992 markings/sec, 695 secs
lola: 131202019 markings, 553768935 edges, 107536 markings/sec, 700 secs
lola: 131873632 markings, 556936893 edges, 134323 markings/sec, 705 secs
lola: 132659595 markings, 560716205 edges, 157193 markings/sec, 710 secs
lola: 133265585 markings, 563578904 edges, 121198 markings/sec, 715 secs
lola: 133903840 markings, 566653410 edges, 127651 markings/sec, 720 secs
lola: 134322617 markings, 568626206 edges, 83755 markings/sec, 725 secs
lola: 134840515 markings, 571122224 edges, 103580 markings/sec, 730 secs
lola: 135306319 markings, 573333514 edges, 93161 markings/sec, 735 secs
lola: 135867429 markings, 576010878 edges, 112222 markings/sec, 740 secs
lola: 136657611 markings, 579804815 edges, 158036 markings/sec, 745 secs
lola: 137151713 markings, 582176144 edges, 98820 markings/sec, 750 secs
lola: 137783570 markings, 585215025 edges, 126371 markings/sec, 755 secs
lola: 138500937 markings, 588390484 edges, 143473 markings/sec, 760 secs
lola: 138755850 markings, 589207664 edges, 50983 markings/sec, 765 secs
lola: 139216998 markings, 590795291 edges, 92230 markings/sec, 770 secs
lola: 139460995 markings, 591630444 edges, 48799 markings/sec, 775 secs
lola: 139835935 markings, 592985404 edges, 74988 markings/sec, 780 secs
lola: 140043981 markings, 593727087 edges, 41609 markings/sec, 785 secs
lola: 140286499 markings, 594567994 edges, 48504 markings/sec, 790 secs
lola: 140674102 markings, 596003248 edges, 77521 markings/sec, 795 secs
lola: 140902801 markings, 596833039 edges, 45740 markings/sec, 800 secs
lola: 141262996 markings, 598088313 edges, 72039 markings/sec, 805 secs
lola: 141581321 markings, 599298491 edges, 63665 markings/sec, 810 secs
lola: 141886155 markings, 600417204 edges, 60967 markings/sec, 815 secs
lola: 142248269 markings, 601690649 edges, 72423 markings/sec, 820 secs
lola: 142415232 markings, 602325031 edges, 33393 markings/sec, 825 secs
lola: 142493071 markings, 602621592 edges, 15568 markings/sec, 830 secs
lola: 142651908 markings, 603225114 edges, 31767 markings/sec, 835 secs
lola: 142868341 markings, 604040664 edges, 43287 markings/sec, 840 secs
lola: 142868580 markings, 604041069 edges, 48 markings/sec, 845 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no no yes no yes unknown no no yes no unknown
lola: lola:
preliminary result: unknown no no no no no yes no yes unknown no no yes no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no no no no no yes no yes unknown no no yes no unknown
lola:
preliminary result: unknown no no no no no yes no yes unknown no no yes no unknown
lola: memory consumption: 1748 KB
lola: time consumption: 3573 seconds
lola: print data as JSON (--json)
lola: memory consumption: 1748 KB
lola: time consumption: 3573 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ClientsAndServers-PT-N0020P3"
export BK_EXAMINATION="LTLFireability"
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 ClientsAndServers-PT-N0020P3, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-smll-158987806400194"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0020P3.tgz
mv ClientsAndServers-PT-N0020P3 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;