About the Execution of ITS-LoLa for ClientsAndServers-PT-N0050P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15793.030 | 3600000.00 | 3411068.00 | 166109.90 | ?FFTFFTFFFTF??F? | 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-158987806400210.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-N0050P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400210
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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 2.9K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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-N0050P0-00
FORMULA_NAME ClientsAndServers-PT-N0050P0-01
FORMULA_NAME ClientsAndServers-PT-N0050P0-02
FORMULA_NAME ClientsAndServers-PT-N0050P0-03
FORMULA_NAME ClientsAndServers-PT-N0050P0-04
FORMULA_NAME ClientsAndServers-PT-N0050P0-05
FORMULA_NAME ClientsAndServers-PT-N0050P0-06
FORMULA_NAME ClientsAndServers-PT-N0050P0-07
FORMULA_NAME ClientsAndServers-PT-N0050P0-08
FORMULA_NAME ClientsAndServers-PT-N0050P0-09
FORMULA_NAME ClientsAndServers-PT-N0050P0-10
FORMULA_NAME ClientsAndServers-PT-N0050P0-11
FORMULA_NAME ClientsAndServers-PT-N0050P0-12
FORMULA_NAME ClientsAndServers-PT-N0050P0-13
FORMULA_NAME ClientsAndServers-PT-N0050P0-14
FORMULA_NAME ClientsAndServers-PT-N0050P0-15
=== Now, execution of the tool begins
BK_START 1591226244483
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 23:17:27] [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 23:17:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 23:17:27] [INFO ] Load time of PNML (sax parser for PT used): 35 ms
[2020-06-03 23:17:27] [INFO ] Transformed 25 places.
[2020-06-03 23:17:27] [INFO ] Transformed 18 transitions.
[2020-06-03 23:17:27] [INFO ] Parsed PT model containing 25 places and 18 transitions in 88 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 22 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100091 steps, including 16 resets, run finished after 99 ms. (steps per millisecond=1011 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 18 rows 25 cols
[2020-06-03 23:17:27] [INFO ] Computed 8 place invariants in 5 ms
[2020-06-03 23:17:27] [INFO ] [Real]Absence check using 5 positive place invariants in 22 ms returned sat
[2020-06-03 23:17:27] [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 1 simplifications.
[2020-06-03 23:17:27] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-03 23:17:27] [INFO ] Flatten gal took : 41 ms
FORMULA ClientsAndServers-PT-N0050P0-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0050P0-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0050P0-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0050P0-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0050P0-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-03 23:17:27] [INFO ] Flatten gal took : 18 ms
[2020-06-03 23:17:27] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 6 ms.
[2020-06-03 23:17:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0050P0 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0050P0-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0050P0
{
"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 23:17:29 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((p10 <= 0) U G (((1 <= p8) AND (1 <= p15))))",
"processed_size": 45,
"rewrites": 79
},
"result":
{
"edges": 2503,
"markings": 2502,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 0,
"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": 0,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 1,
"aneg": 4,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "G ((G ((((p24 <= 0) R ((1 <= p4) AND (1 <= p21))) AND ((p8 <= 0) OR (p15 <= 0) OR (p4 <= 0) OR (p21 <= 0)))) OR X ((p12 <= 0))))",
"processed_size": 131,
"rewrites": 79
},
"result":
{
"edges": 4301,
"markings": 4301,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 1,
"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": 2,
"aconj": 1,
"adisj": 0,
"aneg": 3,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F (((((p8 <= 0) OR (p15 <= 0)) R (p12 <= 0)) OR X ((p24 <= 0)))))",
"processed_size": 69,
"rewrites": 79
},
"result":
{
"edges": 5343,
"markings": 5339,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 446
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 446
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p1 <= 0) OR (p19 <= 0))",
"processed_size": 26,
"rewrites": 79
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((G ((p12 <= 0)) AND (X ((p22 <= 0)) AND F ((p10 <= 0)))))",
"processed_size": 60,
"rewrites": 79
},
"result":
{
"edges": 2501,
"markings": 2501,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 4,
"G": 5,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 4,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR (G ((p24 <= 0)) OR (G ((1 <= p24)) AND F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR G ((p24 <= 0)))))))))",
"processed_size": 147,
"rewrites": 79
},
"result":
{
"edges": 3961,
"markings": 3941,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 23
},
"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": 594
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"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": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X (F ((F (((1 <= p9) AND (1 <= p11) AND (1 <= p17))) OR G (F ((1 <= p9))))))",
"processed_size": 76,
"rewrites": 79
},
"result":
{
"edges": 2501,
"markings": 2501,
"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": 825
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 3,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F ((G (((1 <= p24) AND (1 <= p9))) AND ((1 <= p7) AND (1 <= p23)))))",
"processed_size": 71,
"rewrites": 79
},
"result":
{
"edges": 2502,
"markings": 2502,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 1690
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1690
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F (G (((p5 <= 0) OR (p15 <= 0))))",
"processed_size": 34,
"rewrites": 79
},
"result":
{
"edges": 3413,
"markings": 2816,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 9879372,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(**)) : ((** U G(**)) AND X(F(**))) : G((G(((* R *) AND *)) OR X(*))) : X(F(((* R *) OR X(*)))) : (X((G(*) AND (X(*) AND F(*)))) AND **) : X(F((G(F(*)) OR (G(*) OR (G(**) AND F((G(F(*)) OR G(*)))))))) : X(F((F(**) OR G(F(**))))) : X(F((X(X(**)) AND (F(**) U **)))) : X(((F(**) U **) OR (X((F(**) OR **)) AND F(**)))) : X(F((G((** AND **)) AND (** AND **)))) : (G(F(**)) OR ((G(F(**)) AND F(G(**))) OR F(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 no unknown unknown no unknown ",
"preliminary_value": "unknown no no no no no no unknown unknown 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: F (G (X (F (X ((NOT(G ((1 <= p22))) U (X (F (X (((1 <= p0) AND (1 <= p13))))) U ((1 <= p0) AND (1 <= p13))))))))) : (((p10 <= 0) U G (((1 <= p8) AND (1 <= p15)))) AND F (X (F (((1 <= p8) AND (1 <= p15)))))) : G ((NOT(F ((((1 <= p24) U ((p4 <= 0) OR (p21 <= 0))) OR ((1 <= p8) AND (1 <= p15) AND (1 <= p4) AND (1 <= p21))))) OR NOT(X ((1 <= p12))))) : NOT(X (G (((((1 <= p8) AND (1 <= p15)) U (1 <= p12)) AND X ((1 <= p24)))))) : (NOT(X (((F ((1 <= p12)) OR X ((1 <= p22))) OR G ((1 <= p10))))) AND ((p1 <= 0) OR (p19 <= 0))) : F (X ((G ((1 <= p24)) U (NOT(G (X (F (G (((1 <= p8) AND (1 <= p15))))))) OR NOT(F ((1 <= p24))))))) : X (F ((F (((1 <= p9) AND (1 <= p11) AND (1 <= p17))) OR G (F ((1 <= p9)))))) : X (F ((X (X (((1 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (1 <= p6))))) : X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23)))))) : NOT(G (NOT(X (F ((((G ((1 <= p24)) AND G ((1 <= p9))) AND (1 <= p7)) AND (1 <= p23))))))) : ((F (G (((1 <= p0) AND (1 <= p13)))) U G (F (((1 <= p0) AND (1 <= p13))))) OR F (G (X (((p5 <= 0) OR (p15 <= 0))))))
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:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((p10 <= 0) U G (((1 <= p8) AND (1 <= p15)))) AND X (F (((1 <= p8) AND (1 <= p15)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p10 <= 0) U G (((1 <= p8) AND (1 <= p15))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((p10 <= 0) U G (((1 <= p8) AND (1 <= p15))))
lola: processed formula length: 45
lola: 79 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: 2502 markings, 2503 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G ((((p24 <= 0) R ((1 <= p4) AND (1 <= p21))) AND ((p8 <= 0) OR (p15 <= 0) OR (p4 <= 0) OR (p21 <= 0)))) OR X ((p12 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G ((((p24 <= 0) R ((1 <= p4) AND (1 <= p21))) AND ((p8 <= 0) OR (p15 <= 0) OR (p4 <= 0) OR (p21 <= 0)))) OR X ((p12 <= 0))))
lola: processed formula length: 131
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 4301 markings, 4301 edges
lola: ========================================
lola: subprocess 2 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((((p8 <= 0) OR (p15 <= 0)) R (p12 <= 0)) OR X ((p24 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((((p8 <= 0) OR (p15 <= 0)) R (p12 <= 0)) OR X ((p24 <= 0)))))
lola: processed formula length: 69
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 5339 markings, 5343 edges
lola: ========================================
lola: subprocess 3 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((G ((p12 <= 0)) AND (X ((p22 <= 0)) AND F ((p10 <= 0))))) AND ((p1 <= 0) OR (p19 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 446 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p1 <= 0) OR (p19 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p1 <= 0) OR (p19 <= 0))
lola: processed formula length: 26
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((G ((p12 <= 0)) AND (X ((p22 <= 0)) AND F ((p10 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((G ((p12 <= 0)) AND (X ((p22 <= 0)) AND F ((p10 <= 0)))))
lola: processed formula length: 60
lola: 79 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: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2501 markings, 2501 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR (G ((p24 <= 0)) OR (G ((1 <= p24)) AND F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR G ((p24 <= 0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR (G ((p24 <= 0)) OR (G ((1 <= p24)) AND F ((G (F (((p8 <= 0) OR (p15 <= 0)))) OR G ((p24 <= 0)))))))))
lola: processed formula length: 147
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 23 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: 3941 markings, 3961 edges
lola: ========================================
lola: subprocess 5 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p9) AND (1 <= p11) AND (1 <= p17))) OR G (F ((1 <= p9))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p9) AND (1 <= p11) AND (1 <= p17))) OR G (F ((1 <= p9))))))
lola: processed formula length: 76
lola: 79 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: 2501 markings, 2501 edges
lola: ========================================
lola: subprocess 6 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X (X (((1 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (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 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (1 <= p6)))))
lola: processed formula length: 78
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 1696045 markings, 6368881 edges, 339209 markings/sec, 0 secs
lola: 3351074 markings, 12668580 edges, 331006 markings/sec, 5 secs
lola: 4959277 markings, 18803464 edges, 321641 markings/sec, 10 secs
lola: 6593657 markings, 25055824 edges, 326876 markings/sec, 15 secs
lola: 8183126 markings, 31131920 edges, 317894 markings/sec, 20 secs
lola: 9733897 markings, 37074188 edges, 310154 markings/sec, 25 secs
lola: 11263336 markings, 43381029 edges, 305888 markings/sec, 30 secs
lola: 12540628 markings, 49453881 edges, 255458 markings/sec, 35 secs
lola: 13765469 markings, 55298001 edges, 244968 markings/sec, 40 secs
lola: 14951664 markings, 60975533 edges, 237239 markings/sec, 45 secs
lola: 16138516 markings, 66652173 edges, 237370 markings/sec, 50 secs
lola: 17263532 markings, 72043500 edges, 225003 markings/sec, 55 secs
lola: 18446457 markings, 77712257 edges, 236585 markings/sec, 60 secs
lola: 19607582 markings, 83283653 edges, 232225 markings/sec, 65 secs
lola: 20806348 markings, 89035617 edges, 239753 markings/sec, 70 secs
lola: 22120565 markings, 95245871 edges, 262843 markings/sec, 75 secs
lola: 23367061 markings, 101185490 edges, 249299 markings/sec, 80 secs
lola: 24572945 markings, 106946768 edges, 241177 markings/sec, 85 secs
lola: 25749857 markings, 112572602 edges, 235382 markings/sec, 90 secs
lola: 26911199 markings, 118132860 edges, 232268 markings/sec, 95 secs
lola: 28037143 markings, 123528284 edges, 225189 markings/sec, 100 secs
lola: 29177357 markings, 128999663 edges, 228043 markings/sec, 105 secs
lola: 30312700 markings, 134445577 edges, 227069 markings/sec, 110 secs
lola: 31461605 markings, 139955976 edges, 229781 markings/sec, 115 secs
lola: 32891359 markings, 146462796 edges, 285951 markings/sec, 120 secs
lola: 34266315 markings, 152787589 edges, 274991 markings/sec, 125 secs
lola: 35576536 markings, 158834906 edges, 262044 markings/sec, 130 secs
lola: 36850593 markings, 164722185 edges, 254811 markings/sec, 135 secs
lola: 38016529 markings, 170129082 edges, 233187 markings/sec, 140 secs
lola: 39267973 markings, 175918278 edges, 250289 markings/sec, 145 secs
lola: 40477525 markings, 181527464 edges, 241910 markings/sec, 150 secs
lola: 41684193 markings, 187121023 edges, 241334 markings/sec, 155 secs
lola: 42906327 markings, 192801299 edges, 244427 markings/sec, 160 secs
lola: 44135517 markings, 198498662 edges, 245838 markings/sec, 165 secs
lola: 45348150 markings, 204134955 edges, 242527 markings/sec, 170 secs
lola: 46551797 markings, 209728912 edges, 240729 markings/sec, 175 secs
lola: 47762499 markings, 215354414 edges, 242140 markings/sec, 180 secs
lola: 49001146 markings, 221111029 edges, 247729 markings/sec, 185 secs
lola: 50238591 markings, 226861768 edges, 247489 markings/sec, 190 secs
lola: 51445532 markings, 232489793 edges, 241388 markings/sec, 195 secs
lola: 52655712 markings, 238112170 edges, 242036 markings/sec, 200 secs
lola: 53856914 markings, 243691027 edges, 240240 markings/sec, 205 secs
lola: 55035121 markings, 249184048 edges, 235641 markings/sec, 210 secs
lola: 56231835 markings, 254742310 edges, 239343 markings/sec, 215 secs
lola: 57358103 markings, 259990804 edges, 225254 markings/sec, 220 secs
lola: 58483983 markings, 265240536 edges, 225176 markings/sec, 225 secs
lola: 59643627 markings, 270623343 edges, 231929 markings/sec, 230 secs
lola: 60788189 markings, 275956406 edges, 228912 markings/sec, 235 secs
lola: 61919632 markings, 281229284 edges, 226289 markings/sec, 240 secs
lola: 63067836 markings, 286583161 edges, 229641 markings/sec, 245 secs
lola: 64247847 markings, 292083361 edges, 236002 markings/sec, 250 secs
lola: 65439289 markings, 297614669 edges, 238288 markings/sec, 255 secs
lola: 66619180 markings, 303288766 edges, 235978 markings/sec, 260 secs
lola: 67753585 markings, 309532644 edges, 226881 markings/sec, 265 secs
lola: 68824984 markings, 315459738 edges, 214280 markings/sec, 270 secs
lola: 69869413 markings, 321257788 edges, 208886 markings/sec, 275 secs
lola: 70886130 markings, 326909544 edges, 203343 markings/sec, 280 secs
lola: 71869909 markings, 332388176 edges, 196756 markings/sec, 285 secs
lola: 72848110 markings, 337831393 edges, 195640 markings/sec, 290 secs
lola: 73814810 markings, 343216181 edges, 193340 markings/sec, 295 secs
lola: 74782994 markings, 348602963 edges, 193637 markings/sec, 300 secs
lola: 75732985 markings, 353903625 edges, 189998 markings/sec, 305 secs
lola: 76676969 markings, 359168736 edges, 188797 markings/sec, 310 secs
lola: 77613463 markings, 364394070 edges, 187299 markings/sec, 315 secs
lola: 78569655 markings, 369726336 edges, 191238 markings/sec, 320 secs
lola: 79534717 markings, 375110696 edges, 193012 markings/sec, 325 secs
lola: 80481508 markings, 380410008 edges, 189358 markings/sec, 330 secs
lola: 81435851 markings, 385730858 edges, 190869 markings/sec, 335 secs
lola: 82389767 markings, 391050457 edges, 190783 markings/sec, 340 secs
lola: 83323684 markings, 396274739 edges, 186783 markings/sec, 345 secs
lola: 84287841 markings, 401652000 edges, 192831 markings/sec, 350 secs
lola: 85250115 markings, 407034899 edges, 192455 markings/sec, 355 secs
lola: 86184434 markings, 412264683 edges, 186864 markings/sec, 360 secs
lola: 87139715 markings, 417588849 edges, 191056 markings/sec, 365 secs
lola: 88073951 markings, 422815872 edges, 186847 markings/sec, 370 secs
lola: 89001028 markings, 428001305 edges, 185415 markings/sec, 375 secs
lola: 89922905 markings, 433160520 edges, 184375 markings/sec, 380 secs
lola: 90844870 markings, 438317273 edges, 184393 markings/sec, 385 secs
lola: 91764474 markings, 443450308 edges, 183921 markings/sec, 390 secs
lola: 92682976 markings, 448579563 edges, 183700 markings/sec, 395 secs
lola: 93602963 markings, 453725331 edges, 183997 markings/sec, 400 secs
lola: 94514114 markings, 458821440 edges, 182230 markings/sec, 405 secs
lola: 95424602 markings, 463914139 edges, 182098 markings/sec, 410 secs
lola: 96334227 markings, 469002172 edges, 181925 markings/sec, 415 secs
lola: 97278470 markings, 474284594 edges, 188849 markings/sec, 420 secs
lola: 98226908 markings, 479589914 edges, 189688 markings/sec, 425 secs
lola: 99163048 markings, 484827901 edges, 187228 markings/sec, 430 secs
lola: 100085120 markings, 490006346 edges, 184414 markings/sec, 435 secs
lola: 101238779 markings, 496297709 edges, 230732 markings/sec, 440 secs
lola: 102305771 markings, 502199418 edges, 213398 markings/sec, 445 secs
lola: 103345160 markings, 507969086 edges, 207878 markings/sec, 450 secs
lola: 104368937 markings, 513651692 edges, 204755 markings/sec, 455 secs
lola: 105354431 markings, 519141019 edges, 197099 markings/sec, 460 secs
lola: 106339486 markings, 524611897 edges, 197011 markings/sec, 465 secs
lola: 107298636 markings, 529964998 edges, 191830 markings/sec, 470 secs
lola: 108260958 markings, 535319697 edges, 192464 markings/sec, 475 secs
lola: 109206936 markings, 540597081 edges, 189196 markings/sec, 480 secs
lola: 110160900 markings, 545920076 edges, 190793 markings/sec, 485 secs
lola: 111099981 markings, 551159167 edges, 187816 markings/sec, 490 secs
lola: 112030606 markings, 556350310 edges, 186125 markings/sec, 495 secs
lola: 112960155 markings, 561534219 edges, 185910 markings/sec, 500 secs
lola: 113894693 markings, 566745439 edges, 186908 markings/sec, 505 secs
lola: 114800223 markings, 571810918 edges, 181106 markings/sec, 510 secs
lola: 115728011 markings, 576983439 edges, 185558 markings/sec, 515 secs
lola: 116634927 markings, 582058997 edges, 181383 markings/sec, 520 secs
lola: 117559269 markings, 587210343 edges, 184868 markings/sec, 525 secs
lola: 118482995 markings, 592380533 edges, 184745 markings/sec, 530 secs
lola: 119397609 markings, 597478349 edges, 182923 markings/sec, 535 secs
lola: 120308665 markings, 602573169 edges, 182211 markings/sec, 540 secs
lola: 121211014 markings, 607620405 edges, 180470 markings/sec, 545 secs
lola: 122048109 markings, 612307206 edges, 167419 markings/sec, 550 secs
lola: 122869668 markings, 616895798 edges, 164312 markings/sec, 555 secs
lola: 123725443 markings, 621681726 edges, 171155 markings/sec, 560 secs
lola: 124643191 markings, 626816666 edges, 183550 markings/sec, 565 secs
lola: 125352575 markings, 630781739 edges, 141877 markings/sec, 570 secs
lola: 126117001 markings, 635052707 edges, 152885 markings/sec, 575 secs
lola: 126819083 markings, 638975463 edges, 140416 markings/sec, 580 secs
lola: 127298861 markings, 641650261 edges, 95956 markings/sec, 585 secs
lola: 128042551 markings, 645827134 edges, 148738 markings/sec, 590 secs
lola: 128639841 markings, 649158111 edges, 119458 markings/sec, 595 secs
lola: 129290635 markings, 652793710 edges, 130159 markings/sec, 600 secs
lola: 130004007 markings, 656786972 edges, 142674 markings/sec, 605 secs
lola: 130455276 markings, 659312676 edges, 90254 markings/sec, 610 secs
lola: 131144658 markings, 663163133 edges, 137876 markings/sec, 615 secs
lola: 131979771 markings, 667834076 edges, 167023 markings/sec, 620 secs
lola: 132475132 markings, 670615048 edges, 99072 markings/sec, 625 secs
lola: 133172863 markings, 674512073 edges, 139546 markings/sec, 630 secs
lola: 133982116 markings, 678975563 edges, 161851 markings/sec, 635 secs
lola: 134604163 markings, 681904062 edges, 124409 markings/sec, 640 secs
lola: 135054756 markings, 684045296 edges, 90119 markings/sec, 645 secs
lola: 135407809 markings, 685723745 edges, 70611 markings/sec, 650 secs
lola: 135786716 markings, 687530067 edges, 75781 markings/sec, 655 secs
lola: 136186023 markings, 689437414 edges, 79861 markings/sec, 660 secs
lola: 136564244 markings, 691240114 edges, 75644 markings/sec, 665 secs
lola: 136761350 markings, 692184098 edges, 39421 markings/sec, 670 secs
lola: 137126261 markings, 693926858 edges, 72982 markings/sec, 675 secs
lola: 137468612 markings, 695566014 edges, 68470 markings/sec, 680 secs
lola: 137767762 markings, 696995768 edges, 59830 markings/sec, 685 secs
lola: 138131148 markings, 698734848 edges, 72677 markings/sec, 690 secs
lola: 138497715 markings, 700491316 edges, 73313 markings/sec, 695 secs
lola: 138825662 markings, 702057693 edges, 65589 markings/sec, 700 secs
lola: 139220287 markings, 703949264 edges, 78925 markings/sec, 705 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no no no no unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 713 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: processed formula length: 157
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2317979 markings, 5259829 edges, 463596 markings/sec, 0 secs
lola: 4684171 markings, 10778421 edges, 473238 markings/sec, 5 secs
lola: 7053837 markings, 16305582 edges, 473933 markings/sec, 10 secs
lola: 9165908 markings, 21266792 edges, 422414 markings/sec, 15 secs
lola: 11448766 markings, 26607875 edges, 456572 markings/sec, 20 secs
lola: 13785479 markings, 32098725 edges, 467343 markings/sec, 25 secs
lola: 16063157 markings, 37447286 edges, 455536 markings/sec, 30 secs
lola: 18179958 markings, 42416330 edges, 423360 markings/sec, 35 secs
lola: 20422582 markings, 47686641 edges, 448525 markings/sec, 40 secs
lola: 22733290 markings, 53112486 edges, 462142 markings/sec, 45 secs
lola: 24891197 markings, 58200374 edges, 431581 markings/sec, 50 secs
lola: 27201475 markings, 63627933 edges, 462056 markings/sec, 55 secs
lola: 29248862 markings, 68453155 edges, 409477 markings/sec, 60 secs
lola: 31528419 markings, 73806858 edges, 455911 markings/sec, 65 secs
lola: 33893618 markings, 79387157 edges, 473040 markings/sec, 70 secs
lola: 36089598 markings, 84564074 edges, 439196 markings/sec, 75 secs
lola: 38495399 markings, 90216778 edges, 481160 markings/sec, 80 secs
lola: 40895949 markings, 95877003 edges, 480110 markings/sec, 85 secs
lola: 43258275 markings, 101451485 edges, 472465 markings/sec, 90 secs
lola: 45500326 markings, 106716631 edges, 448410 markings/sec, 95 secs
lola: 47726485 markings, 111964100 edges, 445232 markings/sec, 100 secs
lola: 50073315 markings, 117498490 edges, 469366 markings/sec, 105 secs
lola: 52335703 markings, 122834437 edges, 452478 markings/sec, 110 secs
lola: 54621156 markings, 128222815 edges, 457091 markings/sec, 115 secs
lola: 56813179 markings, 133389565 edges, 438405 markings/sec, 120 secs
lola: 59074809 markings, 138722377 edges, 452326 markings/sec, 125 secs
lola: 61322153 markings, 144020720 edges, 449469 markings/sec, 130 secs
lola: 63428163 markings, 148987138 edges, 421202 markings/sec, 135 secs
lola: 65807626 markings, 154599688 edges, 475893 markings/sec, 140 secs
lola: 68160653 markings, 160146317 edges, 470605 markings/sec, 145 secs
lola: 70457654 markings, 165563392 edges, 459400 markings/sec, 150 secs
lola: 72701750 markings, 170853702 edges, 448819 markings/sec, 155 secs
lola: 75026624 markings, 176335396 edges, 464975 markings/sec, 160 secs
lola: 77221964 markings, 181514122 edges, 439068 markings/sec, 165 secs
lola: 79347356 markings, 186523729 edges, 425078 markings/sec, 170 secs
lola: 81584723 markings, 191797167 edges, 447473 markings/sec, 175 secs
lola: 83898374 markings, 197255852 edges, 462730 markings/sec, 180 secs
lola: 86153866 markings, 202594079 edges, 451098 markings/sec, 185 secs
lola: 88267121 markings, 207574192 edges, 422651 markings/sec, 190 secs
lola: 90479466 markings, 212790402 edges, 442469 markings/sec, 195 secs
lola: 92737502 markings, 218115407 edges, 451607 markings/sec, 200 secs
lola: 95016971 markings, 223488765 edges, 455894 markings/sec, 205 secs
lola: 97251228 markings, 228757941 edges, 446851 markings/sec, 210 secs
lola: 99438061 markings, 233932677 edges, 437367 markings/sec, 215 secs
lola: 101675702 markings, 239209015 edges, 447528 markings/sec, 220 secs
lola: 104013234 markings, 244719817 edges, 467506 markings/sec, 225 secs
lola: 106267201 markings, 250034746 edges, 450793 markings/sec, 230 secs
lola: 108616413 markings, 255581094 edges, 469842 markings/sec, 235 secs
lola: 110921349 markings, 261031677 edges, 460987 markings/sec, 240 secs
lola: 113158637 markings, 266307514 edges, 447458 markings/sec, 245 secs
lola: 115482134 markings, 271785607 edges, 464699 markings/sec, 250 secs
lola: 117804686 markings, 277261316 edges, 464510 markings/sec, 255 secs
lola: 119072314 markings, 280265455 edges, 253526 markings/sec, 260 secs
lola: 120928118 markings, 284636442 edges, 371161 markings/sec, 265 secs
lola: 122493018 markings, 288341056 edges, 312980 markings/sec, 270 secs
lola: 123143978 markings, 289879410 edges, 130192 markings/sec, 275 secs
lola: 124896425 markings, 294008081 edges, 350489 markings/sec, 280 secs
lola: 126340054 markings, 297424656 edges, 288726 markings/sec, 285 secs
lola: 127196488 markings, 299432922 edges, 171287 markings/sec, 290 secs
lola: 128361782 markings, 302191008 edges, 233059 markings/sec, 295 secs
lola: 129678775 markings, 305306991 edges, 263399 markings/sec, 300 secs
lola: 131011013 markings, 308440527 edges, 266448 markings/sec, 305 secs
lola: 132470370 markings, 311893041 edges, 291871 markings/sec, 310 secs
lola: 133978237 markings, 315442322 edges, 301573 markings/sec, 315 secs
lola: 135465270 markings, 318961953 edges, 297407 markings/sec, 320 secs
lola: 136456307 markings, 321305812 edges, 198207 markings/sec, 325 secs
lola: 137803739 markings, 324477318 edges, 269486 markings/sec, 330 secs
lola: 138750393 markings, 326715667 edges, 189331 markings/sec, 335 secs
lola: 139998015 markings, 329668882 edges, 249524 markings/sec, 340 secs
lola: 141893091 markings, 334134598 edges, 379015 markings/sec, 345 secs
lola: 142860654 markings, 336425134 edges, 193513 markings/sec, 350 secs
lola: 144541576 markings, 340382366 edges, 336184 markings/sec, 355 secs
lola: 145743829 markings, 343227474 edges, 240451 markings/sec, 360 secs
lola: 146258403 markings, 344446807 edges, 102915 markings/sec, 365 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 825 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((1 <= p24) AND (1 <= p9))) AND ((1 <= p7) AND (1 <= p23)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((1 <= p24) AND (1 <= p9))) AND ((1 <= p7) AND (1 <= p23)))))
lola: processed formula length: 71
lola: 79 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: 2502 markings, 2502 edges
lola: ========================================
lola: subprocess 9 will run for 1238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p0) AND (1 <= p13))))
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 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 79 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: 1483275 markings, 5377819 edges, 296655 markings/sec, 0 secs
lola: 2874380 markings, 10721852 edges, 278221 markings/sec, 5 secs
lola: 4178694 markings, 15825197 edges, 260863 markings/sec, 10 secs
lola: 5513708 markings, 20939372 edges, 267003 markings/sec, 15 secs
lola: 6732401 markings, 25926050 edges, 243739 markings/sec, 20 secs
lola: 8011781 markings, 30877514 edges, 255876 markings/sec, 25 secs
lola: 9253892 markings, 35888144 edges, 248422 markings/sec, 30 secs
lola: 10461730 markings, 40679745 edges, 241568 markings/sec, 35 secs
lola: 11664832 markings, 45498824 edges, 240620 markings/sec, 40 secs
lola: 12887189 markings, 50408966 edges, 244471 markings/sec, 45 secs
lola: 14002234 markings, 55062541 edges, 223009 markings/sec, 50 secs
lola: 15187495 markings, 59723532 edges, 237052 markings/sec, 55 secs
lola: 16321204 markings, 64356379 edges, 226742 markings/sec, 60 secs
lola: 17495386 markings, 68945407 edges, 234836 markings/sec, 65 secs
lola: 18665065 markings, 73809698 edges, 233936 markings/sec, 70 secs
lola: 19749855 markings, 78335596 edges, 216958 markings/sec, 75 secs
lola: 20782247 markings, 82729880 edges, 206478 markings/sec, 80 secs
lola: 21974769 markings, 87343248 edges, 238504 markings/sec, 85 secs
lola: 23063725 markings, 91773334 edges, 217791 markings/sec, 90 secs
lola: 24143289 markings, 96164485 edges, 215913 markings/sec, 95 secs
lola: 25290680 markings, 100677333 edges, 229478 markings/sec, 100 secs
lola: 26396989 markings, 105392779 edges, 221262 markings/sec, 105 secs
lola: 27438613 markings, 109841253 edges, 208325 markings/sec, 110 secs
lola: 28454006 markings, 114094698 edges, 203079 markings/sec, 115 secs
lola: 29410500 markings, 118181376 edges, 191299 markings/sec, 120 secs
lola: 30536448 markings, 122513405 edges, 225190 markings/sec, 125 secs
lola: 31564275 markings, 126711461 edges, 205565 markings/sec, 130 secs
lola: 32526303 markings, 130672465 edges, 192406 markings/sec, 135 secs
lola: 33481355 markings, 134655623 edges, 191010 markings/sec, 140 secs
lola: 34458631 markings, 138689473 edges, 195455 markings/sec, 145 secs
lola: 35586749 markings, 143013649 edges, 225624 markings/sec, 150 secs
lola: 36577473 markings, 147322278 edges, 198145 markings/sec, 155 secs
lola: 37617285 markings, 151736674 edges, 207962 markings/sec, 160 secs
lola: 38571213 markings, 155848471 edges, 190786 markings/sec, 165 secs
lola: 39533120 markings, 159828264 edges, 192381 markings/sec, 170 secs
lola: 40442710 markings, 163818403 edges, 181918 markings/sec, 175 secs
lola: 41330138 markings, 167506822 edges, 177486 markings/sec, 180 secs
lola: 42385983 markings, 171553027 edges, 211169 markings/sec, 185 secs
lola: 43391606 markings, 175660137 edges, 201125 markings/sec, 190 secs
lola: 44332779 markings, 179547064 edges, 188235 markings/sec, 195 secs
lola: 45248440 markings, 183386061 edges, 183132 markings/sec, 200 secs
lola: 46161024 markings, 187232161 edges, 182517 markings/sec, 205 secs
lola: 47118230 markings, 191050985 edges, 191441 markings/sec, 210 secs
lola: 48007982 markings, 194806538 edges, 177950 markings/sec, 215 secs
lola: 49100020 markings, 198988151 edges, 218408 markings/sec, 220 secs
lola: 50059190 markings, 203172634 edges, 191834 markings/sec, 225 secs
lola: 51026195 markings, 207357070 edges, 193401 markings/sec, 230 secs
lola: 51999965 markings, 211532106 edges, 194754 markings/sec, 235 secs
lola: 52928514 markings, 215499626 edges, 185710 markings/sec, 240 secs
lola: 53854921 markings, 219407241 edges, 185281 markings/sec, 245 secs
lola: 54748770 markings, 223225331 edges, 178770 markings/sec, 250 secs
lola: 55615279 markings, 227052002 edges, 173302 markings/sec, 255 secs
lola: 56458524 markings, 230669949 edges, 168649 markings/sec, 260 secs
lola: 57331544 markings, 234310191 edges, 174604 markings/sec, 265 secs
lola: 58515833 markings, 238723614 edges, 236858 markings/sec, 270 secs
lola: 59529216 markings, 242901215 edges, 202677 markings/sec, 275 secs
lola: 60481721 markings, 246908983 edges, 190501 markings/sec, 280 secs
lola: 61440646 markings, 250943713 edges, 191785 markings/sec, 285 secs
lola: 62369397 markings, 254810666 edges, 185750 markings/sec, 290 secs
lola: 63292420 markings, 258774564 edges, 184605 markings/sec, 295 secs
lola: 64276500 markings, 262687942 edges, 196816 markings/sec, 300 secs
lola: 65213448 markings, 266773980 edges, 187390 markings/sec, 305 secs
lola: 66227691 markings, 270635724 edges, 202849 markings/sec, 310 secs
lola: 67270799 markings, 274825830 edges, 208622 markings/sec, 315 secs
lola: 68172466 markings, 278804975 edges, 180333 markings/sec, 320 secs
lola: 69080028 markings, 282787093 edges, 181512 markings/sec, 325 secs
lola: 70038430 markings, 286916696 edges, 191680 markings/sec, 330 secs
lola: 70972696 markings, 290940036 edges, 186853 markings/sec, 335 secs
lola: 71868044 markings, 294802800 edges, 179070 markings/sec, 340 secs
lola: 72739166 markings, 298633216 edges, 174224 markings/sec, 345 secs
lola: 73648455 markings, 302388731 edges, 181858 markings/sec, 350 secs
lola: 74524253 markings, 306139364 edges, 175160 markings/sec, 355 secs
lola: 75380377 markings, 309918916 edges, 171225 markings/sec, 360 secs
lola: 76254301 markings, 313826071 edges, 174785 markings/sec, 365 secs
lola: 77138451 markings, 317439282 edges, 176830 markings/sec, 370 secs
lola: 78039488 markings, 321159310 edges, 180207 markings/sec, 375 secs
lola: 79222427 markings, 325648615 edges, 236588 markings/sec, 380 secs
lola: 80251099 markings, 329897287 edges, 205734 markings/sec, 385 secs
lola: 81216528 markings, 333956983 edges, 193086 markings/sec, 390 secs
lola: 82179883 markings, 338010979 edges, 192671 markings/sec, 395 secs
lola: 83139488 markings, 342029116 edges, 191921 markings/sec, 400 secs
lola: 84061571 markings, 345952582 edges, 184417 markings/sec, 405 secs
lola: 84991073 markings, 349945863 edges, 185900 markings/sec, 410 secs
lola: 85899803 markings, 353814117 edges, 181746 markings/sec, 415 secs
lola: 86868619 markings, 357695293 edges, 193763 markings/sec, 420 secs
lola: 87803544 markings, 361665751 edges, 186985 markings/sec, 425 secs
lola: 88679062 markings, 365512574 edges, 175104 markings/sec, 430 secs
lola: 89773849 markings, 369527224 edges, 218957 markings/sec, 435 secs
lola: 90771818 markings, 373549745 edges, 199594 markings/sec, 440 secs
lola: 91640284 markings, 377411179 edges, 173693 markings/sec, 445 secs
lola: 92503859 markings, 381224396 edges, 172715 markings/sec, 450 secs
lola: 93382032 markings, 385097753 edges, 175635 markings/sec, 455 secs
lola: 94307899 markings, 389115726 edges, 185173 markings/sec, 460 secs
lola: 95290958 markings, 393236283 edges, 196612 markings/sec, 465 secs
lola: 96107539 markings, 396923588 edges, 163316 markings/sec, 470 secs
lola: 96973985 markings, 400657056 edges, 173289 markings/sec, 475 secs
lola: 97826211 markings, 404412849 edges, 170445 markings/sec, 480 secs
lola: 98728899 markings, 408143302 edges, 180538 markings/sec, 485 secs
lola: 99589577 markings, 411808714 edges, 172136 markings/sec, 490 secs
lola: 100460391 markings, 415614070 edges, 174163 markings/sec, 495 secs
lola: 101292643 markings, 419332649 edges, 166450 markings/sec, 500 secs
lola: 102198217 markings, 423342786 edges, 181115 markings/sec, 505 secs
lola: 103022019 markings, 426919839 edges, 164760 markings/sec, 510 secs
lola: 103931606 markings, 430654956 edges, 181917 markings/sec, 515 secs
lola: 104808103 markings, 434280794 edges, 175299 markings/sec, 520 secs
lola: 105989664 markings, 438708233 edges, 236312 markings/sec, 525 secs
lola: 107001788 markings, 442883249 edges, 202425 markings/sec, 530 secs
lola: 107948530 markings, 446866551 edges, 189348 markings/sec, 535 secs
lola: 108891563 markings, 450830817 edges, 188607 markings/sec, 540 secs
lola: 109812733 markings, 454666369 edges, 184234 markings/sec, 545 secs
lola: 110714442 markings, 458536212 edges, 180342 markings/sec, 550 secs
lola: 111626305 markings, 462422676 edges, 182373 markings/sec, 555 secs
lola: 112489042 markings, 466156037 edges, 172547 markings/sec, 560 secs
lola: 113358930 markings, 469774962 edges, 173978 markings/sec, 565 secs
lola: 114079708 markings, 472994701 edges, 144156 markings/sec, 570 secs
lola: 114762319 markings, 476001424 edges, 136522 markings/sec, 575 secs
lola: 115559483 markings, 479306763 edges, 159433 markings/sec, 580 secs
lola: 116336180 markings, 482325692 edges, 155339 markings/sec, 585 secs
lola: 117108761 markings, 485527777 edges, 154516 markings/sec, 590 secs
lola: 117785437 markings, 488557763 edges, 135335 markings/sec, 595 secs
lola: 118579517 markings, 492058109 edges, 158816 markings/sec, 600 secs
lola: 119029025 markings, 493676477 edges, 89902 markings/sec, 605 secs
lola: 119412500 markings, 495014890 edges, 76695 markings/sec, 610 secs
lola: 119923847 markings, 497029927 edges, 102269 markings/sec, 615 secs
lola: 120533293 markings, 499481873 edges, 121889 markings/sec, 620 secs
lola: 121233408 markings, 502319373 edges, 140023 markings/sec, 625 secs
lola: 121588914 markings, 503883141 edges, 71101 markings/sec, 630 secs
lola: 122271359 markings, 506943799 edges, 136489 markings/sec, 635 secs
lola: 122880107 markings, 509648353 edges, 121750 markings/sec, 640 secs
lola: 123447421 markings, 512178108 edges, 113463 markings/sec, 645 secs
lola: 124013118 markings, 514674413 edges, 113139 markings/sec, 650 secs
lola: 124651050 markings, 517511698 edges, 127586 markings/sec, 655 secs
lola: 125108503 markings, 519506001 edges, 91491 markings/sec, 660 secs
lola: 125688948 markings, 522050896 edges, 116089 markings/sec, 665 secs
lola: 126199547 markings, 524278194 edges, 102120 markings/sec, 670 secs
lola: 126676621 markings, 526324879 edges, 95415 markings/sec, 675 secs
lola: 127290133 markings, 528855164 edges, 122702 markings/sec, 680 secs
lola: 128065034 markings, 532374570 edges, 154980 markings/sec, 685 secs
lola: 128762037 markings, 535342896 edges, 139401 markings/sec, 690 secs
lola: 129443082 markings, 538382686 edges, 136209 markings/sec, 695 secs
lola: 130133168 markings, 541385405 edges, 138017 markings/sec, 700 secs
lola: 130776732 markings, 544309889 edges, 128713 markings/sec, 705 secs
lola: 131610865 markings, 547713226 edges, 166827 markings/sec, 710 secs
lola: 132336326 markings, 550823255 edges, 145092 markings/sec, 715 secs
lola: 133083717 markings, 553929755 edges, 149478 markings/sec, 720 secs
lola: 133844797 markings, 557346928 edges, 152216 markings/sec, 725 secs
lola: 134577668 markings, 560643432 edges, 146574 markings/sec, 730 secs
lola: 135226433 markings, 563503819 edges, 129753 markings/sec, 735 secs
lola: 135903530 markings, 566546634 edges, 135419 markings/sec, 740 secs
lola: 136617509 markings, 569769665 edges, 142796 markings/sec, 745 secs
lola: 137348741 markings, 572815512 edges, 146246 markings/sec, 750 secs
lola: 137996266 markings, 575445272 edges, 129505 markings/sec, 755 secs
lola: 138746075 markings, 578693302 edges, 149962 markings/sec, 760 secs
lola: 139265901 markings, 580762416 edges, 103965 markings/sec, 765 secs
lola: 139428138 markings, 581223298 edges, 32447 markings/sec, 770 secs
lola: 140329406 markings, 584636419 edges, 180254 markings/sec, 775 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 1690 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F (((1 <= p0) AND (1 <= p13)))) OR ((G (F (((1 <= p0) AND (1 <= p13)))) AND F (G (((1 <= p0) AND (1 <= p13))))) OR F (G (((p5 <= 0) OR (p15 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 1690 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p5 <= 0) OR (p15 <= 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 (((p5 <= 0) OR (p15 <= 0))))
lola: processed formula length: 34
lola: 79 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: 2816 markings, 3413 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p0) AND (1 <= p13))))
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 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 79 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: local time limit reached - aborting
lola:
preliminary result: unknown no no no no no no unknown unknown no unknown
lola: memory consumption: 44452 KB
lola: time consumption: 1881 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: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((X (X (((1 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (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 <= p0) AND (1 <= p13)))) AND (F (((1 <= p3))) U (1 <= p6)))))
lola: processed formula length: 78
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 1625069 markings, 6100669 edges, 325014 markings/sec, 0 secs
lola: 3358774 markings, 12698077 edges, 346741 markings/sec, 5 secs
lola: 4986669 markings, 18908896 edges, 325579 markings/sec, 10 secs
lola: 6564440 markings, 24943283 edges, 315554 markings/sec, 15 secs
lola: 8182401 markings, 31129116 edges, 323592 markings/sec, 20 secs
lola: 9715911 markings, 37004642 edges, 306702 markings/sec, 25 secs
lola: 11281974 markings, 43467335 edges, 313213 markings/sec, 30 secs
lola: 12619218 markings, 49827365 edges, 267449 markings/sec, 35 secs
lola: 13888381 markings, 55884616 edges, 253833 markings/sec, 40 secs
lola: 15136993 markings, 61856145 edges, 249722 markings/sec, 45 secs
lola: 16379500 markings, 67807740 edges, 248501 markings/sec, 50 secs
lola: 17608076 markings, 73690767 edges, 245715 markings/sec, 55 secs
lola: 18820941 markings, 79512626 edges, 242573 markings/sec, 60 secs
lola: 20040551 markings, 85356577 edges, 243922 markings/sec, 65 secs
lola: 21309485 markings, 91410880 edges, 253787 markings/sec, 70 secs
lola: 22596731 markings, 97513384 edges, 257449 markings/sec, 75 secs
lola: 23846905 markings, 103476653 edges, 250035 markings/sec, 80 secs
lola: 25074207 markings, 109340225 edges, 245460 markings/sec, 85 secs
lola: 26264360 markings, 115040601 edges, 238031 markings/sec, 90 secs
lola: 27477623 markings, 120851592 edges, 242653 markings/sec, 95 secs
lola: 28643992 markings, 126440895 edges, 233274 markings/sec, 100 secs
lola: 29804378 markings, 132000828 edges, 232077 markings/sec, 105 secs
lola: 30979515 markings, 137637752 edges, 235027 markings/sec, 110 secs
lola: 32328610 markings, 143888942 edges, 269819 markings/sec, 115 secs
lola: 33735256 markings, 150341912 edges, 281329 markings/sec, 120 secs
lola: 35102994 markings, 156648543 edges, 273548 markings/sec, 125 secs
lola: 36429186 markings, 162780799 edges, 265238 markings/sec, 130 secs
lola: 37729883 markings, 168790187 edges, 260139 markings/sec, 135 secs
lola: 39004308 markings, 174702240 edges, 254885 markings/sec, 140 secs
lola: 40264665 markings, 180548707 edges, 252071 markings/sec, 145 secs
lola: 41522586 markings, 186381015 edges, 251584 markings/sec, 150 secs
lola: 42777472 markings, 192198849 edges, 250977 markings/sec, 155 secs
lola: 44014554 markings, 197951899 edges, 247416 markings/sec, 160 secs
lola: 45256755 markings, 203707215 edges, 248440 markings/sec, 165 secs
lola: 46485015 markings, 209415230 edges, 245652 markings/sec, 170 secs
lola: 47704614 markings, 215083978 edges, 243920 markings/sec, 175 secs
lola: 48925269 markings, 220755771 edges, 244131 markings/sec, 180 secs
lola: 50140024 markings, 226401479 edges, 242951 markings/sec, 185 secs
lola: 51371626 markings, 232143761 edges, 246320 markings/sec, 190 secs
lola: 52599134 markings, 237846436 edges, 245502 markings/sec, 195 secs
lola: 53823221 markings, 243533724 edges, 244817 markings/sec, 200 secs
lola: 54954157 markings, 248805479 edges, 226187 markings/sec, 205 secs
lola: 56131908 markings, 254276914 edges, 235550 markings/sec, 210 secs
lola: 57326060 markings, 259841733 edges, 238830 markings/sec, 215 secs
lola: 58494819 markings, 265290344 edges, 233752 markings/sec, 220 secs
lola: 59684611 markings, 270814921 edges, 237958 markings/sec, 225 secs
lola: 60860615 markings, 276295648 edges, 235201 markings/sec, 230 secs
lola: 62016388 markings, 281683404 edges, 231155 markings/sec, 235 secs
lola: 63199360 markings, 287198677 edges, 236594 markings/sec, 240 secs
lola: 64426405 markings, 292896161 edges, 245409 markings/sec, 245 secs
lola: 65625170 markings, 298482705 edges, 239753 markings/sec, 250 secs
lola: 66832243 markings, 304454784 edges, 241415 markings/sec, 255 secs
lola: 67958319 markings, 310662819 edges, 225215 markings/sec, 260 secs
lola: 69038317 markings, 316643990 edges, 216000 markings/sec, 265 secs
lola: 70100372 markings, 322540493 edges, 212411 markings/sec, 270 secs
lola: 71136297 markings, 328299193 edges, 207185 markings/sec, 275 secs
lola: 72145663 markings, 333921423 edges, 201873 markings/sec, 280 secs
lola: 73154175 markings, 339538858 edges, 201702 markings/sec, 285 secs
lola: 74150134 markings, 345081844 edges, 199192 markings/sec, 290 secs
lola: 75137033 markings, 350575746 edges, 197380 markings/sec, 295 secs
lola: 76134638 markings, 356142228 edges, 199521 markings/sec, 300 secs
lola: 77105515 markings, 361558983 edges, 194175 markings/sec, 305 secs
lola: 78070943 markings, 366944788 edges, 193086 markings/sec, 310 secs
lola: 79029330 markings, 372290229 edges, 191677 markings/sec, 315 secs
lola: 79991397 markings, 377657731 edges, 192413 markings/sec, 320 secs
lola: 80929586 markings, 382906384 edges, 187638 markings/sec, 325 secs
lola: 81882823 markings, 388221637 edges, 190647 markings/sec, 330 secs
lola: 82816207 markings, 393446177 edges, 186677 markings/sec, 335 secs
lola: 83764552 markings, 398732167 edges, 189669 markings/sec, 340 secs
lola: 84715107 markings, 404052163 edges, 190111 markings/sec, 345 secs
lola: 85661226 markings, 409325634 edges, 189224 markings/sec, 350 secs
lola: 86596062 markings, 414554515 edges, 186967 markings/sec, 355 secs
lola: 87518302 markings, 419715860 edges, 184448 markings/sec, 360 secs
lola: 88435003 markings, 424845910 edges, 183340 markings/sec, 365 secs
lola: 89365752 markings, 430031291 edges, 186150 markings/sec, 370 secs
lola: 90296324 markings, 435236549 edges, 186114 markings/sec, 375 secs
lola: 91223029 markings, 440419263 edges, 185341 markings/sec, 380 secs
lola: 92136198 markings, 445529065 edges, 182634 markings/sec, 385 secs
lola: 93042627 markings, 450597358 edges, 181286 markings/sec, 390 secs
lola: 93951284 markings, 455681797 edges, 181731 markings/sec, 395 secs
lola: 94860964 markings, 460768351 edges, 181936 markings/sec, 400 secs
lola: 95768784 markings, 465848128 edges, 181564 markings/sec, 405 secs
lola: 96698751 markings, 471050159 edges, 185993 markings/sec, 410 secs
lola: 97645245 markings, 476344306 edges, 189299 markings/sec, 415 secs
lola: 98585567 markings, 481603895 edges, 188064 markings/sec, 420 secs
lola: 99518986 markings, 486824205 edges, 186684 markings/sec, 425 secs
lola: 100531461 markings, 492406821 edges, 202495 markings/sec, 430 secs
lola: 101620411 markings, 498408213 edges, 217790 markings/sec, 435 secs
lola: 102661648 markings, 504172536 edges, 208247 markings/sec, 440 secs
lola: 103683256 markings, 509843005 edges, 204322 markings/sec, 445 secs
lola: 104682173 markings, 515395974 edges, 199783 markings/sec, 450 secs
lola: 105653966 markings, 520807976 edges, 194359 markings/sec, 455 secs
lola: 106620399 markings, 526188532 edges, 193287 markings/sec, 460 secs
lola: 107576443 markings, 531507731 edges, 191209 markings/sec, 465 secs
lola: 108525554 markings, 536789894 edges, 189822 markings/sec, 470 secs
lola: 109469851 markings, 542057646 edges, 188859 markings/sec, 475 secs
lola: 110408832 markings, 547294916 edges, 187796 markings/sec, 480 secs
lola: 111338210 markings, 552478837 edges, 185876 markings/sec, 485 secs
lola: 112259912 markings, 557619489 edges, 184340 markings/sec, 490 secs
lola: 113166371 markings, 562693218 edges, 181292 markings/sec, 495 secs
lola: 114087123 markings, 567826181 edges, 184150 markings/sec, 500 secs
lola: 115000058 markings, 572915252 edges, 182587 markings/sec, 505 secs
lola: 115899216 markings, 577946275 edges, 179832 markings/sec, 510 secs
lola: 116814042 markings, 583045313 edges, 182965 markings/sec, 515 secs
lola: 117718009 markings, 588103345 edges, 180793 markings/sec, 520 secs
lola: 118632448 markings, 593220765 edges, 182888 markings/sec, 525 secs
lola: 119553710 markings, 598353132 edges, 184252 markings/sec, 530 secs
lola: 120455728 markings, 603398817 edges, 180404 markings/sec, 535 secs
lola: 121348330 markings, 608391816 edges, 178520 markings/sec, 540 secs
lola: 122232266 markings, 613337427 edges, 176787 markings/sec, 545 secs
lola: 122602599 markings, 615396145 edges, 74067 markings/sec, 550 secs
lola: 123426244 markings, 620002388 edges, 164729 markings/sec, 555 secs
lola: 124334394 markings, 625081200 edges, 181630 markings/sec, 560 secs
lola: 125115345 markings, 629447426 edges, 156190 markings/sec, 565 secs
lola: 125959018 markings, 634164489 edges, 168735 markings/sec, 570 secs
lola: 126681664 markings, 638202287 edges, 144529 markings/sec, 575 secs
lola: 127264996 markings, 641471455 edges, 116666 markings/sec, 580 secs
lola: 127874921 markings, 644884736 edges, 121985 markings/sec, 585 secs
lola: 128661201 markings, 649279453 edges, 157256 markings/sec, 590 secs
lola: 129060899 markings, 651520549 edges, 79940 markings/sec, 595 secs
lola: 129925191 markings, 656360940 edges, 172858 markings/sec, 600 secs
lola: 130354768 markings, 658748325 edges, 85915 markings/sec, 605 secs
lola: 130825046 markings, 661391467 edges, 94056 markings/sec, 610 secs
lola: 131566723 markings, 665534377 edges, 148335 markings/sec, 615 secs
lola: 132188702 markings, 669006913 edges, 124396 markings/sec, 620 secs
lola: 132779111 markings, 672323787 edges, 118082 markings/sec, 625 secs
lola: 133515069 markings, 676435466 edges, 147192 markings/sec, 630 secs
lola: 134083896 markings, 679449971 edges, 113765 markings/sec, 635 secs
lola: 134681572 markings, 682272883 edges, 119535 markings/sec, 640 secs
lola: 135100764 markings, 684262716 edges, 83838 markings/sec, 645 secs
lola: 135611624 markings, 686696231 edges, 102172 markings/sec, 650 secs
lola: 135938748 markings, 688257971 edges, 65425 markings/sec, 655 secs
lola: 136313446 markings, 690042223 edges, 74940 markings/sec, 660 secs
lola: 136627499 markings, 691545585 edges, 62811 markings/sec, 665 secs
lola: 136905263 markings, 692872341 edges, 55553 markings/sec, 670 secs
lola: 137283014 markings, 694676265 edges, 75550 markings/sec, 675 secs
lola: 137580574 markings, 696098677 edges, 59512 markings/sec, 680 secs
lola: 137887965 markings, 697568499 edges, 61478 markings/sec, 685 secs
lola: 138197940 markings, 699050375 edges, 61995 markings/sec, 690 secs
lola: 138582262 markings, 700890809 edges, 76864 markings/sec, 695 secs
lola: 139037730 markings, 703074712 edges, 91094 markings/sec, 700 secs
lola: 139297203 markings, 704312405 edges, 51895 markings/sec, 705 secs
lola: 139661764 markings, 706064315 edges, 72912 markings/sec, 710 secs
lola: 140010613 markings, 707733123 edges, 69770 markings/sec, 715 secs
lola: 140379069 markings, 709494891 edges, 73691 markings/sec, 720 secs
lola: 140746732 markings, 711261594 edges, 73533 markings/sec, 725 secs
lola: 141086721 markings, 712886485 edges, 67998 markings/sec, 730 secs
lola: 141401319 markings, 714396636 edges, 62920 markings/sec, 735 secs
lola: 141861450 markings, 716602007 edges, 92026 markings/sec, 740 secs
lola: 142253937 markings, 718487511 edges, 78497 markings/sec, 745 secs
lola: 142788471 markings, 721051107 edges, 106907 markings/sec, 750 secs
lola: 143147508 markings, 722767349 edges, 71807 markings/sec, 755 secs
lola: 143412390 markings, 724047133 edges, 52976 markings/sec, 760 secs
lola: 143909605 markings, 726429085 edges, 99443 markings/sec, 765 secs
lola: 144516887 markings, 729303685 edges, 121456 markings/sec, 770 secs
lola: 144791912 markings, 730599507 edges, 55005 markings/sec, 775 secs
lola: 145028410 markings, 731717877 edges, 47300 markings/sec, 780 secs
lola: 145250205 markings, 732770331 edges, 44359 markings/sec, 785 secs
lola: 145461241 markings, 733773825 edges, 42207 markings/sec, 790 secs
lola: 145619058 markings, 734525485 edges, 31563 markings/sec, 795 secs
lola: 145797048 markings, 735374395 edges, 35598 markings/sec, 800 secs
lola: 145962067 markings, 736159383 edges, 33004 markings/sec, 805 secs
lola: 146161278 markings, 737110551 edges, 39842 markings/sec, 810 secs
lola: 146334969 markings, 737936816 edges, 34738 markings/sec, 815 secs
lola: 146535212 markings, 738891553 edges, 40049 markings/sec, 820 secs
lola: 146725297 markings, 739796826 edges, 38017 markings/sec, 825 secs
lola: 146876530 markings, 740520186 edges, 30247 markings/sec, 830 secs
lola: 147002072 markings, 741119767 edges, 25108 markings/sec, 835 secs
lola: 147194546 markings, 742042314 edges, 38495 markings/sec, 840 secs
lola: 147389009 markings, 742967626 edges, 38893 markings/sec, 845 secs
lola: 147522095 markings, 743603875 edges, 26617 markings/sec, 850 secs
lola: 147669399 markings, 744307705 edges, 29461 markings/sec, 855 secs
lola: 147784924 markings, 744859232 edges, 23105 markings/sec, 860 secs
lola: 147878613 markings, 745310499 edges, 18738 markings/sec, 865 secs
lola: 148013777 markings, 745956884 edges, 27033 markings/sec, 870 secs
lola: 148133912 markings, 746529564 edges, 24027 markings/sec, 875 secs
lola: 148310401 markings, 747374434 edges, 35298 markings/sec, 880 secs
lola: 148393989 markings, 747777880 edges, 16718 markings/sec, 885 secs
lola: 148539729 markings, 748473336 edges, 29148 markings/sec, 890 secs
lola: 148662432 markings, 749059213 edges, 24541 markings/sec, 895 secs
lola: 148760476 markings, 749525757 edges, 19609 markings/sec, 900 secs
lola: 148871890 markings, 750063672 edges, 22283 markings/sec, 905 secs
lola: 148990872 markings, 750630541 edges, 23796 markings/sec, 910 secs
lola: 149196764 markings, 751615899 edges, 41178 markings/sec, 915 secs
lola: 149272366 markings, 751980785 edges, 15120 markings/sec, 920 secs
lola: 149433818 markings, 752752918 edges, 32290 markings/sec, 925 secs
lola: 149597087 markings, 753533950 edges, 32654 markings/sec, 930 secs
lola: 149795302 markings, 754482165 edges, 39643 markings/sec, 935 secs
lola: 150314573 markings, 756966481 edges, 103854 markings/sec, 940 secs
lola: 150622842 markings, 758446134 edges, 61654 markings/sec, 945 secs
lola: 150803749 markings, 759312077 edges, 36181 markings/sec, 950 secs
lola: 151032400 markings, 760407128 edges, 45730 markings/sec, 955 secs
lola: 151456643 markings, 762441247 edges, 84849 markings/sec, 960 secs
lola: 151721788 markings, 763710755 edges, 53029 markings/sec, 965 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((F (((1 <= p5) AND (1 <= p15))) U ((1 <= p4) AND (1 <= p21))) OR (X ((F ((1 <= p9)) OR ((1 <= p7) AND (1 <= p23)))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: processed formula length: 157
lola: 79 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2399586 markings, 5453153 edges, 479917 markings/sec, 0 secs
lola: 4647150 markings, 10691120 edges, 449513 markings/sec, 5 secs
lola: 6998352 markings, 16176237 edges, 470240 markings/sec, 10 secs
lola: 9112525 markings, 21138715 edges, 422835 markings/sec, 15 secs
lola: 11399569 markings, 26490306 edges, 457409 markings/sec, 20 secs
lola: 13739946 markings, 31990342 edges, 468075 markings/sec, 25 secs
lola: 16021735 markings, 37349053 edges, 456358 markings/sec, 30 secs
lola: 18267471 markings, 42623194 edges, 449147 markings/sec, 35 secs
lola: 20405554 markings, 47644066 edges, 427617 markings/sec, 40 secs
lola: 22697810 markings, 53029048 edges, 458451 markings/sec, 45 secs
lola: 24941999 markings, 58319632 edges, 448838 markings/sec, 50 secs
lola: 27242247 markings, 63724516 edges, 460050 markings/sec, 55 secs
lola: 29479748 markings, 68998312 edges, 447500 markings/sec, 60 secs
lola: 31784455 markings, 74414382 edges, 460941 markings/sec, 65 secs
lola: 34099401 markings, 79872474 edges, 462989 markings/sec, 70 secs
lola: 36484199 markings, 85476623 edges, 476960 markings/sec, 75 secs
lola: 38862531 markings, 91086502 edges, 475666 markings/sec, 80 secs
lola: 41246121 markings, 96709410 edges, 476718 markings/sec, 85 secs
lola: 43613448 markings, 102271294 edges, 473465 markings/sec, 90 secs
lola: 45939861 markings, 107756725 edges, 465283 markings/sec, 95 secs
lola: 48301069 markings, 113323758 edges, 472242 markings/sec, 100 secs
lola: 50652089 markings, 118870523 edges, 470204 markings/sec, 105 secs
lola: 52960623 markings, 124311251 edges, 461707 markings/sec, 110 secs
lola: 55290744 markings, 129805852 edges, 466024 markings/sec, 115 secs
lola: 57594512 markings, 135219514 edges, 460754 markings/sec, 120 secs
lola: 59872627 markings, 140589479 edges, 455623 markings/sec, 125 secs
lola: 62132845 markings, 145919963 edges, 452044 markings/sec, 130 secs
lola: 64532157 markings, 151578080 edges, 479862 markings/sec, 135 secs
lola: 66685281 markings, 156655652 edges, 430625 markings/sec, 140 secs
lola: 69004662 markings, 162123588 edges, 463876 markings/sec, 145 secs
lola: 71254863 markings, 167429086 edges, 450040 markings/sec, 150 secs
lola: 73584560 markings, 172935201 edges, 465939 markings/sec, 155 secs
lola: 75855796 markings, 178301005 edges, 454247 markings/sec, 160 secs
lola: 78097473 markings, 183585249 edges, 448335 markings/sec, 165 secs
lola: 80309964 markings, 188801834 edges, 442498 markings/sec, 170 secs
lola: 82591923 markings, 194181428 edges, 456392 markings/sec, 175 secs
lola: 84876681 markings, 199567902 edges, 456952 markings/sec, 180 secs
lola: 87113820 markings, 204846054 edges, 447428 markings/sec, 185 secs
lola: 89340219 markings, 210092100 edges, 445280 markings/sec, 190 secs
lola: 91534482 markings, 215288791 edges, 438853 markings/sec, 195 secs
lola: 93807441 markings, 220645937 edges, 454592 markings/sec, 200 secs
lola: 96057026 markings, 225949877 edges, 449917 markings/sec, 205 secs
lola: 98278915 markings, 231189890 edges, 444378 markings/sec, 210 secs
lola: 100494549 markings, 236414201 edges, 443127 markings/sec, 215 secs
lola: 102699927 markings, 241633499 edges, 441076 markings/sec, 220 secs
lola: 105084248 markings, 247258203 edges, 476864 markings/sec, 225 secs
lola: 107452084 markings, 252841693 edges, 473567 markings/sec, 230 secs
lola: 109766996 markings, 258298376 edges, 462982 markings/sec, 235 secs
lola: 112066560 markings, 263721853 edges, 459913 markings/sec, 240 secs
lola: 114352871 markings, 269132763 edges, 457262 markings/sec, 245 secs
lola: 116695294 markings, 274657984 edges, 468485 markings/sec, 250 secs
lola: 118991624 markings, 280074966 edges, 459266 markings/sec, 255 secs
lola: 120012299 markings, 282486052 edges, 204135 markings/sec, 260 secs
lola: 121468988 markings, 285919677 edges, 291338 markings/sec, 265 secs
lola: 122814645 markings, 289102323 edges, 269131 markings/sec, 270 secs
lola: 123827736 markings, 291497675 edges, 202618 markings/sec, 275 secs
lola: 125033854 markings, 294332029 edges, 241224 markings/sec, 280 secs
lola: 126003943 markings, 296627189 edges, 194018 markings/sec, 285 secs
lola: 127550838 markings, 300270591 edges, 309379 markings/sec, 290 secs
lola: 128876078 markings, 303407312 edges, 265048 markings/sec, 295 secs
lola: 130059779 markings, 306207244 edges, 236740 markings/sec, 300 secs
lola: 131475115 markings, 309536692 edges, 283067 markings/sec, 305 secs
lola: 133058190 markings, 313285586 edges, 316615 markings/sec, 310 secs
lola: 134339828 markings, 316298149 edges, 256328 markings/sec, 315 secs
lola: 135808062 markings, 319772293 edges, 293647 markings/sec, 320 secs
lola: 136697847 markings, 321877565 edges, 177957 markings/sec, 325 secs
lola: 137919094 markings, 324749738 edges, 244249 markings/sec, 330 secs
lola: 139364288 markings, 328170109 edges, 289039 markings/sec, 335 secs
lola: 140680928 markings, 331264776 edges, 263328 markings/sec, 340 secs
lola: 141939617 markings, 334245613 edges, 251738 markings/sec, 345 secs
lola: 143319681 markings, 337513004 edges, 276013 markings/sec, 350 secs
lola: 144579653 markings, 340472196 edges, 251994 markings/sec, 355 secs
lola: 145676615 markings, 343070114 edges, 219392 markings/sec, 360 secs
lola: 146386382 markings, 344748248 edges, 141953 markings/sec, 365 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p0) AND (1 <= p13))))
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 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 79 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: 1471481 markings, 5330183 edges, 294296 markings/sec, 0 secs
lola: 2802292 markings, 10475700 edges, 266162 markings/sec, 5 secs
lola: 4046709 markings, 15272896 edges, 248883 markings/sec, 10 secs
lola: 5219544 markings, 19846025 edges, 234567 markings/sec, 15 secs
lola: 6415236 markings, 24646562 edges, 239138 markings/sec, 20 secs
lola: 7602135 markings, 29271498 edges, 237380 markings/sec, 25 secs
lola: 8793190 markings, 33986631 edges, 238211 markings/sec, 30 secs
lola: 9835546 markings, 38321477 edges, 208471 markings/sec, 35 secs
lola: 10969891 markings, 42715800 edges, 226869 markings/sec, 40 secs
lola: 12110831 markings, 47188356 edges, 228188 markings/sec, 45 secs
lola: 13240378 markings, 51885870 edges, 225909 markings/sec, 50 secs
lola: 14263795 markings, 56194212 edges, 204683 markings/sec, 55 secs
lola: 15411498 markings, 60614423 edges, 229541 markings/sec, 60 secs
lola: 16479370 markings, 64980415 edges, 213574 markings/sec, 65 secs
lola: 17612020 markings, 69395286 edges, 226530 markings/sec, 70 secs
lola: 18727165 markings, 74083775 edges, 223029 markings/sec, 75 secs
lola: 19763135 markings, 78388052 edges, 207194 markings/sec, 80 secs
lola: 20735722 markings, 82557732 edges, 194517 markings/sec, 85 secs
lola: 21895964 markings, 87009792 edges, 232048 markings/sec, 90 secs
lola: 22958632 markings, 91358861 edges, 212534 markings/sec, 95 secs
lola: 24015875 markings, 95608821 edges, 211449 markings/sec, 100 secs
lola: 25112833 markings, 99968447 edges, 219392 markings/sec, 105 secs
lola: 26187487 markings, 104532391 edges, 214931 markings/sec, 110 secs
lola: 27242467 markings, 108974588 edges, 210996 markings/sec, 115 secs
lola: 28244205 markings, 113175576 edges, 200348 markings/sec, 120 secs
lola: 29187631 markings, 117258404 edges, 188685 markings/sec, 125 secs
lola: 30249139 markings, 121375910 edges, 212302 markings/sec, 130 secs
lola: 31327291 markings, 125696253 edges, 215630 markings/sec, 135 secs
lola: 32257970 markings, 129595619 edges, 186136 markings/sec, 140 secs
lola: 33189523 markings, 133460917 edges, 186311 markings/sec, 145 secs
lola: 34201485 markings, 137582189 edges, 202392 markings/sec, 150 secs
lola: 35248281 markings, 141637498 edges, 209359 markings/sec, 155 secs
lola: 36247547 markings, 145897727 edges, 199853 markings/sec, 160 secs
lola: 37294221 markings, 150312664 edges, 209335 markings/sec, 165 secs
lola: 38243536 markings, 154398738 edges, 189863 markings/sec, 170 secs
lola: 39194433 markings, 158383635 edges, 190179 markings/sec, 175 secs
lola: 40104046 markings, 162326245 edges, 181923 markings/sec, 180 secs
lola: 40998155 markings, 166182184 edges, 178822 markings/sec, 185 secs
lola: 42027581 markings, 170131920 edges, 205885 markings/sec, 190 secs
lola: 43133113 markings, 174559921 edges, 221106 markings/sec, 195 secs
lola: 44143596 markings, 178756413 edges, 202097 markings/sec, 200 secs
lola: 45126979 markings, 182868690 edges, 196677 markings/sec, 205 secs
lola: 46076021 markings, 186890412 edges, 189808 markings/sec, 210 secs
lola: 47093490 markings, 190940846 edges, 203494 markings/sec, 215 secs
lola: 48042048 markings, 194944478 edges, 189712 markings/sec, 220 secs
lola: 49160798 markings, 199239469 edges, 223750 markings/sec, 225 secs
lola: 50117057 markings, 203427718 edges, 191252 markings/sec, 230 secs
lola: 51108030 markings, 207705615 edges, 198195 markings/sec, 235 secs
lola: 52094257 markings, 211924925 edges, 197245 markings/sec, 240 secs
lola: 53018018 markings, 215904736 edges, 184752 markings/sec, 245 secs
lola: 53963538 markings, 219879220 edges, 189104 markings/sec, 250 secs
lola: 54876263 markings, 223792420 edges, 182545 markings/sec, 255 secs
lola: 55790607 markings, 227824009 edges, 182869 markings/sec, 260 secs
lola: 56682542 markings, 231551144 edges, 178387 markings/sec, 265 secs
lola: 57697660 markings, 235472686 edges, 203024 markings/sec, 270 secs
lola: 58810790 markings, 239935281 edges, 222626 markings/sec, 275 secs
lola: 59795944 markings, 244029884 edges, 197031 markings/sec, 280 secs
lola: 60771698 markings, 248091866 edges, 195151 markings/sec, 285 secs
lola: 61700697 markings, 252072477 edges, 185800 markings/sec, 290 secs
lola: 62652530 markings, 256059835 edges, 190367 markings/sec, 295 secs
lola: 63548996 markings, 259849019 edges, 179293 markings/sec, 300 secs
lola: 64526718 markings, 263713246 edges, 195544 markings/sec, 305 secs
lola: 65399249 markings, 267565616 edges, 174506 markings/sec, 310 secs
lola: 66463116 markings, 271561061 edges, 212773 markings/sec, 315 secs
lola: 67475626 markings, 275724706 edges, 202502 markings/sec, 320 secs
lola: 68377804 markings, 279706683 edges, 180436 markings/sec, 325 secs
lola: 69305277 markings, 283760421 edges, 185495 markings/sec, 330 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no no no unknown unknown no unknown
lola:
preliminary result: unknown no no no no no no unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no no no no unknown unknown no unknown
lola: memory consumption: 9879372 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no no no no unknown unknown no unknown
lola: memory consumption: 9879372 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--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-N0050P0"
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-N0050P0, 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-158987806400210"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0050P0.tgz
mv ClientsAndServers-PT-N0050P0 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 ;