About the Execution of ITS-LoLa for ClientsAndServers-PT-N0020P2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15793.990 | 3600000.00 | 2658578.00 | 106480.30 | ?TFFFFFFTFF?TFFF | 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-158987806400186.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-N0020P2, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400186
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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.4K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 26 07:39 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-N0020P2-00
FORMULA_NAME ClientsAndServers-PT-N0020P2-01
FORMULA_NAME ClientsAndServers-PT-N0020P2-02
FORMULA_NAME ClientsAndServers-PT-N0020P2-03
FORMULA_NAME ClientsAndServers-PT-N0020P2-04
FORMULA_NAME ClientsAndServers-PT-N0020P2-05
FORMULA_NAME ClientsAndServers-PT-N0020P2-06
FORMULA_NAME ClientsAndServers-PT-N0020P2-07
FORMULA_NAME ClientsAndServers-PT-N0020P2-08
FORMULA_NAME ClientsAndServers-PT-N0020P2-09
FORMULA_NAME ClientsAndServers-PT-N0020P2-10
FORMULA_NAME ClientsAndServers-PT-N0020P2-11
FORMULA_NAME ClientsAndServers-PT-N0020P2-12
FORMULA_NAME ClientsAndServers-PT-N0020P2-13
FORMULA_NAME ClientsAndServers-PT-N0020P2-14
FORMULA_NAME ClientsAndServers-PT-N0020P2-15
=== Now, execution of the tool begins
BK_START 1591209471589
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 18:37:54] [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 18:37:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 18:37:54] [INFO ] Load time of PNML (sax parser for PT used): 33 ms
[2020-06-03 18:37:54] [INFO ] Transformed 25 places.
[2020-06-03 18:37:54] [INFO ] Transformed 18 transitions.
[2020-06-03 18:37:54] [INFO ] Parsed PT model containing 25 places and 18 transitions in 85 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 2362 steps, including 1 resets, run visited all 26 properties in 10 ms. (steps per millisecond=236 )
[2020-06-03 18:37:54] [INFO ] Flatten gal took : 33 ms
[2020-06-03 18:37:54] [INFO ] Flatten gal took : 8 ms
[2020-06-03 18:37:54] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2020-06-03 18:37:54] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0020P2 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0020P2-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 771
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0020P2
{
"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 18:37:55 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 4,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (F ((G ((p10 <= 0)) OR ((F ((p10 <= 0)) OR (p12 <= 0)) AND (p10 <= 0)))))",
"processed_size": 75,
"rewrites": 89
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"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": "G (((p4 <= 0) OR (p21 <= 0)))",
"processed_size": 30,
"rewrites": 89
},
"result":
{
"edges": 889,
"markings": 889,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 1,
"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": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (G (((1 <= p2))))",
"processed_size": 19,
"rewrites": 89
},
"result":
{
"edges": 1145,
"markings": 1145,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 5,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (((X ((1 <= p9)) AND ((1 <= p7) AND (1 <= p23))) OR (G ((((1 <= p7) AND (1 <= p23)) OR ((p9 <= 0) AND (p18 <= 0)))) AND F ((X ((1 <= p9)) AND ((1 <= p7) AND (1 <= p23)))))))",
"processed_size": 176,
"rewrites": 89
},
"result":
{
"edges": 1146,
"markings": 1146,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 15
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(p12 <= 0)",
"processed_size": 10,
"rewrites": 89
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 0,
"aneg": 2,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X (((1 <= p12) OR (((p4 <= 0) OR (p21 <= 0)) R ((p8 <= 0) OR (p15 <= 0)))))",
"processed_size": 77,
"rewrites": 89
},
"result":
{
"edges": 1145,
"markings": 1145,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X ((F ((1 <= p6)) AND F ((1 <= p6)))))",
"processed_size": 41,
"rewrites": 89
},
"result":
{
"edges": 1145,
"markings": 1145,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 356
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G ((p12 <= 0))",
"processed_size": 14,
"rewrites": 89
},
"result":
{
"edges": 893,
"markings": 893,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G ((p12 <= 0))",
"processed_size": 14,
"rewrites": 89
},
"result":
{
"edges": 893,
"markings": 893,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (X (F ((1 <= p12))))",
"processed_size": 22,
"rewrites": 89
},
"result":
{
"edges": 7608370,
"markings": 3117681,
"produced_by": "LTL model checker",
"value": true
},
"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"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 395
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (F ((p6 <= 0)))",
"processed_size": 17,
"rewrites": 89
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"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": "((p7 <= 0) OR (p23 <= 0))",
"processed_size": 26,
"rewrites": 89
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 8,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "X (F ((X (F (((p4 <= 0) OR (p21 <= 0)))) AND ((1 <= p9) AND (1 <= p16)))))",
"processed_size": 75,
"rewrites": 89
},
"result":
{
"edges": 2289,
"markings": 2288,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 508
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G ((1 <= p9)))",
"processed_size": 17,
"rewrites": 89
},
"result":
{
"edges": 1426,
"markings": 1348,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 9,
"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": false
},
"task":
{
"compoundnumber": 9,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 593
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 1,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((G (((p2 <= 0))) OR ((1 <= p0) AND (1 <= p13))) U (1 <= p12))",
"processed_size": 62,
"rewrites": 89
},
"result":
{
"edges": 893,
"markings": 893,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 790
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 3,
"U": 0,
"X": 0,
"aconj": 4,
"adisj": 2,
"aneg": 0,
"comp": 12,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 12,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "F ((G (F ((1 <= p12))) OR G (((((1 <= p0) AND (1 <= p13)) OR (1 <= p12) OR ((1 <= p5) AND (1 <= p15))) OR (G ((1 <= p12)) AND F ((((1 <= p0) AND (1 <= p13)) OR (1 <= p12) OR ((1 <= p5) AND (1 <= p15)))))))))",
"processed_size": 211,
"rewrites": 89
},
"result":
{
"edges": 39388275,
"markings": 7436326,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 15
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1170
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1170
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((1 <= p8) AND (1 <= p15))",
"processed_size": 26,
"rewrites": 89
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2341
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "((p8 <= 0) OR (p15 <= 0))",
"processed_size": 26,
"rewrites": 91
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"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 (((p8 <= 0) OR (p15 <= 0))))",
"processed_size": 34,
"rewrites": 89
},
"result":
{
"edges": 1517,
"markings": 1280,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 17,
"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": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2341
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2341
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G ((1 <= p20)))",
"processed_size": 18,
"rewrites": 89
},
"result":
{
"edges": 714,
"markings": 713,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(1 <= p12)",
"processed_size": 10,
"rewrites": 91
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G (F ((p12 <= 0)))",
"processed_size": 18,
"rewrites": 89
},
"result":
{
"edges": 985,
"markings": 985,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 18,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G ((1 <= p20)))",
"processed_size": 18,
"rewrites": 89
},
"result":
{
"edges": 714,
"markings": 713,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 18,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(p20 <= 0)",
"processed_size": 10,
"rewrites": 91
},
"result":
{
"edges": 1243449,
"markings": 1070225,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 19,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(1 <= p12)",
"processed_size": 10,
"rewrites": 91
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 20,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G (F ((p12 <= 0)))",
"processed_size": 18,
"rewrites": 89
},
"result":
{
"edges": 985,
"markings": 985,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 21,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
}
],
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 18,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3600,
"runtime": 2799.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G(F(**)) : X(F((G(*) OR ((F(*) OR *) AND *)))) : ((** U G(**)) AND (G(**) AND X(**))) : X(G(**)) : X(((X(**) AND (** AND **)) OR (G(**) AND F((X(**) AND (** AND **)))))) : (** AND X((** OR (* R *)))) : X(X((F(*) AND F(**)))) : ((** OR (F(**) AND F(G(**)))) AND F(G(*))) : ((G(*) AND (F((X(*) AND *)) OR G(*))) OR X(X(F(**)))) : (F(*) AND ((F(*) OR G(F(*))) AND (F(G(**)) OR G((F(*) AND (F(*) OR G(F(*)))))))) : ((G(*) OR **) U **) : G(F(**)) : X(F(*)) : (X(F((X(F(*)) AND (** AND **)))) AND **) : (G(F(**)) AND (F(G(**)) AND X(**))) : F((G(F(**)) OR G((** OR (G(**) AND F(**))))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"preliminary_value": "unknown yes no no no no no no yes no no unknown yes no no no ",
"value": "unknown yes no no no no no no yes no no unknown yes no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: G (F ((1 <= p18))) : NOT(X (G (((G ((1 <= p10)) AND (1 <= p12)) U ((1 <= p10) U (1 <= p10)))))) : (((((p5 <= 0) OR (p15 <= 0)) U G ((1 <= p18))) AND G (((p4 <= 0) OR (p21 <= 0)))) AND X (((1 <= p5) AND (1 <= p15)))) : G (X (((1 <= p2)))) : X ((G ((((1 <= p7) AND (1 <= p23)) OR ((p9 <= 0) AND (p18 <= 0)))) U ((X ((1 <= p9)) AND (1 <= p7)) AND (1 <= p23)))) : ((p12 <= 0) AND (X ((1 <= p12)) OR NOT(X ((((1 <= p4) AND (1 <= p21)) U ((1 <= p8) AND (1 <= p15))))))) : X (X ((NOT(G ((p6 <= 0))) AND F ((1 <= p6))))) : ((F (G (((p8 <= 0) OR (p15 <= 0)))) U ((1 <= p8) AND (1 <= p15))) AND NOT(G (F ((((1 <= p2)) OR (1 <= p24)))))) : (NOT((G ((X ((1 <= p12)) OR (1 <= p12))) U F ((1 <= p12)))) OR X (F (X ((1 <= p12))))) : NOT((NOT(F (G ((1 <= p20)))) U (G ((p20 <= 0)) U G ((1 <= p12))))) : ((NOT(F ((X (((1 <= p0) AND (1 <= p13))) U ((1 <= p2))))) OR ((1 <= p0) AND (1 <= p13))) U (1 <= p12)) : F ((X (((1 <= p11) AND (1 <= p17))) U G (F ((1 <= p9))))) : NOT(G (X ((1 <= p6)))) : (F (X (((F (NOT(X (((1 <= p4) AND (1 <= p21))))) AND (1 <= p9)) AND (1 <= p16)))) AND ((p7 <= 0) OR (p23 <= 0))) : ((G (F ((1 <= p9))) AND F (G ((1 <= p9)))) AND X ((1 <= p22))) : F ((G (F ((1 <= p12))) OR G ((G ((1 <= p12)) U (((1 <= p0) AND (1 <= p13)) OR (1 <= p12) OR ((1 <= p5) AND (1 <= p15)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:416
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:528
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G ((p10 <= 0)) OR ((F ((p10 <= 0)) OR (p12 <= 0)) AND (p10 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G ((p10 <= 0)) OR ((F ((p10 <= 0)) OR (p12 <= 0)) AND (p10 <= 0)))))
lola: processed formula length: 75
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((p5 <= 0) OR (p15 <= 0)) U G ((1 <= p18))) AND (G (((p4 <= 0) OR (p21 <= 0))) AND X (((1 <= p5) AND (1 <= p15)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p4 <= 0) OR (p21 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p4 <= 0) OR (p21 <= 0)))
lola: processed formula length: 30
lola: 89 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: 889 markings, 889 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (G (((1 <= p2))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (G (((1 <= p2))))
lola: processed formula length: 19
lola: 89 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: 1145 markings, 1145 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((X ((1 <= p9)) AND ((1 <= p7) AND (1 <= p23))) OR (G ((((1 <= p7) AND (1 <= p23)) OR ((p9 <= 0) AND (p18 <= 0)))) AND F ((X ((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 (((X ((1 <= p9)) AND ((1 <= p7) AND (1 <= p23))) OR (G ((((1 <= p7) AND (1 <= p23)) OR ((p9 <= 0) AND (p18 <= 0)))) AND F ((X ((1 <= p9)) AND ((1 <= p7) AND (1 <= p23)))))))
lola: processed formula length: 176
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 1146 markings, 1146 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p12 <= 0) AND X (((1 <= p12) OR (((p4 <= 0) OR (p21 <= 0)) R ((p8 <= 0) OR (p15 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p12 <= 0)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p12 <= 0)
lola: processed formula length: 10
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 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 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((1 <= p12) OR (((p4 <= 0) OR (p21 <= 0)) R ((p8 <= 0) OR (p15 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((1 <= p12) OR (((p4 <= 0) OR (p21 <= 0)) R ((p8 <= 0) OR (p15 <= 0)))))
lola: processed formula length: 77
lola: 89 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: 1145 markings, 1145 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X ((F ((1 <= p6)) AND F ((1 <= p6)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X ((F ((1 <= p6)) AND F ((1 <= p6)))))
lola: processed formula length: 41
lola: 89 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: 1145 markings, 1145 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((G ((p12 <= 0)) AND (F ((X ((p12 <= 0)) AND (p12 <= 0))) OR G ((p12 <= 0)))) OR X (X (F ((1 <= p12)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p12 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p12 <= 0))
lola: processed formula length: 14
lola: 89 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: 893 markings, 893 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p12 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p12 <= 0))
lola: processed formula length: 14
lola: 89 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: 893 markings, 893 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (F ((1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (F ((1 <= p12))))
lola: processed formula length: 22
lola: 89 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: 2173402 markings, 5302689 edges, 434680 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 3117681 markings, 7608370 edges
lola: lola: SUBRESULT========================================
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((p6 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((p6 <= 0)))
lola: processed formula length: 17
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F ((X (F (((p4 <= 0) OR (p21 <= 0)))) AND ((1 <= p9) AND (1 <= p16))))) AND ((p7 <= 0) OR (p23 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p7 <= 0) OR (p23 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p7 <= 0) OR (p23 <= 0))
lola: processed formula length: 26
lola: 89 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 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X (F (((p4 <= 0) OR (p21 <= 0)))) AND ((1 <= p9) AND (1 <= p16)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X (F (((p4 <= 0) OR (p21 <= 0)))) AND ((1 <= p9) AND (1 <= p16)))))
lola: processed formula length: 75
lola: 89 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: 2288 markings, 2289 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F ((1 <= p9))) AND (F (G ((1 <= p9))) AND X ((1 <= p22))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((1 <= p9)))
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 ((1 <= p9)))
lola: processed formula length: 17
lola: 89 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: 1348 markings, 1426 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 10 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p9)))
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 <= p9)))
lola: processed formula length: 17
lola: 89 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: 2185519 markings, 5932808 edges, 437104 markings/sec, 0 secs
lola: 4128748 markings, 11811831 edges, 388646 markings/sec, 5 secs
lola: 5815706 markings, 17403554 edges, 337392 markings/sec, 10 secs
lola: 7545402 markings, 23115460 edges, 345939 markings/sec, 15 secs
lola: 9249169 markings, 28735743 edges, 340753 markings/sec, 20 secs
lola: 10893675 markings, 34166466 edges, 328901 markings/sec, 25 secs
lola: 12465672 markings, 39618394 edges, 314399 markings/sec, 30 secs
lola: 13855823 markings, 44953982 edges, 278030 markings/sec, 35 secs
lola: 15390826 markings, 50261782 edges, 307001 markings/sec, 40 secs
lola: 17202843 markings, 56144277 edges, 362403 markings/sec, 45 secs
lola: 19034827 markings, 62124065 edges, 366397 markings/sec, 50 secs
lola: 20767738 markings, 68055045 edges, 346582 markings/sec, 55 secs
lola: 22302558 markings, 73779624 edges, 306964 markings/sec, 60 secs
lola: 23806621 markings, 79425131 edges, 300813 markings/sec, 65 secs
lola: 25306456 markings, 85070548 edges, 299967 markings/sec, 70 secs
lola: 26956808 markings, 90905842 edges, 330070 markings/sec, 75 secs
lola: 28465702 markings, 96383557 edges, 301779 markings/sec, 80 secs
lola: 29931863 markings, 101728546 edges, 293232 markings/sec, 85 secs
lola: 31310613 markings, 106764452 edges, 275750 markings/sec, 90 secs
lola: 32724908 markings, 111938471 edges, 282859 markings/sec, 95 secs
lola: 34158308 markings, 117187790 edges, 286680 markings/sec, 100 secs
lola: 35785897 markings, 122658158 edges, 325518 markings/sec, 105 secs
lola: 37413101 markings, 128073591 edges, 325441 markings/sec, 110 secs
lola: 38794217 markings, 133248320 edges, 276223 markings/sec, 115 secs
lola: 40174949 markings, 138526057 edges, 276146 markings/sec, 120 secs
lola: 41662966 markings, 144031172 edges, 297603 markings/sec, 125 secs
lola: 43082361 markings, 149346047 edges, 283879 markings/sec, 130 secs
lola: 44502290 markings, 154682682 edges, 283986 markings/sec, 135 secs
lola: 45967762 markings, 160151900 edges, 293094 markings/sec, 140 secs
lola: 47263077 markings, 165456816 edges, 259063 markings/sec, 145 secs
lola: 48492309 markings, 170546637 edges, 245846 markings/sec, 150 secs
lola: 49686328 markings, 175494019 edges, 238804 markings/sec, 155 secs
lola: 50880479 markings, 180455874 edges, 238830 markings/sec, 160 secs
lola: 52053311 markings, 185327059 edges, 234566 markings/sec, 165 secs
lola: 53222230 markings, 190190362 edges, 233784 markings/sec, 170 secs
lola: 54471176 markings, 195303551 edges, 249789 markings/sec, 175 secs
lola: 56151470 markings, 201080144 edges, 336059 markings/sec, 180 secs
lola: 57754224 markings, 206681241 edges, 320551 markings/sec, 185 secs
lola: 59338267 markings, 212241656 edges, 316809 markings/sec, 190 secs
lola: 60902507 markings, 217746581 edges, 312848 markings/sec, 195 secs
lola: 62480870 markings, 223318276 edges, 315673 markings/sec, 200 secs
lola: 64053101 markings, 228868906 edges, 314446 markings/sec, 205 secs
lola: 65598607 markings, 234323525 edges, 309101 markings/sec, 210 secs
lola: 67149407 markings, 239816851 edges, 310160 markings/sec, 215 secs
lola: 68707917 markings, 245339000 edges, 311702 markings/sec, 220 secs
lola: 70174590 markings, 251020649 edges, 293335 markings/sec, 225 secs
lola: 71547113 markings, 256478677 edges, 274505 markings/sec, 230 secs
lola: 72895643 markings, 261878118 edges, 269706 markings/sec, 235 secs
lola: 74237216 markings, 267251524 edges, 268315 markings/sec, 240 secs
lola: 75451299 markings, 272124599 edges, 242817 markings/sec, 245 secs
lola: 76739577 markings, 277297647 edges, 257656 markings/sec, 250 secs
lola: 78010365 markings, 282420229 edges, 254158 markings/sec, 255 secs
lola: 79272929 markings, 287490051 edges, 252513 markings/sec, 260 secs
lola: 80450233 markings, 292234249 edges, 235461 markings/sec, 265 secs
lola: 81726591 markings, 297383713 edges, 255272 markings/sec, 270 secs
lola: 82995270 markings, 302510957 edges, 253736 markings/sec, 275 secs
lola: 84483212 markings, 307902973 edges, 297588 markings/sec, 280 secs
lola: 85907422 markings, 313291553 edges, 284842 markings/sec, 285 secs
lola: 87241519 markings, 318447287 edges, 266819 markings/sec, 290 secs
lola: 88521977 markings, 323414900 edges, 256092 markings/sec, 295 secs
lola: 89794524 markings, 328364575 edges, 254509 markings/sec, 300 secs
lola: 91059263 markings, 333282868 edges, 252948 markings/sec, 305 secs
lola: 92303364 markings, 338136271 edges, 248820 markings/sec, 310 secs
lola: 93539597 markings, 342959040 edges, 247247 markings/sec, 315 secs
lola: 94760509 markings, 347720276 edges, 244182 markings/sec, 320 secs
lola: 95973628 markings, 352450222 edges, 242624 markings/sec, 325 secs
lola: 97211854 markings, 357282064 edges, 247645 markings/sec, 330 secs
lola: 98454517 markings, 362145477 edges, 248533 markings/sec, 335 secs
lola: 99684966 markings, 366946207 edges, 246090 markings/sec, 340 secs
lola: 100915628 markings, 371761672 edges, 246132 markings/sec, 345 secs
lola: 102113223 markings, 376452110 edges, 239519 markings/sec, 350 secs
lola: 103314241 markings, 381156208 edges, 240204 markings/sec, 355 secs
lola: 104562227 markings, 386021086 edges, 249597 markings/sec, 360 secs
lola: 105796817 markings, 390860673 edges, 246918 markings/sec, 365 secs
lola: 106971236 markings, 395478237 edges, 234884 markings/sec, 370 secs
lola: 108281503 markings, 400595340 edges, 262053 markings/sec, 375 secs
lola: 109966762 markings, 406149174 edges, 337052 markings/sec, 380 secs
lola: 111588860 markings, 411653843 edges, 324420 markings/sec, 385 secs
lola: 112956572 markings, 416897506 edges, 273542 markings/sec, 390 secs
lola: 114375137 markings, 422233046 edges, 283713 markings/sec, 395 secs
lola: 115824961 markings, 427636157 edges, 289965 markings/sec, 400 secs
lola: 117003409 markings, 432055839 edges, 235690 markings/sec, 405 secs
lola: 117188621 markings, 432749501 edges, 37042 markings/sec, 410 secs
lola: 118057609 markings, 436015972 edges, 173798 markings/sec, 415 secs
lola: 118915585 markings, 439240676 edges, 171595 markings/sec, 420 secs
lola: 119561304 markings, 441651418 edges, 129144 markings/sec, 425 secs
lola: 120014565 markings, 443417032 edges, 90652 markings/sec, 430 secs
lola: 120604294 markings, 445837075 edges, 117946 markings/sec, 435 secs
lola: 121212087 markings, 448346802 edges, 121559 markings/sec, 440 secs
lola: 121673764 markings, 450256982 edges, 92335 markings/sec, 445 secs
lola: 122210277 markings, 452479133 edges, 107303 markings/sec, 450 secs
lola: 122917746 markings, 455407831 edges, 141494 markings/sec, 455 secs
lola: 123509189 markings, 457865256 edges, 118289 markings/sec, 460 secs
lola: 124155678 markings, 460545029 edges, 129298 markings/sec, 465 secs
lola: 124725374 markings, 462910998 edges, 113939 markings/sec, 470 secs
lola: 125259478 markings, 465136509 edges, 106821 markings/sec, 475 secs
lola: 125705329 markings, 466983866 edges, 89170 markings/sec, 480 secs
lola: 126359484 markings, 469702953 edges, 130831 markings/sec, 485 secs
lola: 126857696 markings, 471777415 edges, 99642 markings/sec, 490 secs
lola: 127316509 markings, 473689337 edges, 91763 markings/sec, 495 secs
lola: 127657348 markings, 475110757 edges, 68168 markings/sec, 500 secs
lola: 128186924 markings, 477274835 edges, 105915 markings/sec, 505 secs
lola: 128792261 markings, 479613527 edges, 121067 markings/sec, 510 secs
lola: 129315903 markings, 481677971 edges, 104728 markings/sec, 515 secs
lola: 129982962 markings, 484324336 edges, 133412 markings/sec, 520 secs
lola: 130444615 markings, 486155217 edges, 92331 markings/sec, 525 secs
lola: 130961131 markings, 488213942 edges, 103303 markings/sec, 530 secs
lola: 131600492 markings, 490772661 edges, 127872 markings/sec, 535 secs
lola: 132190522 markings, 493131724 edges, 118006 markings/sec, 540 secs
lola: 132887560 markings, 495925124 edges, 139408 markings/sec, 545 secs
lola: 133653793 markings, 498998809 edges, 153247 markings/sec, 550 secs
lola: 134227672 markings, 501292214 edges, 114776 markings/sec, 555 secs
lola: 134816189 markings, 503661909 edges, 117703 markings/sec, 560 secs
lola: 135452937 markings, 506212568 edges, 127350 markings/sec, 565 secs
lola: 135915289 markings, 508071448 edges, 92470 markings/sec, 570 secs
lola: 136373090 markings, 509916357 edges, 91560 markings/sec, 575 secs
lola: 136825895 markings, 511746418 edges, 90561 markings/sec, 580 secs
lola: 137257495 markings, 513479281 edges, 86320 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no no no unknown yes unknown unknown unknown yes no no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((1 <= p18)))
lola: processed formula length: 18
lola: 89 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: 1601301 markings, 5182991 edges, 320260 markings/sec, 0 secs
lola: 3022834 markings, 10275026 edges, 284307 markings/sec, 5 secs
lola: 4257776 markings, 15085355 edges, 246988 markings/sec, 10 secs
lola: 5732788 markings, 20204657 edges, 295002 markings/sec, 15 secs
lola: 7025226 markings, 24995147 edges, 258488 markings/sec, 20 secs
lola: 8343188 markings, 29855946 edges, 263592 markings/sec, 25 secs
lola: 9833179 markings, 35187122 edges, 297998 markings/sec, 30 secs
lola: 11248409 markings, 40475704 edges, 283046 markings/sec, 35 secs
lola: 12494717 markings, 45148224 edges, 249262 markings/sec, 40 secs
lola: 13992689 markings, 50684735 edges, 299594 markings/sec, 45 secs
lola: 15347066 markings, 55129846 edges, 270875 markings/sec, 50 secs
lola: 16424603 markings, 59703267 edges, 215507 markings/sec, 55 secs
lola: 17733866 markings, 64725066 edges, 261853 markings/sec, 60 secs
lola: 19083114 markings, 70003233 edges, 269850 markings/sec, 65 secs
lola: 20079299 markings, 74136424 edges, 199237 markings/sec, 70 secs
lola: 21028212 markings, 78123102 edges, 189783 markings/sec, 75 secs
lola: 21902202 markings, 81901997 edges, 174798 markings/sec, 80 secs
lola: 22785947 markings, 85720254 edges, 176749 markings/sec, 85 secs
lola: 23698494 markings, 89614502 edges, 182509 markings/sec, 90 secs
lola: 24566201 markings, 93400689 edges, 173541 markings/sec, 95 secs
lola: 25410689 markings, 97089943 edges, 168898 markings/sec, 100 secs
lola: 26403236 markings, 101443012 edges, 198509 markings/sec, 105 secs
lola: 27430237 markings, 105907859 edges, 205400 markings/sec, 110 secs
lola: 28283135 markings, 109661272 edges, 170580 markings/sec, 115 secs
lola: 29186857 markings, 113611061 edges, 180744 markings/sec, 120 secs
lola: 30163512 markings, 117932524 edges, 195331 markings/sec, 125 secs
lola: 31215097 markings, 122549075 edges, 210317 markings/sec, 130 secs
lola: 32268648 markings, 127205159 edges, 210710 markings/sec, 135 secs
lola: 33377566 markings, 132123273 edges, 221784 markings/sec, 140 secs
lola: 34510591 markings, 136540091 edges, 226605 markings/sec, 145 secs
lola: 35521248 markings, 140599285 edges, 202131 markings/sec, 150 secs
lola: 36524696 markings, 144653536 edges, 200690 markings/sec, 155 secs
lola: 37544533 markings, 148758430 edges, 203967 markings/sec, 160 secs
lola: 38599535 markings, 152953531 edges, 211000 markings/sec, 165 secs
lola: 39669644 markings, 156970546 edges, 214022 markings/sec, 170 secs
lola: 40545696 markings, 160394753 edges, 175210 markings/sec, 175 secs
lola: 41453067 markings, 163919114 edges, 181474 markings/sec, 180 secs
lola: 42661982 markings, 168315866 edges, 241783 markings/sec, 185 secs
lola: 44040433 markings, 173117035 edges, 275690 markings/sec, 190 secs
lola: 45215128 markings, 177528690 edges, 234939 markings/sec, 195 secs
lola: 46376415 markings, 181941564 edges, 232257 markings/sec, 200 secs
lola: 47371589 markings, 185793084 edges, 199035 markings/sec, 205 secs
lola: 48407065 markings, 189748951 edges, 207095 markings/sec, 210 secs
lola: 49401648 markings, 193621141 edges, 198917 markings/sec, 215 secs
lola: 50418860 markings, 197545160 edges, 203442 markings/sec, 220 secs
lola: 51421195 markings, 201442633 edges, 200467 markings/sec, 225 secs
lola: 52454689 markings, 205439592 edges, 206699 markings/sec, 230 secs
lola: 53504114 markings, 209501711 edges, 209885 markings/sec, 235 secs
lola: 54599202 markings, 213716467 edges, 219018 markings/sec, 240 secs
lola: 55794422 markings, 218227192 edges, 239044 markings/sec, 245 secs
lola: 57071592 markings, 223191941 edges, 255434 markings/sec, 250 secs
lola: 58216455 markings, 227582394 edges, 228973 markings/sec, 255 secs
lola: 59174731 markings, 231091435 edges, 191655 markings/sec, 260 secs
lola: 60062942 markings, 234246390 edges, 177642 markings/sec, 265 secs
lola: 60907930 markings, 237934573 edges, 168998 markings/sec, 270 secs
lola: 61744602 markings, 241573771 edges, 167334 markings/sec, 275 secs
lola: 62564952 markings, 244474209 edges, 164070 markings/sec, 280 secs
lola: 63520168 markings, 248197669 edges, 191043 markings/sec, 285 secs
lola: 64811086 markings, 253043932 edges, 258184 markings/sec, 290 secs
lola: 65888338 markings, 257131166 edges, 215450 markings/sec, 295 secs
lola: 67057104 markings, 260958441 edges, 233753 markings/sec, 300 secs
lola: 68152872 markings, 264860157 edges, 219154 markings/sec, 305 secs
lola: 68917955 markings, 268024425 edges, 153017 markings/sec, 310 secs
lola: 69881908 markings, 272182551 edges, 192791 markings/sec, 315 secs
lola: 71050155 markings, 277047285 edges, 233649 markings/sec, 320 secs
lola: 72087522 markings, 281512158 edges, 207473 markings/sec, 325 secs
lola: 73062709 markings, 285822288 edges, 195037 markings/sec, 330 secs
lola: 74068453 markings, 290198924 edges, 201149 markings/sec, 335 secs
lola: 75041155 markings, 294519180 edges, 194540 markings/sec, 340 secs
lola: 76040593 markings, 298930223 edges, 199888 markings/sec, 345 secs
lola: 77007116 markings, 303255353 edges, 193305 markings/sec, 350 secs
lola: 77992981 markings, 307634992 edges, 197173 markings/sec, 355 secs
lola: 78917170 markings, 311796725 edges, 184838 markings/sec, 360 secs
lola: 79890835 markings, 316156845 edges, 194733 markings/sec, 365 secs
lola: 80878190 markings, 320576921 edges, 197471 markings/sec, 370 secs
lola: 81871067 markings, 325048707 edges, 198575 markings/sec, 375 secs
lola: 82908563 markings, 329735951 edges, 207499 markings/sec, 380 secs
lola: 84198640 markings, 335145665 edges, 258015 markings/sec, 385 secs
lola: 85321090 markings, 339720288 edges, 224490 markings/sec, 390 secs
lola: 86288649 markings, 343931139 edges, 193512 markings/sec, 395 secs
lola: 87228666 markings, 348055260 edges, 188003 markings/sec, 400 secs
lola: 88033630 markings, 351720221 edges, 160993 markings/sec, 405 secs
lola: 88921867 markings, 355615795 edges, 177647 markings/sec, 410 secs
lola: 89686318 markings, 359280229 edges, 152890 markings/sec, 415 secs
lola: 90609023 markings, 363297744 edges, 184541 markings/sec, 420 secs
lola: 91433535 markings, 367134385 edges, 164902 markings/sec, 425 secs
lola: 92230157 markings, 370894801 edges, 159324 markings/sec, 430 secs
lola: 93172015 markings, 375001504 edges, 188372 markings/sec, 435 secs
lola: 93936426 markings, 378658155 edges, 152882 markings/sec, 440 secs
lola: 94710327 markings, 382344938 edges, 154780 markings/sec, 445 secs
lola: 95641630 markings, 386395695 edges, 186261 markings/sec, 450 secs
lola: 96399667 markings, 390016172 edges, 151607 markings/sec, 455 secs
lola: 97160351 markings, 393656608 edges, 152137 markings/sec, 460 secs
lola: 98041200 markings, 397563923 edges, 176170 markings/sec, 465 secs
lola: 98837699 markings, 401308600 edges, 159300 markings/sec, 470 secs
lola: 99602684 markings, 404959767 edges, 152997 markings/sec, 475 secs
lola: 100405979 markings, 408679189 edges, 160659 markings/sec, 480 secs
lola: 101272528 markings, 412602215 edges, 173310 markings/sec, 485 secs
lola: 102023319 markings, 416200825 edges, 150158 markings/sec, 490 secs
lola: 102784427 markings, 419838549 edges, 152222 markings/sec, 495 secs
lola: 103685009 markings, 423842501 edges, 180116 markings/sec, 500 secs
lola: 104441243 markings, 427459245 edges, 151247 markings/sec, 505 secs
lola: 105199478 markings, 431086209 edges, 151647 markings/sec, 510 secs
lola: 106009971 markings, 434857734 edges, 162099 markings/sec, 515 secs
lola: 106858584 markings, 438741847 edges, 169723 markings/sec, 520 secs
lola: 107618786 markings, 442384578 edges, 152040 markings/sec, 525 secs
lola: 108386104 markings, 446049656 edges, 153464 markings/sec, 530 secs
lola: 109269352 markings, 450022133 edges, 176650 markings/sec, 535 secs
lola: 110034909 markings, 453696040 edges, 153111 markings/sec, 540 secs
lola: 110794678 markings, 457327444 edges, 151954 markings/sec, 545 secs
lola: 111630704 markings, 461180750 edges, 167205 markings/sec, 550 secs
lola: 112443487 markings, 464997398 edges, 162557 markings/sec, 555 secs
lola: 113205072 markings, 468645339 edges, 152317 markings/sec, 560 secs
lola: 113982086 markings, 472367715 edges, 155403 markings/sec, 565 secs
lola: 114612125 markings, 475175283 edges, 126008 markings/sec, 570 secs
lola: 114869086 markings, 476401119 edges, 51392 markings/sec, 575 secs
lola: 115229255 markings, 478127493 edges, 72034 markings/sec, 580 secs
lola: 115598613 markings, 479898420 edges, 73872 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no no no unknown yes unknown unknown unknown yes no no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 593 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((G (((p2 <= 0))) OR ((1 <= p0) AND (1 <= p13))) U (1 <= p12))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((G (((p2 <= 0))) OR ((1 <= p0) AND (1 <= p13))) U (1 <= p12))
lola: processed formula length: 62
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 893 markings, 893 edges
lola: ========================================
lola: subprocess 13 will run for 790 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G (F ((1 <= p12))) OR G (((((1 <= p0) AND (1 <= p13)) OR (1 <= p12) OR ((1 <= p5) AND (1 <= p15))) OR (G ((1 <= p12)) AND F ((((1 <= p0) AND (1 <= p13)) OR (1 <= p12) OR ((1 <= p5) AND (1 <= p15)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G (F ((1 <= p12))) OR G (((((1 <= p0) AND (1 <= p13)) OR (1 <= p12) OR ((1 <= p5) AND (1 <= p15))) OR (G ((1 <= p12)) AND F ((((1 <= p0) AND (1 <= p13)) OR (1 <= p12) OR ((1 <= p5) AND (1 <= p15)))))))))
lola: processed formula length: 211
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 1146280 markings, 6291839 edges, 229256 markings/sec, 0 secs
lola: 2329278 markings, 12753357 edges, 236600 markings/sec, 5 secs
lola: 3474223 markings, 18806321 edges, 228989 markings/sec, 10 secs
lola: 4700054 markings, 25153106 edges, 245166 markings/sec, 15 secs
lola: 5874644 markings, 31216712 edges, 234918 markings/sec, 20 secs
lola: 7101074 markings, 37562697 edges, 245286 markings/sec, 25 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 7436326 markings, 39388275 edges
lola: ========================================
lola: subprocess 14 will run for 1170 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p8) AND (1 <= p15)) OR (F (((1 <= p8) AND (1 <= p15))) AND F (G (((p8 <= 0) OR (p15 <= 0)))))) AND F (G ((((p2 <= 0)) AND (p24 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1170 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p8) AND (1 <= p15))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p8) AND (1 <= p15))
lola: processed formula length: 26
lola: 89 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p8) AND (1 <= p15)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p8 <= 0) OR (p15 <= 0))
lola: processed formula length: 26
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p8 <= 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 (((p8 <= 0) OR (p15 <= 0))))
lola: processed formula length: 34
lola: 89 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: 1280 markings, 1517 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((p12 <= 0)) AND ((F ((1 <= p20)) OR G (F ((p12 <= 0)))) AND (F (G ((1 <= p20))) OR G ((F ((p12 <= 0)) AND (F ((1 <= p20)) OR G (F ((p12 <= 0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2341 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((1 <= p20)))
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 ((1 <= p20)))
lola: processed formula length: 18
lola: 89 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: 713 markings, 714 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((p12 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (1 <= p12)
lola: processed formula length: 10
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((p12 <= 0)))
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 ((p12 <= 0)))
lola: processed formula length: 18
lola: 89 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: 985 markings, 985 edges
lola: ========================================
lola: subprocess 19 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((p12 <= 0)) AND (F ((1 <= p20)) OR G (F ((p12 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((p12 <= 0)) AND (F ((1 <= p20)) OR G (F ((p12 <= 0))))))
lola: processed formula length: 63
lola: 89 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: local time limit reached - aborting
lola:
preliminary result: unknown yes no no no no no no yes unknown no unknown yes no no no
lola: memory consumption: 65988 KB
lola: time consumption: 1230 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: G (F ((1 <= p9)))
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 <= p9)))
lola: processed formula length: 17
lola: 89 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: 2300542 markings, 6267033 edges, 460108 markings/sec, 0 secs
lola: 4281609 markings, 12314576 edges, 396213 markings/sec, 5 secs
lola: 6039263 markings, 18142564 edges, 351531 markings/sec, 10 secs
lola: 7820701 markings, 24034576 edges, 356288 markings/sec, 15 secs
lola: 9599431 markings, 29882031 edges, 355746 markings/sec, 20 secs
lola: 11301932 markings, 35529721 edges, 340500 markings/sec, 25 secs
lola: 12862667 markings, 41139080 edges, 312147 markings/sec, 30 secs
lola: 14272140 markings, 46558548 edges, 281895 markings/sec, 35 secs
lola: 16118482 markings, 52616551 edges, 369268 markings/sec, 40 secs
lola: 17843226 markings, 58235653 edges, 344949 markings/sec, 45 secs
lola: 19496389 markings, 63639666 edges, 330633 markings/sec, 50 secs
lola: 21144660 markings, 69452572 edges, 329654 markings/sec, 55 secs
lola: 22581170 markings, 74821684 edges, 287302 markings/sec, 60 secs
lola: 24083741 markings, 80469198 edges, 300514 markings/sec, 65 secs
lola: 25525649 markings, 85894019 edges, 288382 markings/sec, 70 secs
lola: 27201185 markings, 91788931 edges, 335107 markings/sec, 75 secs
lola: 28601889 markings, 96878337 edges, 280141 markings/sec, 80 secs
lola: 29973964 markings, 101883445 edges, 274415 markings/sec, 85 secs
lola: 31367169 markings, 106972681 edges, 278641 markings/sec, 90 secs
lola: 32824425 markings, 112305440 edges, 291451 markings/sec, 95 secs
lola: 34212628 markings, 117389004 edges, 277641 markings/sec, 100 secs
lola: 35924586 markings, 123114374 edges, 342392 markings/sec, 105 secs
lola: 37498246 markings, 128364280 edges, 314732 markings/sec, 110 secs
lola: 38925140 markings, 133750518 edges, 285379 markings/sec, 115 secs
lola: 40325458 markings, 139069693 edges, 280064 markings/sec, 120 secs
lola: 41809190 markings, 144578550 edges, 296746 markings/sec, 125 secs
lola: 43183324 markings, 149724327 edges, 274827 markings/sec, 130 secs
lola: 44658300 markings, 155267158 edges, 294995 markings/sec, 135 secs
lola: 46037510 markings, 160427380 edges, 275842 markings/sec, 140 secs
lola: 47315156 markings, 165672671 edges, 255529 markings/sec, 145 secs
lola: 48479629 markings, 170493512 edges, 232895 markings/sec, 150 secs
lola: 49716645 markings, 175620720 edges, 247403 markings/sec, 155 secs
lola: 50887109 markings, 180483559 edges, 234093 markings/sec, 160 secs
lola: 52062801 markings, 185366769 edges, 235138 markings/sec, 165 secs
lola: 53215188 markings, 190160955 edges, 230477 markings/sec, 170 secs
lola: 54480786 markings, 195335945 edges, 253120 markings/sec, 175 secs
lola: 56192469 markings, 201225121 edges, 342337 markings/sec, 180 secs
lola: 57842423 markings, 206994588 edges, 329991 markings/sec, 185 secs
lola: 59478740 markings, 212741636 edges, 327263 markings/sec, 190 secs
lola: 61011702 markings, 218135034 edges, 306592 markings/sec, 195 secs
lola: 62628802 markings, 223836530 edges, 323420 markings/sec, 200 secs
lola: 64083864 markings, 228978652 edges, 291012 markings/sec, 205 secs
lola: 65637362 markings, 234461497 edges, 310700 markings/sec, 210 secs
lola: 67134399 markings, 239763291 edges, 299407 markings/sec, 215 secs
lola: 68724111 markings, 245396583 edges, 317942 markings/sec, 220 secs
lola: 70195900 markings, 251105949 edges, 294358 markings/sec, 225 secs
lola: 71575075 markings, 256590758 edges, 275835 markings/sec, 230 secs
lola: 72942180 markings, 262053868 edges, 273421 markings/sec, 235 secs
lola: 74287467 markings, 267455613 edges, 269057 markings/sec, 240 secs
lola: 75534071 markings, 272460875 edges, 249321 markings/sec, 245 secs
lola: 76868366 markings, 277820841 edges, 266859 markings/sec, 250 secs
lola: 78113008 markings, 282819243 edges, 248928 markings/sec, 255 secs
lola: 79428082 markings, 288118581 edges, 263015 markings/sec, 260 secs
lola: 80726500 markings, 293352827 edges, 259684 markings/sec, 265 secs
lola: 81972539 markings, 298374281 edges, 249208 markings/sec, 270 secs
lola: 83344537 markings, 303763039 edges, 274400 markings/sec, 275 secs
lola: 84811886 markings, 309102762 edges, 293470 markings/sec, 280 secs
lola: 86258234 markings, 314643943 edges, 289270 markings/sec, 285 secs
lola: 87637513 markings, 319986924 edges, 275856 markings/sec, 290 secs
lola: 88967959 markings, 325150504 edges, 266089 markings/sec, 295 secs
lola: 90278543 markings, 330249496 edges, 262117 markings/sec, 300 secs
lola: 91529642 markings, 335113698 edges, 250220 markings/sec, 305 secs
lola: 92812329 markings, 340118159 edges, 256537 markings/sec, 310 secs
lola: 94073321 markings, 345037730 edges, 252198 markings/sec, 315 secs
lola: 95324606 markings, 349918383 edges, 250257 markings/sec, 320 secs
lola: 96593786 markings, 354869347 edges, 253836 markings/sec, 325 secs
lola: 97819057 markings, 359668276 edges, 245054 markings/sec, 330 secs
lola: 99072231 markings, 364553914 edges, 250635 markings/sec, 335 secs
lola: 100320327 markings, 369442950 edges, 249619 markings/sec, 340 secs
lola: 101499026 markings, 374039031 edges, 235740 markings/sec, 345 secs
lola: 102772520 markings, 379022765 edges, 254699 markings/sec, 350 secs
lola: 103977367 markings, 383740766 edges, 240969 markings/sec, 355 secs
lola: 105224486 markings, 388628346 edges, 249424 markings/sec, 360 secs
lola: 106466422 markings, 393506632 edges, 248387 markings/sec, 365 secs
lola: 107763893 markings, 398585803 edges, 259494 markings/sec, 370 secs
lola: 109223663 markings, 403681387 edges, 291954 markings/sec, 375 secs
lola: 110877426 markings, 409177338 edges, 330753 markings/sec, 380 secs
lola: 112273552 markings, 414273968 edges, 279225 markings/sec, 385 secs
lola: 113619240 markings, 419448662 edges, 269138 markings/sec, 390 secs
lola: 115127344 markings, 425026506 edges, 301621 markings/sec, 395 secs
lola: 116378323 markings, 429716455 edges, 250196 markings/sec, 400 secs
lola: 116939269 markings, 431810916 edges, 112189 markings/sec, 405 secs
lola: 117532222 markings, 434037444 edges, 118591 markings/sec, 410 secs
lola: 118362599 markings, 437158969 edges, 166075 markings/sec, 415 secs
lola: 119142949 markings, 440097702 edges, 156070 markings/sec, 420 secs
lola: 119761506 markings, 442388353 edges, 123711 markings/sec, 425 secs
lola: 120213063 markings, 444228537 edges, 90311 markings/sec, 430 secs
lola: 120640762 markings, 445989063 edges, 85540 markings/sec, 435 secs
lola: 121228333 markings, 448414745 edges, 117514 markings/sec, 440 secs
lola: 121648238 markings, 450150189 edges, 83981 markings/sec, 445 secs
lola: 122171101 markings, 452315324 edges, 104573 markings/sec, 450 secs
lola: 122700046 markings, 454505072 edges, 105789 markings/sec, 455 secs
lola: 123151995 markings, 456379502 edges, 90390 markings/sec, 460 secs
lola: 123650964 markings, 458450218 edges, 99794 markings/sec, 465 secs
lola: 124148902 markings, 460516743 edges, 99588 markings/sec, 470 secs
lola: 124644667 markings, 462581762 edges, 99153 markings/sec, 475 secs
lola: 125134776 markings, 464614521 edges, 98022 markings/sec, 480 secs
lola: 125570535 markings, 466428872 edges, 87152 markings/sec, 485 secs
lola: 125976981 markings, 468112674 edges, 81289 markings/sec, 490 secs
lola: 126458028 markings, 470114500 edges, 96209 markings/sec, 495 secs
lola: 126928264 markings, 472072694 edges, 94047 markings/sec, 500 secs
lola: 127275385 markings, 473516918 edges, 69424 markings/sec, 505 secs
lola: 127717897 markings, 475365410 edges, 88502 markings/sec, 510 secs
lola: 128106798 markings, 476977996 edges, 77780 markings/sec, 515 secs
lola: 128692239 markings, 479225332 edges, 117088 markings/sec, 520 secs
lola: 129424269 markings, 482104215 edges, 146406 markings/sec, 525 secs
lola: 129908507 markings, 484023720 edges, 96848 markings/sec, 530 secs
lola: 130523362 markings, 486470129 edges, 122971 markings/sec, 535 secs
lola: 131112350 markings, 488825588 edges, 117798 markings/sec, 540 secs
lola: 131712400 markings, 491213553 edges, 120010 markings/sec, 545 secs
lola: 132253369 markings, 493386881 edges, 108194 markings/sec, 550 secs
lola: 132797008 markings, 495557964 edges, 108728 markings/sec, 555 secs
lola: 133253308 markings, 497391864 edges, 91260 markings/sec, 560 secs
lola: 133760712 markings, 499417482 edges, 101481 markings/sec, 565 secs
lola: 134246253 markings, 501367679 edges, 97108 markings/sec, 570 secs
lola: 134683761 markings, 503124802 edges, 87502 markings/sec, 575 secs
lola: 135196217 markings, 505186046 edges, 102491 markings/sec, 580 secs
lola: 135715913 markings, 507277100 edges, 103939 markings/sec, 585 secs
lola: 136121120 markings, 508903085 edges, 81041 markings/sec, 590 secs
lola: 136560616 markings, 510668615 edges, 87899 markings/sec, 595 secs
lola: 137028881 markings, 512551319 edges, 93653 markings/sec, 600 secs
lola: 137641747 markings, 515020181 edges, 122573 markings/sec, 605 secs
lola: 138093928 markings, 516837950 edges, 90436 markings/sec, 610 secs
lola: 138560147 markings, 518718798 edges, 93244 markings/sec, 615 secs
lola: 138985124 markings, 520437303 edges, 84995 markings/sec, 620 secs
lola: 139373562 markings, 521994700 edges, 77688 markings/sec, 625 secs
lola: 139804159 markings, 523728853 edges, 86119 markings/sec, 630 secs
lola: 140123332 markings, 525020499 edges, 63835 markings/sec, 635 secs
lola: 140574882 markings, 526835048 edges, 90310 markings/sec, 640 secs
lola: 140876152 markings, 528059183 edges, 60254 markings/sec, 645 secs
lola: 141279822 markings, 529678347 edges, 80734 markings/sec, 650 secs
lola: 141526285 markings, 530680095 edges, 49293 markings/sec, 655 secs
lola: 142041067 markings, 532750519 edges, 102956 markings/sec, 660 secs
lola: 142589879 markings, 534946139 edges, 109762 markings/sec, 665 secs
lola: 143065045 markings, 536780504 edges, 95033 markings/sec, 670 secs
lola: 143287183 markings, 537632801 edges, 44428 markings/sec, 675 secs
lola: 143288519 markings, 537639110 edges, 267 markings/sec, 680 secs
lola: 143582008 markings, 538888088 edges, 58698 markings/sec, 685 secs
lola: 144187510 markings, 541509186 edges, 121100 markings/sec, 690 secs
lola: 144684768 markings, 543665457 edges, 99452 markings/sec, 695 secs
lola: 144907260 markings, 544633946 edges, 44498 markings/sec, 700 secs
lola: 145088445 markings, 545424297 edges, 36237 markings/sec, 705 secs
lola: 145150792 markings, 545697789 edges, 12469 markings/sec, 710 secs
lola: 145193324 markings, 545885449 edges, 8506 markings/sec, 715 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((1 <= p18)))
lola: processed formula length: 18
lola: 89 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: 1649340 markings, 5338844 edges, 329868 markings/sec, 0 secs
lola: 3073823 markings, 10484709 edges, 284897 markings/sec, 5 secs
lola: 4371980 markings, 15531346 edges, 259631 markings/sec, 10 secs
lola: 5849870 markings, 20640199 edges, 295578 markings/sec, 15 secs
lola: 7171996 markings, 25528526 edges, 264425 markings/sec, 20 secs
lola: 8516213 markings, 30496909 edges, 268843 markings/sec, 25 secs
lola: 10030279 markings, 35920329 edges, 302813 markings/sec, 30 secs
lola: 11398314 markings, 41026224 edges, 273607 markings/sec, 35 secs
lola: 12637834 markings, 45678584 edges, 247904 markings/sec, 40 secs
lola: 14114353 markings, 51132423 edges, 295304 markings/sec, 45 secs
lola: 15593275 markings, 55901875 edges, 295784 markings/sec, 50 secs
lola: 16788950 markings, 61046186 edges, 239135 markings/sec, 55 secs
lola: 18066945 markings, 66029810 edges, 255599 markings/sec, 60 secs
lola: 19411742 markings, 71323525 edges, 268959 markings/sec, 65 secs
lola: 20404573 markings, 75471154 edges, 198566 markings/sec, 70 secs
lola: 21447024 markings, 79921822 edges, 208490 markings/sec, 75 secs
lola: 22477395 markings, 84360099 edges, 206074 markings/sec, 80 secs
lola: 23475541 markings, 88707357 edges, 199629 markings/sec, 85 secs
lola: 24514772 markings, 93170318 edges, 207846 markings/sec, 90 secs
lola: 25519474 markings, 97573468 edges, 200940 markings/sec, 95 secs
lola: 26534081 markings, 102004758 edges, 202921 markings/sec, 100 secs
lola: 27561496 markings, 106492194 edges, 205483 markings/sec, 105 secs
lola: 28584823 markings, 110964101 edges, 204665 markings/sec, 110 secs
lola: 29598536 markings, 115444977 edges, 202743 markings/sec, 115 secs
lola: 30637554 markings, 120018227 edges, 207804 markings/sec, 120 secs
lola: 31696729 markings, 124679726 edges, 211835 markings/sec, 125 secs
lola: 32811304 markings, 129605676 edges, 222915 markings/sec, 130 secs
lola: 34064566 markings, 134777988 edges, 250652 markings/sec, 135 secs
lola: 35157167 markings, 139146191 edges, 218520 markings/sec, 140 secs
lola: 36239638 markings, 143502380 edges, 216494 markings/sec, 145 secs
lola: 37316565 markings, 147843840 edges, 215385 markings/sec, 150 secs
lola: 38427012 markings, 152279807 edges, 222089 markings/sec, 155 secs
lola: 39593053 markings, 156661225 edges, 233208 markings/sec, 160 secs
lola: 40486508 markings, 160157885 edges, 178691 markings/sec, 165 secs
lola: 41401030 markings, 163721498 edges, 182904 markings/sec, 170 secs
lola: 42456811 markings, 167565159 edges, 211156 markings/sec, 175 secs
lola: 43746882 markings, 172073458 edges, 258014 markings/sec, 180 secs
lola: 44818492 markings, 176040919 edges, 214322 markings/sec, 185 secs
lola: 45873567 markings, 180039421 edges, 211015 markings/sec, 190 secs
lola: 46918250 markings, 184018644 edges, 208937 markings/sec, 195 secs
lola: 47927098 markings, 187918412 edges, 201770 markings/sec, 200 secs
lola: 48916993 markings, 191763370 edges, 197979 markings/sec, 205 secs
lola: 50030993 markings, 196049819 edges, 222800 markings/sec, 210 secs
lola: 51145316 markings, 200356212 edges, 222865 markings/sec, 215 secs
lola: 52261875 markings, 204682179 edges, 223312 markings/sec, 220 secs
lola: 53395656 markings, 209076574 edges, 226756 markings/sec, 225 secs
lola: 54569898 markings, 213602789 edges, 234848 markings/sec, 230 secs
lola: 55843650 markings, 218401732 edges, 254750 markings/sec, 235 secs
lola: 57197212 markings, 223693999 edges, 270712 markings/sec, 240 secs
lola: 58390601 markings, 228223809 edges, 238678 markings/sec, 245 secs
lola: 59442918 markings, 232031047 edges, 210463 markings/sec, 250 secs
lola: 60448890 markings, 235825379 edges, 201194 markings/sec, 255 secs
lola: 61340138 markings, 239922927 edges, 178250 markings/sec, 260 secs
lola: 62245403 markings, 243357333 edges, 181053 markings/sec, 265 secs
lola: 63322411 markings, 247388945 edges, 215402 markings/sec, 270 secs
lola: 64629711 markings, 252362370 edges, 261460 markings/sec, 275 secs
lola: 65828462 markings, 256907852 edges, 239750 markings/sec, 280 secs
lola: 67081959 markings, 261029025 edges, 250699 markings/sec, 285 secs
lola: 68220759 markings, 265135186 edges, 227760 markings/sec, 290 secs
lola: 69074815 markings, 268671341 edges, 170811 markings/sec, 295 secs
lola: 70138344 markings, 273301648 edges, 212706 markings/sec, 300 secs
lola: 71295457 markings, 278140856 edges, 231423 markings/sec, 305 secs
lola: 72342360 markings, 282665954 edges, 209381 markings/sec, 310 secs
lola: 73337836 markings, 286977883 edges, 199095 markings/sec, 315 secs
lola: 74307789 markings, 291277337 edges, 193991 markings/sec, 320 secs
lola: 75301005 markings, 295634075 edges, 198643 markings/sec, 325 secs
lola: 76247515 markings, 299864427 edges, 189302 markings/sec, 330 secs
lola: 77231763 markings, 304227481 edges, 196850 markings/sec, 335 secs
lola: 78183082 markings, 308504247 edges, 190264 markings/sec, 340 secs
lola: 79156318 markings, 312845664 edges, 194647 markings/sec, 345 secs
lola: 80121428 markings, 317176059 edges, 193022 markings/sec, 350 secs
lola: 81093905 markings, 321557666 edges, 194495 markings/sec, 355 secs
lola: 82032628 markings, 325784273 edges, 187745 markings/sec, 360 secs
lola: 83084210 markings, 330528264 edges, 210316 markings/sec, 365 secs
lola: 84336222 markings, 335693475 edges, 250402 markings/sec, 370 secs
lola: 85500953 markings, 340515331 edges, 232946 markings/sec, 375 secs
lola: 86491571 markings, 344785761 edges, 198124 markings/sec, 380 secs
lola: 87413332 markings, 348942430 edges, 184352 markings/sec, 385 secs
lola: 88326781 markings, 352973734 edges, 182690 markings/sec, 390 secs
lola: 89215137 markings, 357027083 edges, 177671 markings/sec, 395 secs
lola: 90037447 markings, 360818866 edges, 164462 markings/sec, 400 secs
lola: 90983116 markings, 364980085 edges, 189134 markings/sec, 405 secs
lola: 91745881 markings, 368629772 edges, 152553 markings/sec, 410 secs
lola: 92614015 markings, 372527504 edges, 173627 markings/sec, 415 secs
lola: 93486920 markings, 376509550 edges, 174581 markings/sec, 420 secs
lola: 94245656 markings, 380137692 edges, 151747 markings/sec, 425 secs
lola: 95093335 markings, 383978970 edges, 169536 markings/sec, 430 secs
lola: 95959405 markings, 387922174 edges, 173214 markings/sec, 435 secs
lola: 96675714 markings, 391351217 edges, 143262 markings/sec, 440 secs
lola: 97414171 markings, 394849444 edges, 147691 markings/sec, 445 secs
lola: 98304813 markings, 398749944 edges, 178128 markings/sec, 450 secs
lola: 99016898 markings, 402158988 edges, 142417 markings/sec, 455 secs
lola: 99733838 markings, 405591865 edges, 143388 markings/sec, 460 secs
lola: 100538621 markings, 409237245 edges, 160957 markings/sec, 465 secs
lola: 101346631 markings, 412958764 edges, 161602 markings/sec, 470 secs
lola: 102058304 markings, 416370816 edges, 142335 markings/sec, 475 secs
lola: 102780185 markings, 419818542 edges, 144376 markings/sec, 480 secs
lola: 103650110 markings, 423685167 edges, 173985 markings/sec, 485 secs
lola: 104376356 markings, 427144809 edges, 145249 markings/sec, 490 secs
lola: 105095107 markings, 430582561 edges, 143750 markings/sec, 495 secs
lola: 105830663 markings, 434086081 edges, 147111 markings/sec, 500 secs
lola: 106692540 markings, 437947500 edges, 172375 markings/sec, 505 secs
lola: 107409862 markings, 441382540 edges, 143464 markings/sec, 510 secs
lola: 108123429 markings, 444801436 edges, 142713 markings/sec, 515 secs
lola: 108927689 markings, 448477673 edges, 160852 markings/sec, 520 secs
lola: 109713573 markings, 452149965 edges, 157177 markings/sec, 525 secs
lola: 110432230 markings, 455595303 edges, 143731 markings/sec, 530 secs
lola: 111167338 markings, 459110070 edges, 147022 markings/sec, 535 secs
lola: 112014371 markings, 462938850 edges, 169407 markings/sec, 540 secs
lola: 112744167 markings, 466432236 edges, 145959 markings/sec, 545 secs
lola: 113470525 markings, 469909874 edges, 145272 markings/sec, 550 secs
lola: 114169947 markings, 473174545 edges, 139884 markings/sec, 555 secs
lola: 114501960 markings, 474641189 edges, 66403 markings/sec, 560 secs
lola: 114899389 markings, 476547782 edges, 79486 markings/sec, 565 secs
lola: 115229335 markings, 478127863 edges, 65989 markings/sec, 570 secs
lola: 115535158 markings, 479592097 edges, 61165 markings/sec, 575 secs
lola: 115988820 markings, 481770946 edges, 90732 markings/sec, 580 secs
lola: 116460274 markings, 484027193 edges, 94291 markings/sec, 585 secs
lola: 117193651 markings, 487354329 edges, 146675 markings/sec, 590 secs
lola: 117575138 markings, 489188710 edges, 76297 markings/sec, 595 secs
lola: 118032065 markings, 491377876 edges, 91385 markings/sec, 600 secs
lola: 118486007 markings, 493552768 edges, 90788 markings/sec, 605 secs
lola: 119168427 markings, 496716602 edges, 136484 markings/sec, 610 secs
lola: 119637259 markings, 498899643 edges, 93766 markings/sec, 615 secs
lola: 120087500 markings, 501060084 edges, 90048 markings/sec, 620 secs
lola: 120488110 markings, 502980645 edges, 80122 markings/sec, 625 secs
lola: 121118712 markings, 506010284 edges, 126120 markings/sec, 630 secs
lola: 121715885 markings, 508725211 edges, 119435 markings/sec, 635 secs
lola: 122163759 markings, 510871599 edges, 89575 markings/sec, 640 secs
lola: 122600027 markings, 512962093 edges, 87254 markings/sec, 645 secs
lola: 123323373 markings, 516431675 edges, 144669 markings/sec, 650 secs
lola: 123885807 markings, 519003118 edges, 112487 markings/sec, 655 secs
lola: 124591490 markings, 522387166 edges, 141137 markings/sec, 660 secs
lola: 125184190 markings, 525237371 edges, 118540 markings/sec, 665 secs
lola: 125791891 markings, 528034838 edges, 121540 markings/sec, 670 secs
lola: 126532909 markings, 531592515 edges, 148204 markings/sec, 675 secs
lola: 127219024 markings, 534889990 edges, 137223 markings/sec, 680 secs
lola: 128016264 markings, 538615721 edges, 159448 markings/sec, 685 secs
lola: 128721525 markings, 542006545 edges, 141052 markings/sec, 690 secs
lola: 129278809 markings, 544597421 edges, 111457 markings/sec, 695 secs
lola: 130089790 markings, 548493787 edges, 162196 markings/sec, 700 secs
lola: 130815965 markings, 551909498 edges, 145235 markings/sec, 705 secs
lola: 131442480 markings, 554926461 edges, 125303 markings/sec, 710 secs
lola: 132155344 markings, 558289189 edges, 142573 markings/sec, 715 secs
lola: 132711490 markings, 560966221 edges, 111229 markings/sec, 720 secs
lola: 133348405 markings, 563977651 edges, 127383 markings/sec, 725 secs
lola: 133941440 markings, 566834263 edges, 118607 markings/sec, 730 secs
lola: 134494189 markings, 569453369 edges, 110550 markings/sec, 735 secs
lola: 135076314 markings, 572223540 edges, 116425 markings/sec, 740 secs
lola: 135703835 markings, 575220576 edges, 125504 markings/sec, 745 secs
lola: 136346927 markings, 578302372 edges, 128618 markings/sec, 750 secs
lola: 137006019 markings, 581470084 edges, 131818 markings/sec, 755 secs
lola: 137521440 markings, 583953436 edges, 103084 markings/sec, 760 secs
lola: 138301192 markings, 587721174 edges, 155950 markings/sec, 765 secs
lola: 138698783 markings, 589023813 edges, 79518 markings/sec, 770 secs
lola: 139113166 markings, 590435349 edges, 82877 markings/sec, 775 secs
lola: 139381096 markings, 591354579 edges, 53586 markings/sec, 780 secs
lola: 139782621 markings, 592781543 edges, 80305 markings/sec, 785 secs
lola: 140009254 markings, 593608228 edges, 45327 markings/sec, 790 secs
lola: 140248927 markings, 594436192 edges, 47935 markings/sec, 795 secs
lola: 140609638 markings, 595759975 edges, 72142 markings/sec, 800 secs
lola: 140875808 markings, 596740718 edges, 53234 markings/sec, 805 secs
lola: 141149075 markings, 597686585 edges, 54653 markings/sec, 810 secs
lola: 141467978 markings, 598866419 edges, 63781 markings/sec, 815 secs
lola: 141671394 markings, 599639246 edges, 40683 markings/sec, 820 secs
lola: 141680844 markings, 599675138 edges, 1890 markings/sec, 825 secs
lola: 141712607 markings, 599796705 edges, 6353 markings/sec, 830 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (F ((p12 <= 0)) AND ((F ((1 <= p20)) OR G (F ((p12 <= 0)))) AND (F (G ((1 <= p20))) OR G ((F ((p12 <= 0)) AND (F ((1 <= p20)) OR G (F ((p12 <= 0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: F (G ((1 <= p20)))
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 ((1 <= p20)))
lola: processed formula length: 18
lola: 89 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: 713 markings, 714 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F ((1 <= p20))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (p20 <= 0)
lola: processed formula length: 10
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 1070225 markings, 1243449 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F ((p12 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: (1 <= p12)
lola: processed formula length: 10
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F ((p12 <= 0)))
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 ((p12 <= 0)))
lola: processed formula length: 18
lola: 89 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: 985 markings, 985 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: RESULT
lola:
SUMMARY: unknown yes no no no no no no yes no no unknown yes no no no
lola:
preliminary result: unknown yes no no no no no no yes no no unknown yes no no no
lola: memory consumption: 3600 KB
lola: time consumption: 2799 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ClientsAndServers-PT-N0020P2"
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-N0020P2, 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-158987806400186"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0020P2.tgz
mv ClientsAndServers-PT-N0020P2 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 ;