About the Execution of ITS-LoLa for ClientsAndServers-PT-N2000P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15791.410 | 3600000.00 | 2659810.00 | 63073.40 | ?FFFTTFFTFF?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-158987806500250.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-N2000P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806500250
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 28 15:23 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.0K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 07:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 07:41 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-N2000P0-00
FORMULA_NAME ClientsAndServers-PT-N2000P0-01
FORMULA_NAME ClientsAndServers-PT-N2000P0-02
FORMULA_NAME ClientsAndServers-PT-N2000P0-03
FORMULA_NAME ClientsAndServers-PT-N2000P0-04
FORMULA_NAME ClientsAndServers-PT-N2000P0-05
FORMULA_NAME ClientsAndServers-PT-N2000P0-06
FORMULA_NAME ClientsAndServers-PT-N2000P0-07
FORMULA_NAME ClientsAndServers-PT-N2000P0-08
FORMULA_NAME ClientsAndServers-PT-N2000P0-09
FORMULA_NAME ClientsAndServers-PT-N2000P0-10
FORMULA_NAME ClientsAndServers-PT-N2000P0-11
FORMULA_NAME ClientsAndServers-PT-N2000P0-12
FORMULA_NAME ClientsAndServers-PT-N2000P0-13
FORMULA_NAME ClientsAndServers-PT-N2000P0-14
FORMULA_NAME ClientsAndServers-PT-N2000P0-15
=== Now, execution of the tool begins
BK_START 1591252523337
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 06:35:26] [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-04 06:35:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 06:35:26] [INFO ] Load time of PNML (sax parser for PT used): 32 ms
[2020-06-04 06:35:26] [INFO ] Transformed 25 places.
[2020-06-04 06:35:26] [INFO ] Transformed 18 transitions.
[2020-06-04 06:35:26] [INFO ] Parsed PT model containing 25 places and 18 transitions in 84 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100025 steps, including 0 resets, run finished after 93 ms. (steps per millisecond=1075 ) properties seen :[1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1]
// Phase 1: matrix 18 rows 25 cols
[2020-06-04 06:35:26] [INFO ] Computed 8 place invariants in 5 ms
[2020-06-04 06:35:26] [INFO ] [Real]Absence check using 5 positive place invariants in 19 ms returned sat
[2020-06-04 06:35:26] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 06:35:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:35:26] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-04 06:35:26] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 5 ms.
[2020-06-04 06:35:27] [INFO ] Added : 16 causal constraints over 4 iterations in 53 ms. Result :sat
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using 5 positive place invariants in 4 ms returned sat
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 06:35:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using state equation in 26 ms returned sat
[2020-06-04 06:35:27] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 4 ms.
[2020-06-04 06:35:27] [INFO ] Added : 12 causal constraints over 3 iterations in 35 ms. Result :sat
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using 5 positive place invariants in 7 ms returned sat
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 1 ms returned sat
[2020-06-04 06:35:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 06:35:27] [INFO ] [Real]Absence check using state equation in 19 ms returned sat
[2020-06-04 06:35:27] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 3 ms.
[2020-06-04 06:35:27] [INFO ] Added : 16 causal constraints over 4 iterations in 24 ms. Result :sat
[2020-06-04 06:35:27] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-04 06:35:27] [INFO ] Flatten gal took : 39 ms
FORMULA ClientsAndServers-PT-N2000P0-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N2000P0-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N2000P0-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N2000P0-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 06:35:27] [INFO ] Flatten gal took : 9 ms
[2020-06-04 06:35:27] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2020-06-04 06:35:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 8 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N2000P0 @ 3570 seconds
FORMULA ClientsAndServers-PT-N2000P0-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N2000P0-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 854
rslt: Output for LTLFireability @ ClientsAndServers-PT-N2000P0
{
"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": "Thu Jun 4 06:35:29 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 3,
"G": 2,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "F ((((1 <= p10) U G ((1 <= p9))) AND (X (F ((p9 <= 0))) OR F (G ((1 <= p10))))))",
"processed_size": 80,
"rewrites": 59
},
"result":
{
"edges": 100002,
"markings": 100002,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 11
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 326
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 326
},
"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 <= p6)",
"processed_size": 9,
"rewrites": 59
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 363
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"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": "G ((p6 <= 0))",
"processed_size": 13,
"rewrites": 59
},
"result":
{
"edges": 251992,
"markings": 239996,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 363
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X ((X ((X (G ((1 <= p6))) OR (1 <= p6))) OR F ((p9 <= 0))))",
"processed_size": 59,
"rewrites": 59
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"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": 408
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"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 <= p24) R X ((p16 <= 0)))",
"processed_size": 29,
"rewrites": 59
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 467
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 3,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "F ((G ((X ((((1 <= p8) AND (1 <= p15)) U (1 <= p24))) OR (F ((1 <= p12)) AND ((1 <= p8) AND (1 <= p15))))) AND X ((1 <= p12))))",
"processed_size": 127,
"rewrites": 59
},
"result":
{
"edges": 124000,
"markings": 124000,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 9
},
"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": 544
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 2,
"aconj": 2,
"adisj": 1,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((1 <= p6) U (X ((X ((((p0 <= 0) OR (p13 <= 0)) AND ((p3 <= 0)))) AND (p6 <= 0))) OR (1 <= p6)))",
"processed_size": 97,
"rewrites": 59
},
"result":
{
"edges": 14,
"markings": 15,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 11
},
"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": 681
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G ((p24 <= 0)))",
"processed_size": 18,
"rewrites": 59
},
"result":
{
"edges": 272000,
"markings": 271998,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"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": 908
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"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": "F (G (((1 <= p7) AND (1 <= p23))))",
"processed_size": 34,
"rewrites": 59
},
"result":
{
"edges": 16025,
"markings": 16024,
"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"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1362
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "F ((F ((1 <= p6)) AND ((p10 <= 0) OR (p16 <= 0))))",
"processed_size": 51,
"rewrites": 59
},
"result":
{
"edges": 100001,
"markings": 100001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2724
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 1,
"aneg": 4,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "G (F ((F (G (((p5 <= 0) OR (p15 <= 0)))) OR ((((p4 <= 0) OR (p21 <= 0)) AND (p22 <= 0)) OR ((p4 <= 0) OR (p21 <= 0))))))",
"processed_size": 122,
"rewrites": 59
},
"result":
{
"edges": 216153,
"markings": 192117,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (((p11 <= 0) OR (p17 <= 0)))",
"processed_size": 31,
"rewrites": 59
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3144,
"runtime": 2716.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(G(F(**)) AND X(*)) : F(((** U G(**)) AND (X(F(**)) OR F(G(**))))) : (G(**) AND (X(*) OR **)) : X((X((X(G(**)) OR *)) OR F(*))) : (* R X(*)) : F((F(*) AND *)) : F(G(*)) : F((G((X((** U **)) OR (F(**) AND (** AND **)))) AND X(**))) : X(F((G(F(**)) OR (G(F(**)) AND F(G((X(**) AND **))))))) : (** U (X((X(*) AND *)) OR **)) : F(G(**)) : G(F((F(G(*)) OR (* OR (* OR *)))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"preliminary_value": "unknown no no yes yes no no no unknown yes no no ",
"value": "unknown no no yes yes no no no unknown yes 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: (G (F ((1 <= p22))) AND NOT(X (((1 <= p11) AND (1 <= p17))))) : F ((((1 <= p10) U G ((1 <= p9))) AND (X (F ((p9 <= 0))) OR F (G ((1 <= p10)))))) : (G ((p6 <= 0)) AND (NOT(X (((1 <= p3)))) OR (1 <= p6))) : X ((NOT(X ((NOT(X (G ((1 <= p6)))) AND (p6 <= 0)))) OR NOT(G ((1 <= p9))))) : NOT(((p24 <= 0) U X ((1 <= p16)))) : F (NOT(G ((G ((p6 <= 0)) OR ((1 <= p10) AND (1 <= p16)))))) : F (NOT(X (F ((1 <= p24))))) : F ((G ((X ((((1 <= p8) AND (1 <= p15)) U (1 <= p24))) OR ((F ((1 <= p12)) AND (1 <= p8)) AND (1 <= p15)))) AND X ((1 <= p12)))) : X (F ((F (G ((X (((1 <= p9) U (1 <= p9))) AND (1 <= p9)))) U G (F (((1 <= p11) AND (1 <= p17))))))) : ((1 <= p6) U (NOT(X ((X ((((1 <= p0) AND (1 <= p13)) OR ((1 <= p3)))) OR (1 <= p6)))) OR (1 <= p6))) : X (X (G (F (G (((1 <= p7) AND (1 <= p23))))))) : G (NOT(G (F (G ((((X (G (F (((1 <= p5) AND (1 <= p15))))) AND (((1 <= p4) AND (1 <= p21)) OR (1 <= p22))) AND (1 <= p4)) AND (1 <= p21)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:416
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F ((1 <= p22))) AND X (((p11 <= 0) OR (p17 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p22)))
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 <= p22)))
lola: processed formula length: 18
lola: 59 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: 1779731 markings, 4601609 edges, 355946 markings/sec, 0 secs
lola: 3069181 markings, 8376209 edges, 257890 markings/sec, 5 secs
lola: 4270132 markings, 11921216 edges, 240190 markings/sec, 10 secs
lola: 5499392 markings, 15510999 edges, 245852 markings/sec, 15 secs
lola: 6590448 markings, 18906157 edges, 218211 markings/sec, 20 secs
lola: 7715278 markings, 22210441 edges, 224966 markings/sec, 25 secs
lola: 8659076 markings, 25215775 edges, 188760 markings/sec, 30 secs
lola: 9818617 markings, 28544665 edges, 231908 markings/sec, 35 secs
lola: 10755322 markings, 31517842 edges, 187341 markings/sec, 40 secs
lola: 11848254 markings, 35004735 edges, 218586 markings/sec, 45 secs
lola: 13041737 markings, 38460187 edges, 238697 markings/sec, 50 secs
lola: 13982406 markings, 41455204 edges, 188134 markings/sec, 55 secs
lola: 14883580 markings, 44363460 edges, 180235 markings/sec, 60 secs
lola: 15849326 markings, 47394707 edges, 193149 markings/sec, 65 secs
lola: 16972091 markings, 50632374 edges, 224553 markings/sec, 70 secs
lola: 17880001 markings, 53533701 edges, 181582 markings/sec, 75 secs
lola: 18754812 markings, 56357771 edges, 174962 markings/sec, 80 secs
lola: 19619299 markings, 59205451 edges, 172897 markings/sec, 85 secs
lola: 20643674 markings, 62357553 edges, 204875 markings/sec, 90 secs
lola: 21797637 markings, 65689347 edges, 230793 markings/sec, 95 secs
lola: 22612456 markings, 68312026 edges, 162964 markings/sec, 100 secs
lola: 23442920 markings, 70981014 edges, 166093 markings/sec, 105 secs
lola: 24234777 markings, 73582712 edges, 158371 markings/sec, 110 secs
lola: 25221511 markings, 76853636 edges, 197347 markings/sec, 115 secs
lola: 26485682 markings, 80655487 edges, 252834 markings/sec, 120 secs
lola: 27564488 markings, 83825251 edges, 215761 markings/sec, 125 secs
lola: 28454380 markings, 86680639 edges, 177978 markings/sec, 130 secs
lola: 29406854 markings, 89790325 edges, 190495 markings/sec, 135 secs
lola: 30391898 markings, 92991183 edges, 197009 markings/sec, 140 secs
lola: 31408545 markings, 96345819 edges, 203329 markings/sec, 145 secs
lola: 32319894 markings, 99312709 edges, 182270 markings/sec, 150 secs
lola: 33604054 markings, 102972980 edges, 256832 markings/sec, 155 secs
lola: 34512887 markings, 105781884 edges, 181767 markings/sec, 160 secs
lola: 35421684 markings, 108712724 edges, 181759 markings/sec, 165 secs
lola: 36218165 markings, 111334709 edges, 159296 markings/sec, 170 secs
lola: 37028779 markings, 114009813 edges, 162123 markings/sec, 175 secs
lola: 37937059 markings, 116979675 edges, 181656 markings/sec, 180 secs
lola: 38928020 markings, 120248880 edges, 198192 markings/sec, 185 secs
lola: 39881634 markings, 123458357 edges, 190723 markings/sec, 190 secs
lola: 41073879 markings, 127023497 edges, 238449 markings/sec, 195 secs
lola: 42264670 markings, 130429719 edges, 238158 markings/sec, 200 secs
lola: 43141969 markings, 133257967 edges, 175460 markings/sec, 205 secs
lola: 44086051 markings, 136313749 edges, 188816 markings/sec, 210 secs
lola: 45003258 markings, 139345729 edges, 183441 markings/sec, 215 secs
lola: 45784198 markings, 141919981 edges, 156188 markings/sec, 220 secs
lola: 46632233 markings, 144713008 edges, 169607 markings/sec, 225 secs
lola: 47521982 markings, 147650347 edges, 177950 markings/sec, 230 secs
lola: 48445795 markings, 150704730 edges, 184763 markings/sec, 235 secs
lola: 49364586 markings, 153736914 edges, 183758 markings/sec, 240 secs
lola: 50483393 markings, 157092407 edges, 223761 markings/sec, 245 secs
lola: 51673413 markings, 160488599 edges, 238004 markings/sec, 250 secs
lola: 52541023 markings, 163287351 edges, 173522 markings/sec, 255 secs
lola: 53368830 markings, 165948091 edges, 165561 markings/sec, 260 secs
lola: 54162323 markings, 168555628 edges, 158699 markings/sec, 265 secs
lola: 54967415 markings, 171207465 edges, 161018 markings/sec, 270 secs
lola: 55789254 markings, 173913670 edges, 164368 markings/sec, 275 secs
lola: 56605472 markings, 176603956 edges, 163244 markings/sec, 280 secs
lola: 57443639 markings, 179413407 edges, 167633 markings/sec, 285 secs
lola: 58295177 markings, 182268723 edges, 170308 markings/sec, 290 secs
lola: local time limit reached - aborting
lola: lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7790980 KB
lola: time consumption: 300 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7791312 KB
lola: time consumption: 300 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((((1 <= p10) U G ((1 <= p9))) AND (X (F ((p9 <= 0))) OR F (G ((1 <= p10))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((((1 <= p10) U G ((1 <= p9))) AND (X (F ((p9 <= 0))) OR F (G ((1 <= p10))))))
lola: processed formula length: 80
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 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: 100002 markings, 100002 edges
lola: ========================================
lola: subprocess 2 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((p6 <= 0)) AND (X (((p3 <= 0))) OR (1 <= p6)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p6)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p6)
lola: processed formula length: 9
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p6 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p6 <= 0))
lola: processed formula length: 13
lola: 59 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: 239996 markings, 251992 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 363 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((X (G ((1 <= p6))) OR (1 <= p6))) OR F ((p9 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((X (G ((1 <= p6))) OR (1 <= p6))) OR F ((p9 <= 0))))
lola: processed formula length: 59
lola: 59 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 4 will run for 408 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p24) R X ((p16 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((1 <= p24) R X ((p16 <= 0)))
lola: processed formula length: 29
lola: 59 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: 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 5 will run for 467 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((G ((X ((((1 <= p8) AND (1 <= p15)) U (1 <= p24))) OR (F ((1 <= p12)) AND ((1 <= p8) AND (1 <= p15))))) AND X ((1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((G ((X ((((1 <= p8) AND (1 <= p15)) U (1 <= p24))) OR (F ((1 <= p12)) AND ((1 <= p8) AND (1 <= p15))))) AND X ((1 <= p12))))
lola: processed formula length: 127
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 9 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: 124000 markings, 124000 edges
lola: ========================================
lola: subprocess 6 will run for 544 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (F (((1 <= p11) AND (1 <= p17)))) OR (G (F (((1 <= p11) AND (1 <= p17)))) AND F (G ((X ((1 <= p9)) AND (1 <= p9))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F (((1 <= p11) AND (1 <= p17)))) OR (G (F (((1 <= p11) AND (1 <= p17)))) AND F (G ((X ((1 <= p9)) AND (1 <= p9))))))))
lola: processed formula length: 128
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 21 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: 1598972 markings, 6460988 edges, 319794 markings/sec, 0 secs
lola: 3177183 markings, 12972255 edges, 315642 markings/sec, 5 secs
lola: 4716901 markings, 19321775 edges, 307944 markings/sec, 10 secs
lola: 6121855 markings, 25116496 edges, 280991 markings/sec, 15 secs
lola: 7583974 markings, 31149280 edges, 292424 markings/sec, 20 secs
lola: 8956037 markings, 36808600 edges, 274413 markings/sec, 25 secs
lola: 10356433 markings, 42587361 edges, 280079 markings/sec, 30 secs
lola: 11720404 markings, 48212857 edges, 272794 markings/sec, 35 secs
lola: 13094760 markings, 53881115 edges, 274871 markings/sec, 40 secs
lola: 14391264 markings, 59227736 edges, 259301 markings/sec, 45 secs
lola: 15750633 markings, 64837554 edges, 271874 markings/sec, 50 secs
lola: 17119826 markings, 70483640 edges, 273839 markings/sec, 55 secs
lola: 18476934 markings, 76081131 edges, 271422 markings/sec, 60 secs
lola: 19716408 markings, 81194804 edges, 247895 markings/sec, 65 secs
lola: 21056290 markings, 86720434 edges, 267976 markings/sec, 70 secs
lola: 22318894 markings, 91930667 edges, 252521 markings/sec, 75 secs
lola: 23675886 markings, 97527933 edges, 271398 markings/sec, 80 secs
lola: 24953354 markings, 102796045 edges, 255494 markings/sec, 85 secs
lola: 26269385 markings, 108224845 edges, 263206 markings/sec, 90 secs
lola: 27582581 markings, 113641230 edges, 262639 markings/sec, 95 secs
lola: 28906477 markings, 119103408 edges, 264779 markings/sec, 100 secs
lola: 30283003 markings, 124780066 edges, 275305 markings/sec, 105 secs
lola: 31626503 markings, 130323339 edges, 268700 markings/sec, 110 secs
lola: 32973766 markings, 135879877 edges, 269453 markings/sec, 115 secs
lola: 34297700 markings, 141341055 edges, 264787 markings/sec, 120 secs
lola: 35644650 markings, 146898656 edges, 269390 markings/sec, 125 secs
lola: 36953474 markings, 152297801 edges, 261765 markings/sec, 130 secs
lola: 38270215 markings, 157729265 edges, 263348 markings/sec, 135 secs
lola: 39570466 markings, 163092164 edges, 260050 markings/sec, 140 secs
lola: 40921122 markings, 168664109 edges, 270131 markings/sec, 145 secs
lola: 42247161 markings, 174133679 edges, 265208 markings/sec, 150 secs
lola: 43569381 markings, 179587358 edges, 264444 markings/sec, 155 secs
lola: 44877764 markings, 184982764 edges, 261677 markings/sec, 160 secs
lola: 46181670 markings, 190363308 edges, 260781 markings/sec, 165 secs
lola: 47477846 markings, 195708818 edges, 259235 markings/sec, 170 secs
lola: 48765734 markings, 201021606 edges, 257578 markings/sec, 175 secs
lola: 50101965 markings, 206532010 edges, 267246 markings/sec, 180 secs
lola: 51400408 markings, 211887903 edges, 259689 markings/sec, 185 secs
lola: 52685507 markings, 217190399 edges, 257020 markings/sec, 190 secs
lola: 53979624 markings, 222528090 edges, 258823 markings/sec, 195 secs
lola: 55261218 markings, 227814029 edges, 256319 markings/sec, 200 secs
lola: 56570700 markings, 233216188 edges, 261896 markings/sec, 205 secs
lola: 57864876 markings, 238554177 edges, 258835 markings/sec, 210 secs
lola: 59149498 markings, 243852339 edges, 256924 markings/sec, 215 secs
lola: 60395501 markings, 248991755 edges, 249201 markings/sec, 220 secs
lola: 61682704 markings, 254301550 edges, 257441 markings/sec, 225 secs
lola: 62915583 markings, 259386968 edges, 246576 markings/sec, 230 secs
lola: 64251422 markings, 265110771 edges, 267168 markings/sec, 235 secs
lola: 65388760 markings, 271365670 edges, 227468 markings/sec, 240 secs
lola: 66523963 markings, 277609408 edges, 227041 markings/sec, 245 secs
lola: 67596394 markings, 283507088 edges, 214486 markings/sec, 250 secs
lola: 68680872 markings, 289471420 edges, 216896 markings/sec, 255 secs
lola: 69648965 markings, 294796942 edges, 193619 markings/sec, 260 secs
lola: 70689524 markings, 300520532 edges, 208112 markings/sec, 265 secs
lola: 71715669 markings, 306164466 edges, 205229 markings/sec, 270 secs
lola: 72730882 markings, 311748150 edges, 203043 markings/sec, 275 secs
lola: 73720963 markings, 317192472 edges, 198016 markings/sec, 280 secs
lola: 74701973 markings, 322589009 edges, 196202 markings/sec, 285 secs
lola: 75679012 markings, 327961988 edges, 195408 markings/sec, 290 secs
lola: 76651773 markings, 333313222 edges, 194552 markings/sec, 295 secs
lola: 77624762 markings, 338663511 edges, 194598 markings/sec, 300 secs
lola: 78595629 markings, 344004065 edges, 194173 markings/sec, 305 secs
lola: 79563943 markings, 349330087 edges, 193663 markings/sec, 310 secs
lola: 80550912 markings, 354758730 edges, 197394 markings/sec, 315 secs
lola: 81516032 markings, 360067343 edges, 193024 markings/sec, 320 secs
lola: 82487552 markings, 365410392 edges, 194304 markings/sec, 325 secs
lola: 83454462 markings, 370728497 edges, 193382 markings/sec, 330 secs
lola: 84414861 markings, 376011060 edges, 192080 markings/sec, 335 secs
lola: 85368594 markings, 381255842 edges, 190747 markings/sec, 340 secs
lola: 86310918 markings, 386438731 edges, 188465 markings/sec, 345 secs
lola: 87276518 markings, 391750706 edges, 193120 markings/sec, 350 secs
lola: 88222520 markings, 396952458 edges, 189200 markings/sec, 355 secs
lola: 89150061 markings, 402053965 edges, 185508 markings/sec, 360 secs
lola: 90085265 markings, 407198956 edges, 187041 markings/sec, 365 secs
lola: 91012210 markings, 412296969 edges, 185389 markings/sec, 370 secs
lola: 91934879 markings, 417371995 edges, 184534 markings/sec, 375 secs
lola: 92862077 markings, 422471373 edges, 185440 markings/sec, 380 secs
lola: 93805620 markings, 427661017 edges, 188709 markings/sec, 385 secs
lola: 94729310 markings, 432740974 edges, 184738 markings/sec, 390 secs
lola: 95638035 markings, 437739641 edges, 181745 markings/sec, 395 secs
lola: 96587777 markings, 442963202 edges, 189948 markings/sec, 400 secs
lola: 97506579 markings, 448016120 edges, 183760 markings/sec, 405 secs
lola: 98422244 markings, 453053192 edges, 183133 markings/sec, 410 secs
lola: 99356994 markings, 458193652 edges, 186950 markings/sec, 415 secs
lola: 100262307 markings, 463173894 edges, 181063 markings/sec, 420 secs
lola: 101117905 markings, 467879616 edges, 171120 markings/sec, 425 secs
lola: 102033254 markings, 472913382 edges, 183070 markings/sec, 430 secs
lola: 102871714 markings, 477525646 edges, 167692 markings/sec, 435 secs
lola: 103780924 markings, 482526014 edges, 181842 markings/sec, 440 secs
lola: 104674380 markings, 487439824 edges, 178691 markings/sec, 445 secs
lola: 105601527 markings, 492539850 edges, 185429 markings/sec, 450 secs
lola: 106465353 markings, 497291036 edges, 172765 markings/sec, 455 secs
lola: 107390934 markings, 502382322 edges, 185116 markings/sec, 460 secs
lola: 108318917 markings, 507485883 edges, 185597 markings/sec, 465 secs
lola: 109242716 markings, 512566432 edges, 184760 markings/sec, 470 secs
lola: 110140215 markings, 517503275 edges, 179500 markings/sec, 475 secs
lola: 110969245 markings, 522063093 edges, 165806 markings/sec, 480 secs
lola: 111866109 markings, 526996217 edges, 179373 markings/sec, 485 secs
lola: 112775288 markings, 531996421 edges, 181836 markings/sec, 490 secs
lola: 113726915 markings, 537230381 edges, 190325 markings/sec, 495 secs
lola: 114627656 markings, 542185100 edges, 180148 markings/sec, 500 secs
lola: 115555828 markings, 547289938 edges, 185634 markings/sec, 505 secs
lola: 116396478 markings, 551913901 edges, 168130 markings/sec, 510 secs
lola: 117293198 markings, 556846024 edges, 179344 markings/sec, 515 secs
lola: 118064149 markings, 561086264 edges, 154190 markings/sec, 520 secs
lola: 118970915 markings, 566074050 edges, 181353 markings/sec, 525 secs
lola: 119855462 markings, 570939184 edges, 176909 markings/sec, 530 secs
lola: 120731013 markings, 575754863 edges, 175110 markings/sec, 535 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no yes yes unknown unknown no unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 544 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p6) U (X ((X ((((p0 <= 0) OR (p13 <= 0)) AND ((p3 <= 0)))) AND (p6 <= 0))) OR (1 <= p6)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((1 <= p6) U (X ((X ((((p0 <= 0) OR (p13 <= 0)) AND ((p3 <= 0)))) AND (p6 <= 0))) OR (1 <= p6)))
lola: processed formula length: 97
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 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: 15 markings, 14 edges
lola: ========================================
lola: subprocess 8 will run for 681 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((p24 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((p24 <= 0)))
lola: processed formula length: 18
lola: 59 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: 271998 markings, 272000 edges
lola: ========================================
lola: subprocess 9 will run for 908 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p7) AND (1 <= p23))))
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 <= p7) AND (1 <= p23))))
lola: processed formula length: 34
lola: 59 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: 16024 markings, 16025 edges
lola: ========================================
lola: subprocess 10 will run for 1362 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F ((1 <= p6)) AND ((p10 <= 0) OR (p16 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F ((1 <= p6)) AND ((p10 <= 0) OR (p16 <= 0))))
lola: processed formula length: 51
lola: 59 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: 100001 markings, 100001 edges
lola: ========================================
lola: subprocess 11 will run for 2724 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (G (((p5 <= 0) OR (p15 <= 0)))) OR ((((p4 <= 0) OR (p21 <= 0)) AND (p22 <= 0)) OR ((p4 <= 0) OR (p21 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (G (((p5 <= 0) OR (p15 <= 0)))) OR ((((p4 <= 0) OR (p21 <= 0)) AND (p22 <= 0)) OR ((p4 <= 0) OR (p21 <= 0))))))
lola: processed formula length: 122
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 192117 markings, 216153 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (G (F ((1 <= p22))) AND X (((p11 <= 0) OR (p17 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p22)))
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 <= p22)))
lola: processed formula length: 18
lola: 59 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: 1716240 markings, 4399197 edges, 343248 markings/sec, 0 secs
lola: 3077418 markings, 8404130 edges, 272236 markings/sec, 5 secs
lola: 4370396 markings, 12241844 edges, 258596 markings/sec, 10 secs
lola: 5691506 markings, 16106162 edges, 264222 markings/sec, 15 secs
lola: 6970167 markings, 19900410 edges, 255732 markings/sec, 20 secs
lola: 8013788 markings, 23158792 edges, 208724 markings/sec, 25 secs
lola: 9195053 markings, 26774773 edges, 236253 markings/sec, 30 secs
lola: 10307520 markings, 30086052 edges, 222493 markings/sec, 35 secs
lola: 11295449 markings, 33271281 edges, 197586 markings/sec, 40 secs
lola: 12518178 markings, 36865452 edges, 244546 markings/sec, 45 secs
lola: 13491890 markings, 39868229 edges, 194742 markings/sec, 50 secs
lola: 14413093 markings, 42841794 edges, 184241 markings/sec, 55 secs
lola: 15305099 markings, 45771121 edges, 178401 markings/sec, 60 secs
lola: 16545022 markings, 49314767 edges, 247985 markings/sec, 65 secs
lola: 17492956 markings, 52293850 edges, 189587 markings/sec, 70 secs
lola: 18416048 markings, 55280789 edges, 184618 markings/sec, 75 secs
lola: 19471234 markings, 58703591 edges, 211037 markings/sec, 80 secs
lola: 20628155 markings, 62311045 edges, 231384 markings/sec, 85 secs
lola: 21846679 markings, 65852931 edges, 243705 markings/sec, 90 secs
lola: 22670881 markings, 68508385 edges, 164840 markings/sec, 95 secs
lola: 23521548 markings, 71248077 edges, 170133 markings/sec, 100 secs
lola: 24338547 markings, 73937654 edges, 163400 markings/sec, 105 secs
lola: 25193748 markings, 76759231 edges, 171040 markings/sec, 110 secs
lola: 26386745 markings, 80382946 edges, 238599 markings/sec, 115 secs
lola: 27569522 markings, 83842870 edges, 236555 markings/sec, 120 secs
lola: 28492541 markings, 86786980 edges, 184604 markings/sec, 125 secs
lola: 29429180 markings, 89868370 edges, 187328 markings/sec, 130 secs
lola: 30411167 markings, 93050793 edges, 196397 markings/sec, 135 secs
lola: 31400944 markings, 96320469 edges, 197955 markings/sec, 140 secs
lola: 32423632 markings, 99627766 edges, 204538 markings/sec, 145 secs
lola: 33707578 markings, 103279130 edges, 256789 markings/sec, 150 secs
lola: 34592128 markings, 106039428 edges, 176910 markings/sec, 155 secs
lola: 35426366 markings, 108727894 edges, 166848 markings/sec, 160 secs
lola: 36201466 markings, 111276331 edges, 155020 markings/sec, 165 secs
lola: 36988583 markings, 113869314 edges, 157423 markings/sec, 170 secs
lola: 37790989 markings, 116511591 edges, 160481 markings/sec, 175 secs
lola: 38629438 markings, 119275846 edges, 167690 markings/sec, 180 secs
lola: 39488422 markings, 122107784 edges, 171797 markings/sec, 185 secs
lola: 40414008 markings, 125045930 edges, 185117 markings/sec, 190 secs
lola: 41544928 markings, 128261805 edges, 226184 markings/sec, 195 secs
lola: 42473442 markings, 131106184 edges, 185703 markings/sec, 200 secs
lola: 43355581 markings, 133922422 edges, 176428 markings/sec, 205 secs
lola: 44167820 markings, 136591732 edges, 162448 markings/sec, 210 secs
lola: 44981679 markings, 139270234 edges, 162772 markings/sec, 215 secs
lola: 45801924 markings, 141974930 edges, 164049 markings/sec, 220 secs
lola: 46660631 markings, 144810110 edges, 171741 markings/sec, 225 secs
lola: 47523065 markings, 147654139 edges, 172487 markings/sec, 230 secs
lola: 48396405 markings, 150539974 edges, 174668 markings/sec, 235 secs
lola: 49271505 markings, 153462140 edges, 175020 markings/sec, 240 secs
lola: 50390819 markings, 156815070 edges, 223863 markings/sec, 245 secs
lola: 51576243 markings, 160199502 edges, 237085 markings/sec, 250 secs
lola: 52458828 markings, 163008692 edges, 176517 markings/sec, 255 secs
lola: 53322374 markings, 165793542 edges, 172709 markings/sec, 260 secs
lola: 54132577 markings, 168457010 edges, 162041 markings/sec, 265 secs
lola: 54953564 markings, 171159015 edges, 164197 markings/sec, 270 secs
lola: 55777071 markings, 173872531 edges, 164701 markings/sec, 275 secs
lola: 56575713 markings, 176507876 edges, 159728 markings/sec, 280 secs
lola: 57353657 markings, 179143830 edges, 155589 markings/sec, 285 secs
lola: 58175767 markings, 181863012 edges, 164422 markings/sec, 290 secs
lola: 59037279 markings, 184700042 edges, 172302 markings/sec, 295 secs
lola: 59879021 markings, 187581922 edges, 168348 markings/sec, 300 secs
lola: 60969455 markings, 190845497 edges, 218087 markings/sec, 305 secs
lola: 62154610 markings, 194180097 edges, 237031 markings/sec, 310 secs
lola: 63052644 markings, 197010341 edges, 179607 markings/sec, 315 secs
lola: 63921479 markings, 199812185 edges, 173767 markings/sec, 320 secs
lola: 64740059 markings, 202489137 edges, 163716 markings/sec, 325 secs
lola: 65570023 markings, 205180221 edges, 165993 markings/sec, 330 secs
lola: 66380286 markings, 207855758 edges, 162053 markings/sec, 335 secs
lola: 67133441 markings, 210399983 edges, 150631 markings/sec, 340 secs
lola: 67930438 markings, 213020286 edges, 159399 markings/sec, 345 secs
lola: 68721134 markings, 215620251 edges, 158139 markings/sec, 350 secs
lola: 69439394 markings, 218075401 edges, 143652 markings/sec, 355 secs
lola: 70283236 markings, 220846357 edges, 168768 markings/sec, 360 secs
lola: 71144454 markings, 223696410 edges, 172244 markings/sec, 365 secs
lola: 72026146 markings, 226699934 edges, 176338 markings/sec, 370 secs
lola: 73096790 markings, 230037726 edges, 214129 markings/sec, 375 secs
lola: 74291174 markings, 233535813 edges, 238877 markings/sec, 380 secs
lola: 75330437 markings, 236571496 edges, 207853 markings/sec, 385 secs
lola: 76160568 markings, 239247972 edges, 166026 markings/sec, 390 secs
lola: 77035461 markings, 242064721 edges, 174979 markings/sec, 395 secs
lola: 77896975 markings, 244910092 edges, 172303 markings/sec, 400 secs
lola: 78768560 markings, 247789438 edges, 174317 markings/sec, 405 secs
lola: 79641079 markings, 250669915 edges, 174504 markings/sec, 410 secs
lola: 80517275 markings, 253562162 edges, 175239 markings/sec, 415 secs
lola: 81386406 markings, 256428490 edges, 173826 markings/sec, 420 secs
lola: 82220696 markings, 259231441 edges, 166858 markings/sec, 425 secs
lola: 83074771 markings, 262092855 edges, 170815 markings/sec, 430 secs
lola: 83961152 markings, 265015986 edges, 177276 markings/sec, 435 secs
lola: 84802513 markings, 267893273 edges, 168272 markings/sec, 440 secs
lola: 85744659 markings, 270999596 edges, 188429 markings/sec, 445 secs
lola: 86628760 markings, 274033563 edges, 176820 markings/sec, 450 secs
lola: 87705415 markings, 277253861 edges, 215331 markings/sec, 455 secs
lola: 88822132 markings, 280502187 edges, 223343 markings/sec, 460 secs
lola: 89827773 markings, 283449365 edges, 201128 markings/sec, 465 secs
lola: 90646510 markings, 286086064 edges, 163747 markings/sec, 470 secs
lola: 91495875 markings, 288821547 edges, 169873 markings/sec, 475 secs
lola: 92337059 markings, 291595883 edges, 168237 markings/sec, 480 secs
lola: 93184107 markings, 294386468 edges, 169410 markings/sec, 485 secs
lola: 94029889 markings, 297176527 edges, 169156 markings/sec, 490 secs
lola: 94867141 markings, 299936717 edges, 167450 markings/sec, 495 secs
lola: 95682876 markings, 302628281 edges, 163147 markings/sec, 500 secs
lola: 96464288 markings, 305292913 edges, 156282 markings/sec, 505 secs
lola: 97326170 markings, 308127239 edges, 172376 markings/sec, 510 secs
lola: 98138281 markings, 310821922 edges, 162422 markings/sec, 515 secs
lola: 98965237 markings, 313617957 edges, 165391 markings/sec, 520 secs
lola: 99830081 markings, 316477294 edges, 172969 markings/sec, 525 secs
lola: 100657781 markings, 319299294 edges, 165540 markings/sec, 530 secs
lola: 101540955 markings, 322210502 edges, 176635 markings/sec, 535 secs
lola: 102341956 markings, 324947075 edges, 160200 markings/sec, 540 secs
lola: 103225722 markings, 327856539 edges, 176753 markings/sec, 545 secs
lola: 104198033 markings, 330774868 edges, 194462 markings/sec, 550 secs
lola: 105276615 markings, 333919456 edges, 215716 markings/sec, 555 secs
lola: 106298420 markings, 336877490 edges, 204361 markings/sec, 560 secs
lola: 107099463 markings, 339452401 edges, 160209 markings/sec, 565 secs
lola: 107931568 markings, 342129882 edges, 166421 markings/sec, 570 secs
lola: 108755620 markings, 344842099 edges, 164810 markings/sec, 575 secs
lola: 109582406 markings, 347569889 edges, 165357 markings/sec, 580 secs
lola: 110401635 markings, 350267127 edges, 163846 markings/sec, 585 secs
lola: 111185331 markings, 352843789 edges, 156739 markings/sec, 590 secs
lola: 111921725 markings, 355347930 edges, 147279 markings/sec, 595 secs
lola: 112698043 markings, 357901709 edges, 155264 markings/sec, 600 secs
lola: 113458783 markings, 360405556 edges, 152148 markings/sec, 605 secs
lola: 114186999 markings, 362887852 edges, 145643 markings/sec, 610 secs
lola: 114980944 markings, 365491853 edges, 158789 markings/sec, 615 secs
lola: 115715050 markings, 367998421 edges, 146821 markings/sec, 620 secs
lola: 116524590 markings, 370656869 edges, 161908 markings/sec, 625 secs
lola: 117285901 markings, 373262388 edges, 152262 markings/sec, 630 secs
lola: 118066730 markings, 375823931 edges, 156166 markings/sec, 635 secs
lola: 118796054 markings, 378309918 edges, 145865 markings/sec, 640 secs
lola: 119564529 markings, 380919215 edges, 153695 markings/sec, 645 secs
lola: 120411549 markings, 383721338 edges, 169404 markings/sec, 650 secs
lola: 121229262 markings, 386544659 edges, 163543 markings/sec, 655 secs
lola: 122049006 markings, 389097256 edges, 163949 markings/sec, 660 secs
lola: 123109415 markings, 392279347 edges, 212082 markings/sec, 665 secs
lola: 124288400 markings, 395582772 edges, 235797 markings/sec, 670 secs
lola: 124539484 markings, 396312982 edges, 50217 markings/sec, 675 secs
lola: 124823279 markings, 397189662 edges, 56759 markings/sec, 680 secs
lola: 125161880 markings, 398270777 edges, 67720 markings/sec, 685 secs
lola: 125440222 markings, 399152691 edges, 55668 markings/sec, 690 secs
lola: 125865391 markings, 400523255 edges, 85034 markings/sec, 695 secs
lola: 126292832 markings, 401899844 edges, 85488 markings/sec, 700 secs
lola: 126778568 markings, 403467756 edges, 97147 markings/sec, 705 secs
lola: 127299583 markings, 405161644 edges, 104203 markings/sec, 710 secs
lola: 127864573 markings, 407045461 edges, 112998 markings/sec, 715 secs
lola: 128591611 markings, 409468529 edges, 145408 markings/sec, 720 secs
lola: 129396624 markings, 412116121 edges, 161003 markings/sec, 725 secs
lola: 130197365 markings, 414752611 edges, 160148 markings/sec, 730 secs
lola: 130973066 markings, 417305072 edges, 155140 markings/sec, 735 secs
lola: 131703757 markings, 419796006 edges, 146138 markings/sec, 740 secs
lola: 132501432 markings, 422413548 edges, 159535 markings/sec, 745 secs
lola: 133214413 markings, 424854874 edges, 142596 markings/sec, 750 secs
lola: 133998593 markings, 427416299 edges, 156836 markings/sec, 755 secs
lola: 134742926 markings, 429960868 edges, 148867 markings/sec, 760 secs
lola: 135510175 markings, 432473130 edges, 153450 markings/sec, 765 secs
lola: 136213299 markings, 434890765 edges, 140625 markings/sec, 770 secs
lola: 137020632 markings, 437529638 edges, 161467 markings/sec, 775 secs
lola: 137768728 markings, 440095162 edges, 149619 markings/sec, 780 secs
lola: 138629072 markings, 442923933 edges, 172069 markings/sec, 785 secs
lola: 139428796 markings, 445656144 edges, 159945 markings/sec, 790 secs
lola: 140249095 markings, 448470555 edges, 164060 markings/sec, 795 secs
lola: 141181157 markings, 451533579 edges, 186412 markings/sec, 800 secs
lola: 142033722 markings, 454465132 edges, 170513 markings/sec, 805 secs
lola: 142989975 markings, 457496020 edges, 191251 markings/sec, 810 secs
lola: 144013993 markings, 460567586 edges, 204804 markings/sec, 815 secs
lola: 145060497 markings, 463629806 edges, 209301 markings/sec, 820 secs
lola: 145720959 markings, 465415693 edges, 132092 markings/sec, 825 secs
lola: 146015851 markings, 466347838 edges, 58978 markings/sec, 830 secs
lola: 146349062 markings, 467394545 edges, 66642 markings/sec, 835 secs
lola: 146627498 markings, 468292372 edges, 55687 markings/sec, 840 secs
lola: 146993093 markings, 469463644 edges, 73119 markings/sec, 845 secs
lola: 147389203 markings, 470735750 edges, 79222 markings/sec, 850 secs
lola: 147814324 markings, 472105616 edges, 85024 markings/sec, 855 secs
lola: 148154761 markings, 473251585 edges, 68087 markings/sec, 860 secs
lola: 148500357 markings, 474348683 edges, 69119 markings/sec, 865 secs
lola: 148867316 markings, 475592059 edges, 73392 markings/sec, 870 secs
lola: 149234741 markings, 476761416 edges, 73485 markings/sec, 875 secs
lola: 149547650 markings, 477823788 edges, 62582 markings/sec, 880 secs
lola: 149939226 markings, 479081164 edges, 78315 markings/sec, 885 secs
lola: 150300803 markings, 480298036 edges, 72315 markings/sec, 890 secs
lola: 150647797 markings, 481479271 edges, 69399 markings/sec, 895 secs
lola: 150971420 markings, 482495180 edges, 64725 markings/sec, 900 secs
lola: 151288015 markings, 483562535 edges, 63319 markings/sec, 905 secs
lola: 151588488 markings, 484589109 edges, 60095 markings/sec, 910 secs
lola: 151984405 markings, 485861407 edges, 79183 markings/sec, 915 secs
lola: 152174179 markings, 486493480 edges, 37955 markings/sec, 920 secs
lola: 152271264 markings, 486825012 edges, 19417 markings/sec, 925 secs
lola: 152328297 markings, 487016426 edges, 11407 markings/sec, 930 secs
lola: 152376619 markings, 487177421 edges, 9664 markings/sec, 935 secs
lola: 152480641 markings, 487533149 edges, 20804 markings/sec, 940 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (((p11 <= 0) OR (p17 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((p11 <= 0) OR (p17 <= 0)))
lola: processed formula length: 31
lola: 59 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((G (F (((1 <= p11) AND (1 <= p17)))) OR (G (F (((1 <= p11) AND (1 <= p17)))) AND F (G ((X ((1 <= p9)) AND (1 <= p9))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (F (((1 <= p11) AND (1 <= p17)))) OR (G (F (((1 <= p11) AND (1 <= p17)))) AND F (G ((X ((1 <= p9)) AND (1 <= p9))))))))
lola: processed formula length: 128
lola: 59 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 21 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: 1571660 markings, 6349029 edges, 314332 markings/sec, 0 secs
lola: 3137411 markings, 12806826 edges, 313150 markings/sec, 5 secs
lola: 4622981 markings, 18934127 edges, 297114 markings/sec, 10 secs
lola: 5957892 markings, 24443181 edges, 266982 markings/sec, 15 secs
lola: 7381079 markings, 30313589 edges, 284637 markings/sec, 20 secs
lola: 8758531 markings, 35995590 edges, 275490 markings/sec, 25 secs
lola: 10117490 markings, 41601062 edges, 271792 markings/sec, 30 secs
lola: 11437404 markings, 47046592 edges, 263983 markings/sec, 35 secs
lola: 12758135 markings, 52493616 edges, 264146 markings/sec, 40 secs
lola: 14062049 markings, 57871284 edges, 260783 markings/sec, 45 secs
lola: 15280445 markings, 62898650 edges, 243679 markings/sec, 50 secs
lola: 16628547 markings, 68457671 edges, 269620 markings/sec, 55 secs
lola: 17941582 markings, 73873843 edges, 262607 markings/sec, 60 secs
lola: 19237423 markings, 79219310 edges, 259168 markings/sec, 65 secs
lola: 20513971 markings, 84485039 edges, 255310 markings/sec, 70 secs
lola: 21773927 markings, 89682638 edges, 251991 markings/sec, 75 secs
lola: 23063239 markings, 95000764 edges, 257862 markings/sec, 80 secs
lola: 24340623 markings, 100270979 edges, 255477 markings/sec, 85 secs
lola: 25583792 markings, 105397787 edges, 248634 markings/sec, 90 secs
lola: 26819503 markings, 110495832 edges, 247142 markings/sec, 95 secs
lola: 28048880 markings, 115566098 edges, 245875 markings/sec, 100 secs
lola: 29315933 markings, 120793584 edges, 253411 markings/sec, 105 secs
lola: 30613096 markings, 126142558 edges, 259433 markings/sec, 110 secs
lola: 31893290 markings, 131422841 edges, 256039 markings/sec, 115 secs
lola: 33169646 markings, 136687864 edges, 255271 markings/sec, 120 secs
lola: 34415946 markings, 141830307 edges, 249260 markings/sec, 125 secs
lola: 35699036 markings, 147121455 edges, 256618 markings/sec, 130 secs
lola: 36940173 markings, 152240787 edges, 248227 markings/sec, 135 secs
lola: 38184667 markings, 157375711 edges, 248899 markings/sec, 140 secs
lola: 39409091 markings, 162426058 edges, 244885 markings/sec, 145 secs
lola: 40694990 markings, 167729090 edges, 257180 markings/sec, 150 secs
lola: 41953610 markings, 172920822 edges, 251724 markings/sec, 155 secs
lola: 43208927 markings, 178101041 edges, 251063 markings/sec, 160 secs
lola: 44442470 markings, 183188026 edges, 246709 markings/sec, 165 secs
lola: 45708534 markings, 188409480 edges, 253213 markings/sec, 170 secs
lola: 46933898 markings, 193466020 edges, 245073 markings/sec, 175 secs
lola: 48171928 markings, 198570683 edges, 247606 markings/sec, 180 secs
lola: 49326181 markings, 203333779 edges, 230851 markings/sec, 185 secs
lola: 50585912 markings, 208529720 edges, 251946 markings/sec, 190 secs
lola: 51838247 markings, 213694039 edges, 250467 markings/sec, 195 secs
lola: 53083043 markings, 218829601 edges, 248959 markings/sec, 200 secs
lola: 54316141 markings, 223915619 edges, 246620 markings/sec, 205 secs
lola: 55531700 markings, 228929994 edges, 243112 markings/sec, 210 secs
lola: 56744135 markings, 233931471 edges, 242487 markings/sec, 215 secs
lola: 57985348 markings, 239051351 edges, 248243 markings/sec, 220 secs
lola: 59214503 markings, 244120976 edges, 245831 markings/sec, 225 secs
lola: 60420717 markings, 249096146 edges, 241243 markings/sec, 230 secs
lola: 61665161 markings, 254229350 edges, 248889 markings/sec, 235 secs
lola: 62901720 markings, 259329622 edges, 247312 markings/sec, 240 secs
lola: 64210479 markings, 264884932 edges, 261752 markings/sec, 245 secs
lola: 65398144 markings, 271417258 edges, 237533 markings/sec, 250 secs
lola: 66494962 markings, 277450063 edges, 219364 markings/sec, 255 secs
lola: 67565763 markings, 283338373 edges, 214160 markings/sec, 260 secs
lola: 68604393 markings, 289051675 edges, 207726 markings/sec, 265 secs
lola: 69601849 markings, 294536923 edges, 199491 markings/sec, 270 secs
lola: 70590084 markings, 299972995 edges, 197647 markings/sec, 275 secs
lola: 71575998 markings, 305394880 edges, 197183 markings/sec, 280 secs
lola: 72538399 markings, 310688484 edges, 192480 markings/sec, 285 secs
lola: 73464017 markings, 315779879 edges, 185124 markings/sec, 290 secs
lola: 74374749 markings, 320788876 edges, 182146 markings/sec, 295 secs
lola: 75275420 markings, 325742367 edges, 180134 markings/sec, 300 secs
lola: 76184606 markings, 330743836 edges, 181837 markings/sec, 305 secs
lola: 77101265 markings, 335785474 edges, 183332 markings/sec, 310 secs
lola: 78012879 markings, 340799571 edges, 182323 markings/sec, 315 secs
lola: 78918240 markings, 345779421 edges, 181072 markings/sec, 320 secs
lola: 79833096 markings, 350810788 edges, 182971 markings/sec, 325 secs
lola: 80742505 markings, 355812415 edges, 181882 markings/sec, 330 secs
lola: 81639781 markings, 360747076 edges, 179455 markings/sec, 335 secs
lola: 82547907 markings, 365742789 edges, 181625 markings/sec, 340 secs
lola: 83450933 markings, 370708825 edges, 180605 markings/sec, 345 secs
lola: 84345671 markings, 375629347 edges, 178948 markings/sec, 350 secs
lola: 85245720 markings, 380580109 edges, 180010 markings/sec, 355 secs
lola: 86131769 markings, 385453538 edges, 177210 markings/sec, 360 secs
lola: 87020805 markings, 390344272 edges, 177807 markings/sec, 365 secs
lola: 87904359 markings, 395203302 edges, 176711 markings/sec, 370 secs
lola: 88784168 markings, 400042184 edges, 175962 markings/sec, 375 secs
lola: 89662134 markings, 404871473 edges, 175593 markings/sec, 380 secs
lola: 90527470 markings, 409631124 edges, 173067 markings/sec, 385 secs
lola: 91399856 markings, 414429002 edges, 174477 markings/sec, 390 secs
lola: 92245987 markings, 419083058 edges, 169226 markings/sec, 395 secs
lola: 93134875 markings, 423970984 edges, 177778 markings/sec, 400 secs
lola: 94015604 markings, 428815938 edges, 176146 markings/sec, 405 secs
lola: 94878628 markings, 433563023 edges, 172605 markings/sec, 410 secs
lola: 95745378 markings, 438330039 edges, 173350 markings/sec, 415 secs
lola: 96621386 markings, 443147839 edges, 175202 markings/sec, 420 secs
lola: 97472777 markings, 447830956 edges, 170278 markings/sec, 425 secs
lola: 98331880 markings, 452556304 edges, 171821 markings/sec, 430 secs
lola: 99201970 markings, 457341268 edges, 174018 markings/sec, 435 secs
lola: 100057989 markings, 462049103 edges, 171204 markings/sec, 440 secs
lola: 100885299 markings, 466599985 edges, 165462 markings/sec, 445 secs
lola: 101722899 markings, 471206630 edges, 167520 markings/sec, 450 secs
lola: 102549416 markings, 475752961 edges, 165303 markings/sec, 455 secs
lola: 103359903 markings, 480210077 edges, 162097 markings/sec, 460 secs
lola: 104214252 markings, 484909499 edges, 170870 markings/sec, 465 secs
lola: 105070841 markings, 489621218 edges, 171318 markings/sec, 470 secs
lola: 105943757 markings, 494422336 edges, 174583 markings/sec, 475 secs
lola: 106813033 markings, 499203054 edges, 173855 markings/sec, 480 secs
lola: 107677516 markings, 503958320 edges, 172897 markings/sec, 485 secs
lola: 108553797 markings, 508778077 edges, 175256 markings/sec, 490 secs
lola: 109399592 markings, 513429343 edges, 169159 markings/sec, 495 secs
lola: 110230458 markings, 518000019 edges, 166173 markings/sec, 500 secs
lola: 111069058 markings, 522611704 edges, 167720 markings/sec, 505 secs
lola: 111915247 markings, 527266034 edges, 169238 markings/sec, 510 secs
lola: 112756097 markings, 531890682 edges, 168170 markings/sec, 515 secs
lola: 113649493 markings, 536804843 edges, 178679 markings/sec, 520 secs
lola: 114506607 markings, 541519066 edges, 171423 markings/sec, 525 secs
lola: 115351178 markings, 546164664 edges, 168914 markings/sec, 530 secs
lola: 116174800 markings, 550694479 edges, 164724 markings/sec, 535 secs
lola: 117015206 markings, 555316946 edges, 168081 markings/sec, 540 secs
lola: 117826193 markings, 559777710 edges, 162197 markings/sec, 545 secs
lola: 118655069 markings, 564336853 edges, 165775 markings/sec, 550 secs
lola: 119481899 markings, 568884575 edges, 165366 markings/sec, 555 secs
lola: 120348878 markings, 573653137 edges, 173396 markings/sec, 560 secs
lola: 121228909 markings, 578493277 edges, 176006 markings/sec, 565 secs
lola: 122082677 markings, 583189522 edges, 170754 markings/sec, 570 secs
lola: 122947163 markings, 587944365 edges, 172897 markings/sec, 575 secs
lola: 123787815 markings, 592568303 edges, 168130 markings/sec, 580 secs
lola: 124616733 markings, 597127465 edges, 165784 markings/sec, 585 secs
lola: 125494550 markings, 601958625 edges, 175563 markings/sec, 590 secs
lola: 126344886 markings, 606635337 edges, 170067 markings/sec, 595 secs
lola: 127077184 markings, 610661003 edges, 146460 markings/sec, 600 secs
lola: 127963342 markings, 615535921 edges, 177232 markings/sec, 605 secs
lola: 128832733 markings, 620262270 edges, 173878 markings/sec, 610 secs
lola: 129523488 markings, 624063280 edges, 138151 markings/sec, 615 secs
lola: 130082424 markings, 627136797 edges, 111787 markings/sec, 620 secs
lola: 130674323 markings, 630391927 edges, 118380 markings/sec, 625 secs
lola: 131314100 markings, 633911468 edges, 127955 markings/sec, 630 secs
lola: 131979305 markings, 637569153 edges, 133041 markings/sec, 635 secs
lola: 132493572 markings, 640398360 edges, 102853 markings/sec, 640 secs
lola: 133026497 markings, 643328629 edges, 106585 markings/sec, 645 secs
lola: 133659707 markings, 646812791 edges, 126642 markings/sec, 650 secs
lola: 134238984 markings, 649998888 edges, 115855 markings/sec, 655 secs
lola: 134966640 markings, 654001056 edges, 145531 markings/sec, 660 secs
lola: 135737239 markings, 658238502 edges, 154120 markings/sec, 665 secs
lola: 136255290 markings, 661088450 edges, 103610 markings/sec, 670 secs
lola: 136806771 markings, 664120600 edges, 110296 markings/sec, 675 secs
lola: 137273601 markings, 666687781 edges, 93366 markings/sec, 680 secs
lola: 137866817 markings, 669950596 edges, 118643 markings/sec, 685 secs
lola: 138388816 markings, 672823234 edges, 104400 markings/sec, 690 secs
lola: 139090371 markings, 676681915 edges, 140311 markings/sec, 695 secs
lola: 139700527 markings, 680037531 edges, 122031 markings/sec, 700 secs
lola: 140221140 markings, 682900480 edges, 104123 markings/sec, 705 secs
lola: 140622013 markings, 685106081 edges, 80175 markings/sec, 710 secs
lola: 141178088 markings, 688163367 edges, 111215 markings/sec, 715 secs
lola: 141708394 markings, 691080246 edges, 106061 markings/sec, 720 secs
lola: 142187889 markings, 693718439 edges, 95899 markings/sec, 725 secs
lola: 142657838 markings, 696302641 edges, 93990 markings/sec, 730 secs
lola: 143200573 markings, 699287800 edges, 108547 markings/sec, 735 secs
lola: 143732119 markings, 702210466 edges, 106309 markings/sec, 740 secs
lola: 144328208 markings, 705489699 edges, 119218 markings/sec, 745 secs
lola: 144841435 markings, 708311759 edges, 102645 markings/sec, 750 secs
lola: 145465162 markings, 711743826 edges, 124745 markings/sec, 755 secs
lola: 145982470 markings, 714589070 edges, 103462 markings/sec, 760 secs
lola: 146416011 markings, 716973511 edges, 86708 markings/sec, 765 secs
lola: 146849892 markings, 719358628 edges, 86776 markings/sec, 770 secs
lola: 147225364 markings, 721423896 edges, 75094 markings/sec, 775 secs
lola: 147623831 markings, 723616691 edges, 79693 markings/sec, 780 secs
lola: 148057088 markings, 725998313 edges, 86651 markings/sec, 785 secs
lola: 148723960 markings, 729666609 edges, 133374 markings/sec, 790 secs
lola: 149069117 markings, 731565267 edges, 69031 markings/sec, 795 secs
lola: 149615676 markings, 734571210 edges, 109312 markings/sec, 800 secs
lola: 150057820 markings, 737003086 edges, 88429 markings/sec, 805 secs
lola: 150592351 markings, 739942471 edges, 106906 markings/sec, 810 secs
lola: 151168328 markings, 743111221 edges, 115195 markings/sec, 815 secs
lola: 151798658 markings, 746577625 edges, 126066 markings/sec, 820 secs
lola: 152191556 markings, 748739540 edges, 78580 markings/sec, 825 secs
lola: 152621847 markings, 751105735 edges, 86058 markings/sec, 830 secs
lola: 153097940 markings, 753724156 edges, 95219 markings/sec, 835 secs
lola: 153600618 markings, 756488286 edges, 100536 markings/sec, 840 secs
lola: 154013283 markings, 758759190 edges, 82533 markings/sec, 845 secs
lola: 154693635 markings, 762502425 edges, 136070 markings/sec, 850 secs
lola: 155205824 markings, 765318578 edges, 102438 markings/sec, 855 secs
lola: 155835935 markings, 768783594 edges, 126022 markings/sec, 860 secs
lola: 156202197 markings, 770798506 edges, 73252 markings/sec, 865 secs
lola: 156391771 markings, 771841338 edges, 37915 markings/sec, 870 secs
lola: 156496007 markings, 772413286 edges, 20847 markings/sec, 875 secs
lola: 156496042 markings, 772413487 edges, 7 markings/sec, 880 secs
lola: 156601332 markings, 772993545 edges, 21058 markings/sec, 885 secs
lola: 156864445 markings, 774441033 edges, 52623 markings/sec, 890 secs
lola: 157074611 markings, 775596273 edges, 42033 markings/sec, 895 secs
lola: 157510720 markings, 777994355 edges, 87222 markings/sec, 900 secs
lola: 157615990 markings, 778574134 edges, 21054 markings/sec, 905 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: unknown no no yes yes no no no unknown yes no no
lola:
preliminary result: unknown no no yes yes no no no unknown yes no no
lola: memory consumption: 3144 KB
lola: time consumption: 2716 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-N2000P0"
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-N2000P0, 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-158987806500250"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N2000P0.tgz
mv ClientsAndServers-PT-N2000P0 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 ;