About the Execution of ITS-LoLa for ClientsAndServers-PT-N5000P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15798.520 | 3600000.00 | 3587386.00 | 67490.60 | ?FFFFFTF?T?TF?FF | 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-158987806500258.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-N5000P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806500258
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 204K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.1K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 26 07:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K 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-N5000P0-00
FORMULA_NAME ClientsAndServers-PT-N5000P0-01
FORMULA_NAME ClientsAndServers-PT-N5000P0-02
FORMULA_NAME ClientsAndServers-PT-N5000P0-03
FORMULA_NAME ClientsAndServers-PT-N5000P0-04
FORMULA_NAME ClientsAndServers-PT-N5000P0-05
FORMULA_NAME ClientsAndServers-PT-N5000P0-06
FORMULA_NAME ClientsAndServers-PT-N5000P0-07
FORMULA_NAME ClientsAndServers-PT-N5000P0-08
FORMULA_NAME ClientsAndServers-PT-N5000P0-09
FORMULA_NAME ClientsAndServers-PT-N5000P0-10
FORMULA_NAME ClientsAndServers-PT-N5000P0-11
FORMULA_NAME ClientsAndServers-PT-N5000P0-12
FORMULA_NAME ClientsAndServers-PT-N5000P0-13
FORMULA_NAME ClientsAndServers-PT-N5000P0-14
FORMULA_NAME ClientsAndServers-PT-N5000P0-15
=== Now, execution of the tool begins
BK_START 1591258846488
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 08:20:49] [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 08:20:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 08:20:49] [INFO ] Load time of PNML (sax parser for PT used): 47 ms
[2020-06-04 08:20:49] [INFO ] Transformed 25 places.
[2020-06-04 08:20:49] [INFO ] Transformed 18 transitions.
[2020-06-04 08:20:49] [INFO ] Parsed PT model containing 25 places and 18 transitions in 120 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 28 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100007 steps, including 0 resets, run finished after 109 ms. (steps per millisecond=917 ) properties seen :[1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 0]
// Phase 1: matrix 18 rows 25 cols
[2020-06-04 08:20:50] [INFO ] Computed 8 place invariants in 7 ms
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive place invariants in 26 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using state equation in 27 ms returned sat
[2020-06-04 08:20:50] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 7 ms.
[2020-06-04 08:20:50] [INFO ] Added : 8 causal constraints over 2 iterations in 47 ms. Result :sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using state equation in 27 ms returned sat
[2020-06-04 08:20:50] [INFO ] Solution in real domain found non-integer solution.
[2020-06-04 08:20:50] [INFO ] [Nat]Absence check using 5 positive place invariants in 16 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Nat]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:50] [INFO ] [Nat]Absence check using state equation in 23 ms returned sat
[2020-06-04 08:20:50] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 7 ms.
[2020-06-04 08:20:50] [INFO ] Added : 9 causal constraints over 2 iterations in 31 ms. Result :sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using state equation in 20 ms returned sat
[2020-06-04 08:20:50] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 4 ms.
[2020-06-04 08:20:50] [INFO ] Added : 13 causal constraints over 3 iterations in 33 ms. Result :sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive place invariants in 5 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using state equation in 16 ms returned sat
[2020-06-04 08:20:50] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 4 ms.
[2020-06-04 08:20:50] [INFO ] Added : 12 causal constraints over 3 iterations in 22 ms. Result :sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using state equation in 26 ms returned sat
[2020-06-04 08:20:50] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 9 ms.
[2020-06-04 08:20:50] [INFO ] Added : 9 causal constraints over 2 iterations in 27 ms. Result :sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using state equation in 34 ms returned sat
[2020-06-04 08:20:50] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 6 ms.
[2020-06-04 08:20:50] [INFO ] Added : 11 causal constraints over 3 iterations in 29 ms. Result :sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 7 ms returned sat
[2020-06-04 08:20:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:50] [INFO ] [Real]Absence check using state equation in 24 ms returned sat
[2020-06-04 08:20:50] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 9 ms.
[2020-06-04 08:20:50] [INFO ] Added : 10 causal constraints over 2 iterations in 28 ms. Result :sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using state equation in 28 ms returned sat
[2020-06-04 08:20:51] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 4 ms.
[2020-06-04 08:20:51] [INFO ] Added : 11 causal constraints over 3 iterations in 25 ms. Result :sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned unsat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 5 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using state equation in 24 ms returned sat
[2020-06-04 08:20:51] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 4 ms.
[2020-06-04 08:20:51] [INFO ] Added : 9 causal constraints over 2 iterations in 19 ms. Result :sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive place invariants in 9 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using state equation in 18 ms returned sat
[2020-06-04 08:20:51] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 4 ms.
[2020-06-04 08:20:51] [INFO ] Added : 7 causal constraints over 2 iterations in 21 ms. Result :sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive place invariants in 5 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using state equation in 26 ms returned sat
[2020-06-04 08:20:51] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 4 ms.
[2020-06-04 08:20:51] [INFO ] Added : 14 causal constraints over 3 iterations in 25 ms. Result :sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using state equation in 23 ms returned sat
[2020-06-04 08:20:51] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 5 ms.
[2020-06-04 08:20:51] [INFO ] Added : 15 causal constraints over 3 iterations in 27 ms. Result :sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive place invariants in 6 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-04 08:20:51] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 5 ms.
[2020-06-04 08:20:51] [INFO ] Added : 13 causal constraints over 3 iterations in 25 ms. Result :sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive place invariants in 7 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 4 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using state equation in 22 ms returned sat
[2020-06-04 08:20:51] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 7 ms.
[2020-06-04 08:20:51] [INFO ] Added : 16 causal constraints over 4 iterations in 32 ms. Result :sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive place invariants in 7 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using 5 positive and 3 generalized place invariants in 3 ms returned sat
[2020-06-04 08:20:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-04 08:20:51] [INFO ] [Real]Absence check using state equation in 46 ms returned sat
[2020-06-04 08:20:51] [INFO ] Computed and/alt/rep : 17/21/17 causal constraints in 8 ms.
[2020-06-04 08:20:51] [INFO ] Added : 7 causal constraints over 2 iterations in 31 ms. Result :sat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-04 08:20:52] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-06-04 08:20:52] [INFO ] Flatten gal took : 51 ms
FORMULA ClientsAndServers-PT-N5000P0-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 08:20:52] [INFO ] Flatten gal took : 12 ms
[2020-06-04 08:20:52] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 5 ms.
[2020-06-04 08:20:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N5000P0 @ 3570 seconds
FORMULA ClientsAndServers-PT-N5000P0-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-08 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N5000P0-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ClientsAndServers-PT-N5000P0
{
"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 08:20:53 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G ((1 <= p9)))",
"processed_size": 17,
"rewrites": 82
},
"result":
{
"edges": 359986,
"markings": 339988,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 256
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 3,
"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": "X (X (X (G (((1 <= p5) AND (1 <= p15))))))",
"processed_size": 42,
"rewrites": 82
},
"result":
{
"edges": 250001,
"markings": 250001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 277
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 3,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "X (X (G ((G (((1 <= p2))) OR (G ((1 <= p6)) AND (1 <= p2))))))",
"processed_size": 62,
"rewrites": 82
},
"result":
{
"edges": 250001,
"markings": 250001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"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": 302
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 3,
"X": 2,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "X ((X ((G ((1 <= p18)) AND ((1 <= p5) AND (1 <= p15)))) U ((((p7 <= 0) OR (p23 <= 0)) U (1 <= p6)) U (1 <= p9))))",
"processed_size": 114,
"rewrites": 82
},
"result":
{
"edges": 250002,
"markings": 250002,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 15
},
"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": 332
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 332
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((1 <= p3))",
"processed_size": 11,
"rewrites": 82
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 5,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 369
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"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": "((p3 <= 0))",
"processed_size": 11,
"rewrites": 84
},
"result":
{
"edges": 50000,
"markings": 50001,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 5,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 369
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 369
},
"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 ((p12 <= 0)))",
"processed_size": 18,
"rewrites": 82
},
"result":
{
"edges": 270013,
"markings": 260012,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "stabilization",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 422
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "X ((X (G ((F ((1 <= p12)) AND (F ((1 <= p20)) OR (1 <= p12))))) OR (1 <= p24)))",
"processed_size": 79,
"rewrites": 82
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 422
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "X (F ((X (X (X (F ((1 <= p9))))) AND G ((1 <= p9)))))",
"processed_size": 53,
"rewrites": 82
},
"result":
{
"edges": 250001,
"markings": 250001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 528
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 6,
"aconj": 2,
"adisj": 0,
"aneg": 3,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "G (F ((X (X (X (((p5 <= 0) OR (p15 <= 0))))) AND (F ((p12 <= 0)) OR X (X (X (G (((p5 <= 0) OR (p15 <= 0))))))))))",
"processed_size": 115,
"rewrites": 82
},
"result":
{
"edges": 1250145,
"markings": 1120147,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 24
},
"compoundnumber": 11,
"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": 704
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "F (G (((1 <= p2))))",
"processed_size": 19,
"rewrites": 82
},
"result":
{
"edges": 140012,
"markings": 140011,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 12,
"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": 1056
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "G (((p8 <= 0) OR (p15 <= 0)))",
"processed_size": 30,
"rewrites": 82
},
"result":
{
"edges": 40020,
"markings": 40020,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2111
},
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(X (F ((1 <= p6))) U (1 <= p22))",
"processed_size": 32,
"rewrites": 82
},
"result":
{
"edges": 250001,
"markings": 250001,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 17,
"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": false
},
"task":
{
"compoundnumber": 17,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 444,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "G((X(((F(*) OR **) AND (** AND **))) OR F(**))) : (F(G(**)) AND X(G(*))) : X(X(X(G(**)))) : X(X(G((G(**) OR (G(**) AND **))))) : X((X((G(**) AND (** AND **))) U ((** U **) U **))) : G(**) : (X(**) OR (F(**) OR **)) : F(G(**)) : X(((X(X(X((X(F(**)) OR **)))) U **) OR G(**))) : (X((X(G((F(**) AND (F(**) OR **)))) OR **)) OR (X(F((X(G((F(**) AND (F(**) OR **)))) OR **))) AND F(G(*)))) : (((** U (F(**) AND **)) U G(**)) OR F(**)) : ((X(F(**)) U **) AND (F(**) OR X(**))) : X(F(**)) : X(F((X(X(X(F(**)))) AND G(**)))) : G(F((X(X(X(*))) AND (F(*) OR X(X(X(G(*))))))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"interim_value": "unknown no no no no no yes no unknown yes unknown no unknown no no ",
"preliminary_value": "unknown no no no no no yes no unknown yes unknown no unknown no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: G ((X ((((NOT(G ((1 <= p18))) OR (1 <= p22)) AND (1 <= p0)) AND (1 <= p13))) OR F (((1 <= p0) AND (1 <= p13))))) : (NOT(F (G (NOT(G ((1 <= p9)))))) AND X (NOT(F ((1 <= p10))))) : G (X (NOT(F (NOT(X (X (((1 <= p5) AND (1 <= p15))))))))) : G (X (G (X ((G (((1 <= p2))) OR (G (((1 <= p6) U (1 <= p6))) AND (1 <= p2))))))) : X ((X (((G ((1 <= p18)) AND (1 <= p5)) AND (1 <= p15))) U ((((p7 <= 0) OR (p23 <= 0)) U (1 <= p6)) U (1 <= p9)))) : G (((p8 <= 0) OR (p15 <= 0))) : ((X ((1 <= p24)) OR F (((1 <= p3)))) OR ((1 <= p3))) : F (X (F (X (X (G (((1 <= p2)))))))) : X (((X (X (X ((F (X ((1 <= p22))) OR (p12 <= 0))))) U ((1 <= p1) AND (1 <= p19))) OR G ((1 <= p12)))) : (NOT(X (G (F ((1 <= p12))))) U X ((G (X ((F ((1 <= p20)) U (1 <= p12)))) OR (1 <= p24)))) : (((((1 <= p0) AND (1 <= p13)) U (F (((1 <= p2))) AND (1 <= p12))) U G ((1 <= p20))) OR F (((1 <= p2)))) : ((X (F ((1 <= p6))) U (1 <= p22)) AND (F ((1 <= p22)) OR X ((1 <= p6)))) : F (X (F ((((p4 <= 0) OR (p21 <= 0)) U F (((1 <= p7) AND (1 <= p23))))))) : F (X ((NOT(X (G (NOT(X (X ((1 <= p9))))))) AND G ((1 <= p9))))) : X (G (X (F (NOT((G ((1 <= p12)) U X (X (X (((1 <= p5) AND (1 <= p15)))))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:416
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((X (((F ((p18 <= 0)) OR (1 <= p22)) AND ((1 <= p0) AND (1 <= p13)))) OR F (((1 <= p0) AND (1 <= p13)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (((F ((p18 <= 0)) OR (1 <= p22)) AND ((1 <= p0) AND (1 <= p13)))) OR F (((1 <= p0) AND (1 <= p13)))))
lola: processed formula length: 107
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3178389 markings, 4736512 edges, 635678 markings/sec, 0 secs
lola: 6374836 markings, 9530827 edges, 639289 markings/sec, 5 secs
lola: 9521650 markings, 14250870 edges, 629363 markings/sec, 10 secs
lola: 12642449 markings, 18931280 edges, 624160 markings/sec, 15 secs
lola: 15793830 markings, 23657129 edges, 630276 markings/sec, 20 secs
lola: 18894653 markings, 28309332 edges, 620165 markings/sec, 25 secs
lola: 22051726 markings, 33043053 edges, 631415 markings/sec, 30 secs
lola: 25160659 markings, 37708204 edges, 621787 markings/sec, 35 secs
lola: 28309053 markings, 42430833 edges, 629679 markings/sec, 40 secs
lola: 31542985 markings, 47281501 edges, 646786 markings/sec, 45 secs
lola: 34837487 markings, 52221842 edges, 658900 markings/sec, 50 secs
lola: 37954508 markings, 56897767 edges, 623404 markings/sec, 55 secs
lola: 41124834 markings, 61652862 edges, 634065 markings/sec, 60 secs
lola: 44094471 markings, 66107373 edges, 593927 markings/sec, 65 secs
lola: 47314633 markings, 70937134 edges, 644032 markings/sec, 70 secs
lola: 50440097 markings, 75625840 edges, 625093 markings/sec, 75 secs
lola: 53551799 markings, 80292640 edges, 622340 markings/sec, 80 secs
lola: 56710466 markings, 85029301 edges, 631733 markings/sec, 85 secs
lola: 59859452 markings, 89755230 edges, 629797 markings/sec, 90 secs
lola: 63084512 markings, 94591189 edges, 645012 markings/sec, 95 secs
lola: 66282573 markings, 99387551 edges, 639612 markings/sec, 100 secs
lola: 69393227 markings, 104052823 edges, 622131 markings/sec, 105 secs
lola: 72678994 markings, 108981480 edges, 657153 markings/sec, 110 secs
lola: 75970479 markings, 113918414 edges, 658297 markings/sec, 115 secs
lola: 79266042 markings, 118862630 edges, 659113 markings/sec, 120 secs
lola: 82553530 markings, 123792071 edges, 657498 markings/sec, 125 secs
lola: 85817625 markings, 128687556 edges, 652819 markings/sec, 130 secs
lola: 89132730 markings, 133662815 edges, 663021 markings/sec, 135 secs
lola: 92527217 markings, 138755895 edges, 678897 markings/sec, 140 secs
lola: 96007286 markings, 143973401 edges, 696014 markings/sec, 145 secs
lola: 99815568 markings, 149686067 edges, 761656 markings/sec, 150 secs
lola: 102380923 markings, 154694957 edges, 513071 markings/sec, 155 secs
lola: 104813525 markings, 159558415 edges, 486520 markings/sec, 160 secs
lola: 107248657 markings, 164427309 edges, 487026 markings/sec, 165 secs
lola: 109612992 markings, 169155138 edges, 472867 markings/sec, 170 secs
lola: 111989266 markings, 173909939 edges, 475255 markings/sec, 175 secs
lola: 114448268 markings, 178824323 edges, 491800 markings/sec, 180 secs
lola: 116840271 markings, 183610877 edges, 478401 markings/sec, 185 secs
lola: 119256914 markings, 188443176 edges, 483329 markings/sec, 190 secs
lola: 121680227 markings, 193287123 edges, 484663 markings/sec, 195 secs
lola: 123480004 markings, 196887709 edges, 359955 markings/sec, 200 secs
lola: 125635441 markings, 201198412 edges, 431087 markings/sec, 205 secs
lola: 127471778 markings, 204870339 edges, 367267 markings/sec, 210 secs
lola: 129799291 markings, 209523109 edges, 465503 markings/sec, 215 secs
lola: 130899864 markings, 211724333 edges, 220115 markings/sec, 220 secs
lola: 132731987 markings, 215391070 edges, 366425 markings/sec, 225 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (G ((1 <= p9))) AND X (G ((p10 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((1 <= p9)))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((1 <= p9)))
lola: processed formula length: 17
lola: 82 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: 339988 markings, 359986 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (G (((1 <= p5) AND (1 <= p15))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (G (((1 <= p5) AND (1 <= p15))))))
lola: processed formula length: 42
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 250001 markings, 250001 edges
lola: ========================================
lola: subprocess 3 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (G ((G (((1 <= p2))) OR (G ((1 <= p6)) AND (1 <= p2))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (G ((G (((1 <= p2))) OR (G ((1 <= p6)) AND (1 <= p2))))))
lola: processed formula length: 62
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 250001 markings, 250001 edges
lola: ========================================
lola: subprocess 4 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((G ((1 <= p18)) AND ((1 <= p5) AND (1 <= p15)))) U ((((p7 <= 0) OR (p23 <= 0)) U (1 <= p6)) U (1 <= p9))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((G ((1 <= p18)) AND ((1 <= p5) AND (1 <= p15)))) U ((((p7 <= 0) OR (p23 <= 0)) U (1 <= p6)) U (1 <= p9))))
lola: processed formula length: 114
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 250002 markings, 250002 edges
lola: ========================================
lola: subprocess 5 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((1 <= p24)) OR (F (((1 <= p3))) OR ((1 <= p3))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p3))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p3))
lola: processed formula length: 11
lola: 82 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 6 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p3)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p3 <= 0))
lola: processed formula length: 11
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 50001 markings, 50000 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 6 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((X (X (X ((X (F ((1 <= p22))) OR (p12 <= 0))))) U ((1 <= p1) AND (1 <= p19))) OR G ((1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((X (X (X ((X (F ((1 <= p22))) OR (p12 <= 0))))) U ((1 <= p1) AND (1 <= p19))) OR G ((1 <= p12))))
lola: processed formula length: 101
lola: 82 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: 2134684 markings, 5081565 edges, 426937 markings/sec, 0 secs
lola: 3760745 markings, 10058524 edges, 325212 markings/sec, 5 secs
lola: 5350857 markings, 14915033 edges, 318022 markings/sec, 10 secs
lola: 6863050 markings, 19645860 edges, 302439 markings/sec, 15 secs
lola: 8371297 markings, 24295943 edges, 301649 markings/sec, 20 secs
lola: 9933062 markings, 29178983 edges, 312353 markings/sec, 25 secs
lola: 11444276 markings, 33916983 edges, 302243 markings/sec, 30 secs
lola: 12908935 markings, 38519353 edges, 292932 markings/sec, 35 secs
lola: 14306900 markings, 43007492 edges, 279593 markings/sec, 40 secs
lola: 15782193 markings, 47611253 edges, 295059 markings/sec, 45 secs
lola: 17246048 markings, 52201444 edges, 292771 markings/sec, 50 secs
lola: 18631742 markings, 56672747 edges, 277139 markings/sec, 55 secs
lola: 20029702 markings, 61023739 edges, 279592 markings/sec, 60 secs
lola: 21376606 markings, 65396068 edges, 269381 markings/sec, 65 secs
lola: 22798076 markings, 69813631 edges, 284294 markings/sec, 70 secs
lola: 24108878 markings, 74066933 edges, 262160 markings/sec, 75 secs
lola: 25506446 markings, 78420592 edges, 279514 markings/sec, 80 secs
lola: 26918056 markings, 82980004 edges, 282322 markings/sec, 85 secs
lola: 28301716 markings, 87474249 edges, 276732 markings/sec, 90 secs
lola: 29779994 markings, 92066006 edges, 295656 markings/sec, 95 secs
lola: 31129234 markings, 96467953 edges, 269848 markings/sec, 100 secs
lola: 32541638 markings, 100878210 edges, 282481 markings/sec, 105 secs
lola: 33916004 markings, 105292834 edges, 274873 markings/sec, 110 secs
lola: 35221093 markings, 109559408 edges, 261018 markings/sec, 115 secs
lola: 36548838 markings, 113772826 edges, 265549 markings/sec, 120 secs
lola: 37861376 markings, 117906499 edges, 262508 markings/sec, 125 secs
lola: 39118066 markings, 122002071 edges, 251338 markings/sec, 130 secs
lola: 40296540 markings, 125880615 edges, 235695 markings/sec, 135 secs
lola: 41659518 markings, 130075021 edges, 272596 markings/sec, 140 secs
lola: 43008872 markings, 134435781 edges, 269871 markings/sec, 145 secs
lola: 44315754 markings, 138712562 edges, 261376 markings/sec, 150 secs
lola: 45625901 markings, 143013971 edges, 262029 markings/sec, 155 secs
lola: 47057692 markings, 147405761 edges, 286358 markings/sec, 160 secs
lola: 48358982 markings, 151620183 edges, 260258 markings/sec, 165 secs
lola: 49649558 markings, 155841889 edges, 258115 markings/sec, 170 secs
lola: 50912947 markings, 160003449 edges, 252678 markings/sec, 175 secs
lola: 52247653 markings, 164169154 edges, 266941 markings/sec, 180 secs
lola: 53608120 markings, 168483510 edges, 272093 markings/sec, 185 secs
lola: 54870139 markings, 172607693 edges, 252404 markings/sec, 190 secs
lola: 56133800 markings, 176755727 edges, 252732 markings/sec, 195 secs
lola: 57372943 markings, 180860496 edges, 247829 markings/sec, 200 secs
lola: 58764138 markings, 185113562 edges, 278239 markings/sec, 205 secs
lola: 60045832 markings, 189237341 edges, 256339 markings/sec, 210 secs
lola: 61267840 markings, 193231538 edges, 244402 markings/sec, 215 secs
lola: 62494884 markings, 197255046 edges, 245409 markings/sec, 220 secs
lola: 63691105 markings, 201217683 edges, 239244 markings/sec, 225 secs
lola: 64885490 markings, 205174554 edges, 238877 markings/sec, 230 secs
lola: 66345806 markings, 209556208 edges, 292063 markings/sec, 235 secs
lola: 67685060 markings, 213916603 edges, 267851 markings/sec, 240 secs
lola: 69040403 markings, 218352608 edges, 271069 markings/sec, 245 secs
lola: 70371378 markings, 222741224 edges, 266195 markings/sec, 250 secs
lola: 71693718 markings, 227126886 edges, 264468 markings/sec, 255 secs
lola: 73139454 markings, 231620865 edges, 289147 markings/sec, 260 secs
lola: 74487488 markings, 235879522 edges, 269607 markings/sec, 265 secs
lola: 75795174 markings, 240144283 edges, 261537 markings/sec, 270 secs
lola: 77095050 markings, 244411365 edges, 259975 markings/sec, 275 secs
lola: 78372858 markings, 248641071 edges, 255562 markings/sec, 280 secs
lola: 79678980 markings, 252952035 edges, 261224 markings/sec, 285 secs
lola: 80971741 markings, 257170688 edges, 258552 markings/sec, 290 secs
lola: 82396494 markings, 261475989 edges, 284951 markings/sec, 295 secs
lola: 83666080 markings, 265605259 edges, 253917 markings/sec, 300 secs
lola: 84922232 markings, 269729427 edges, 251230 markings/sec, 305 secs
lola: 86188023 markings, 273904096 edges, 253158 markings/sec, 310 secs
lola: 87446036 markings, 278046572 edges, 251603 markings/sec, 315 secs
lola: 88704544 markings, 282217807 edges, 251702 markings/sec, 320 secs
lola: 89928568 markings, 286292665 edges, 244805 markings/sec, 325 secs
lola: 91375810 markings, 290587057 edges, 289448 markings/sec, 330 secs
lola: 92610424 markings, 294593304 edges, 246923 markings/sec, 335 secs
lola: 93830694 markings, 298581058 edges, 244054 markings/sec, 340 secs
lola: 95044786 markings, 302577394 edges, 242818 markings/sec, 345 secs
lola: 96190874 markings, 306369612 edges, 229218 markings/sec, 350 secs
lola: 97376860 markings, 310298343 edges, 237197 markings/sec, 355 secs
lola: 98542120 markings, 314156139 edges, 233052 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no no unknown yes unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((X (G ((F ((1 <= p12)) AND (F ((1 <= p20)) OR (1 <= p12))))) OR (1 <= p24))) OR (X (F ((X (G ((F ((1 <= p12)) AND (F ((1 <= p20)) OR (1 <= p12))))) OR (1 <= p24)))) AND F (G ((p12 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 369 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((p12 <= 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 ((p12 <= 0)))
lola: processed formula length: 18
lola: 82 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: 260012 markings, 270013 edges
lola: ========================================
lola: subprocess 8 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X (G ((F ((1 <= p12)) AND (F ((1 <= p20)) OR (1 <= p12))))) OR (1 <= p24)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X (G ((F ((1 <= p12)) AND (F ((1 <= p20)) OR (1 <= p12))))) OR (1 <= p24)))
lola: processed formula length: 79
lola: 82 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: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 8 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((X (F ((1 <= p6))) U (1 <= p22)) AND (F ((1 <= p22)) OR X ((1 <= p6))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((1 <= p22))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p22 <= 0)
lola: processed formula length: 10
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 3912277 markings, 5730474 edges, 782455 markings/sec, 0 secs
lola: 7824391 markings, 11496529 edges, 782423 markings/sec, 5 secs
lola: 11702104 markings, 17151597 edges, 775543 markings/sec, 10 secs
lola: 15490483 markings, 22621641 edges, 757676 markings/sec, 15 secs
lola: 19270850 markings, 28033023 edges, 756073 markings/sec, 20 secs
lola: 23070341 markings, 33428250 edges, 759898 markings/sec, 25 secs
lola: 26911741 markings, 38840550 edges, 768280 markings/sec, 30 secs
lola: 30767309 markings, 44232901 edges, 771114 markings/sec, 35 secs
lola: 34634319 markings, 49604204 edges, 773402 markings/sec, 40 secs
lola: 38504753 markings, 54947749 edges, 774087 markings/sec, 45 secs
lola: 42339509 markings, 60209375 edges, 766951 markings/sec, 50 secs
lola: 46223804 markings, 65511593 edges, 776859 markings/sec, 55 secs
lola: 50056889 markings, 70714043 edges, 766617 markings/sec, 60 secs
lola: 53880734 markings, 75878301 edges, 764769 markings/sec, 65 secs
lola: 57747563 markings, 81075415 edges, 773366 markings/sec, 70 secs
lola: 61740967 markings, 86417895 edges, 798681 markings/sec, 75 secs
lola: 65714047 markings, 91708669 edges, 794616 markings/sec, 80 secs
lola: 69693051 markings, 96984406 edges, 795801 markings/sec, 85 secs
lola: 73686385 markings, 102259270 edges, 798667 markings/sec, 90 secs
lola: 77677357 markings, 107509763 edges, 798194 markings/sec, 95 secs
lola: 81648761 markings, 112716368 edges, 794281 markings/sec, 100 secs
lola: 85603338 markings, 117881156 edges, 790915 markings/sec, 105 secs
lola: 89553706 markings, 123022404 edges, 790074 markings/sec, 110 secs
lola: 93551130 markings, 128209110 edges, 799485 markings/sec, 115 secs
lola: 97518722 markings, 133338776 edges, 793518 markings/sec, 120 secs
lola: 101466521 markings, 138430669 edges, 789560 markings/sec, 125 secs
lola: 105381735 markings, 143462930 edges, 783043 markings/sec, 130 secs
lola: 109327896 markings, 148524106 edges, 789232 markings/sec, 135 secs
lola: 113256025 markings, 153544739 edges, 785626 markings/sec, 140 secs
lola: 117124139 markings, 158478849 edges, 773623 markings/sec, 145 secs
lola: 120952299 markings, 163348736 edges, 765632 markings/sec, 150 secs
lola: 124773110 markings, 168197359 edges, 764162 markings/sec, 155 secs
lola: 128662910 markings, 173121274 edges, 777960 markings/sec, 160 secs
lola: 132536656 markings, 178014814 edges, 774749 markings/sec, 165 secs
lola: 136410868 markings, 182898395 edges, 774842 markings/sec, 170 secs
lola: 140326463 markings, 187823456 edges, 783119 markings/sec, 175 secs
lola: 144236039 markings, 192731263 edges, 781915 markings/sec, 180 secs
lola: 148186573 markings, 197677308 edges, 790107 markings/sec, 185 secs
lola: 152124550 markings, 202601191 edges, 787595 markings/sec, 190 secs
lola: 156050191 markings, 207498166 edges, 785128 markings/sec, 195 secs
lola: 159999369 markings, 212416329 edges, 789836 markings/sec, 200 secs
lola: 163936650 markings, 217311069 edges, 787456 markings/sec, 205 secs
lola: 167900510 markings, 222227954 edges, 792772 markings/sec, 210 secs
lola: 171854381 markings, 227124025 edges, 790774 markings/sec, 215 secs
lola: 175795080 markings, 231997600 edges, 788140 markings/sec, 220 secs
lola: 179747528 markings, 236875755 edges, 790490 markings/sec, 225 secs
lola: 183698444 markings, 241745241 edges, 790183 markings/sec, 230 secs
lola: 187655124 markings, 246613073 edges, 791336 markings/sec, 235 secs
lola: 191616210 markings, 251480526 edges, 792217 markings/sec, 240 secs
lola: 195564511 markings, 256322312 edges, 789660 markings/sec, 245 secs
lola: 199503711 markings, 261148199 edges, 787840 markings/sec, 250 secs
lola: 203493492 markings, 266027817 edges, 797956 markings/sec, 255 secs
lola: 207462277 markings, 270873792 edges, 793757 markings/sec, 260 secs
lola: 211510982 markings, 275810703 edges, 809741 markings/sec, 265 secs
lola: 215599788 markings, 280790801 edges, 817761 markings/sec, 270 secs
lola: 219675860 markings, 285749412 edges, 815214 markings/sec, 275 secs
lola: 223750745 markings, 290697628 edges, 814977 markings/sec, 280 secs
lola: 227798939 markings, 295607514 edges, 809639 markings/sec, 285 secs
lola: 231834043 markings, 300497198 edges, 807021 markings/sec, 290 secs
lola: 235893853 markings, 305408743 edges, 811962 markings/sec, 295 secs
lola: 239960591 markings, 310323553 edges, 813348 markings/sec, 300 secs
lola: 243998218 markings, 315195747 edges, 807525 markings/sec, 305 secs
lola: 248050479 markings, 320080421 edges, 810452 markings/sec, 310 secs
lola: 252104223 markings, 324962232 edges, 810749 markings/sec, 315 secs
lola: 256152668 markings, 329831515 edges, 809689 markings/sec, 320 secs
lola: 260181752 markings, 334672578 edges, 805817 markings/sec, 325 secs
lola: 264231799 markings, 339534267 edges, 810009 markings/sec, 330 secs
lola: 268062383 markings, 344126428 edges, 766117 markings/sec, 335 secs
lola: 272104446 markings, 348967634 edges, 808413 markings/sec, 340 secs
lola: 276140684 markings, 353796290 edges, 807248 markings/sec, 345 secs
lola: 280182145 markings, 358626879 edges, 808292 markings/sec, 350 secs
lola: 284209232 markings, 363435153 edges, 805417 markings/sec, 355 secs
lola: 288250955 markings, 368256447 edges, 808345 markings/sec, 360 secs
lola: 292297014 markings, 373078358 edges, 809212 markings/sec, 365 secs
lola: 296037408 markings, 377531759 edges, 748079 markings/sec, 370 secs
lola: 300074461 markings, 382333437 edges, 807411 markings/sec, 375 secs
lola: 304117254 markings, 387139092 edges, 808559 markings/sec, 380 secs
lola: 308180458 markings, 391963528 edges, 812641 markings/sec, 385 secs
lola: 312207384 markings, 396740757 edges, 805385 markings/sec, 390 secs
lola: 316291423 markings, 401580871 edges, 816808 markings/sec, 395 secs
lola: 320373446 markings, 406415811 edges, 816405 markings/sec, 400 secs
lola: 324391398 markings, 411169510 edges, 803590 markings/sec, 405 secs
lola: 328380801 markings, 415886350 edges, 797881 markings/sec, 410 secs
lola: 332401943 markings, 420636666 edges, 804228 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no no unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no no unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: memory consumption: 2964 KB
lola: time consumption: 1034 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 9 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p7) AND (1 <= p23))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p7) AND (1 <= p23))))
lola: processed formula length: 34
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2572064 markings, 3798099 edges, 514413 markings/sec, 0 secs
lola: 4832612 markings, 7188918 edges, 452110 markings/sec, 5 secs
lola: 6878773 markings, 10258160 edges, 409232 markings/sec, 10 secs
lola: 8780253 markings, 13110380 edges, 380296 markings/sec, 15 secs
lola: 10596605 markings, 15834909 edges, 363270 markings/sec, 20 secs
lola: 12349123 markings, 18463684 edges, 350504 markings/sec, 25 secs
lola: 14098040 markings, 21087060 edges, 349783 markings/sec, 30 secs
lola: 15805378 markings, 23648067 edges, 341468 markings/sec, 35 secs
lola: 17497585 markings, 26186377 edges, 338441 markings/sec, 40 secs
lola: 19178744 markings, 28708116 edges, 336232 markings/sec, 45 secs
lola: 20852025 markings, 31218037 edges, 334656 markings/sec, 50 secs
lola: 22522233 markings, 33723349 edges, 334042 markings/sec, 55 secs
lola: 24186541 markings, 36219811 edges, 332862 markings/sec, 60 secs
lola: 25844103 markings, 38706154 edges, 331512 markings/sec, 65 secs
lola: 27488603 markings, 41172906 edges, 328900 markings/sec, 70 secs
lola: 29125699 markings, 43628548 edges, 327419 markings/sec, 75 secs
lola: 30753558 markings, 46070337 edges, 325572 markings/sec, 80 secs
lola: 32380395 markings, 48510592 edges, 325367 markings/sec, 85 secs
lola: 33997061 markings, 50935591 edges, 323333 markings/sec, 90 secs
lola: 35576283 markings, 53304424 edges, 315844 markings/sec, 95 secs
lola: 37086384 markings, 55569576 edges, 302020 markings/sec, 100 secs
lola: 38596170 markings, 57834255 edges, 301957 markings/sec, 105 secs
lola: 39979847 markings, 59909770 edges, 276735 markings/sec, 110 secs
lola: 41413742 markings, 62060613 edges, 286779 markings/sec, 115 secs
lola: 42901886 markings, 64292829 edges, 297629 markings/sec, 120 secs
lola: 44487587 markings, 66671380 edges, 317140 markings/sec, 125 secs
lola: 46058655 markings, 69027982 edges, 314214 markings/sec, 130 secs
lola: 47622085 markings, 71373127 edges, 312686 markings/sec, 135 secs
lola: 49188912 markings, 73723368 edges, 313365 markings/sec, 140 secs
lola: 50753344 markings, 76070016 edges, 312886 markings/sec, 145 secs
lola: 52312567 markings, 78408850 edges, 311845 markings/sec, 150 secs
lola: 53882364 markings, 80763546 edges, 313959 markings/sec, 155 secs
lola: 55441803 markings, 83102704 edges, 311888 markings/sec, 160 secs
lola: 57008382 markings, 85452573 edges, 313316 markings/sec, 165 secs
lola: 58551002 markings, 87766502 edges, 308524 markings/sec, 170 secs
lola: 60087152 markings, 90070728 edges, 307230 markings/sec, 175 secs
lola: 61621618 markings, 92372426 edges, 306893 markings/sec, 180 secs
lola: 63171410 markings, 94697114 edges, 309958 markings/sec, 185 secs
lola: 64691374 markings, 96977061 edges, 303993 markings/sec, 190 secs
lola: 66225146 markings, 99277719 edges, 306754 markings/sec, 195 secs
lola: 67709030 markings, 101503545 edges, 296777 markings/sec, 200 secs
lola: 69230232 markings, 103785347 edges, 304240 markings/sec, 205 secs
lola: 70750794 markings, 106066189 edges, 304112 markings/sec, 210 secs
lola: 72270752 markings, 108346128 edges, 303992 markings/sec, 215 secs
lola: 73792679 markings, 110629017 edges, 304385 markings/sec, 220 secs
lola: 75304622 markings, 112896933 edges, 302389 markings/sec, 225 secs
lola: 76813918 markings, 115160876 edges, 301859 markings/sec, 230 secs
lola: 78311924 markings, 117407886 edges, 299601 markings/sec, 235 secs
lola: 79810693 markings, 119656039 edges, 299754 markings/sec, 240 secs
lola: 81303488 markings, 121895231 edges, 298559 markings/sec, 245 secs
lola: 82802494 markings, 124143740 edges, 299801 markings/sec, 250 secs
lola: 84306508 markings, 126399762 edges, 300803 markings/sec, 255 secs
lola: 85801472 markings, 128642207 edges, 298993 markings/sec, 260 secs
lola: 87293940 markings, 130880909 edges, 298494 markings/sec, 265 secs
lola: 88781822 markings, 133112733 edges, 297576 markings/sec, 270 secs
lola: 90255915 markings, 135323872 edges, 294819 markings/sec, 275 secs
lola: 91738767 markings, 137548150 edges, 296570 markings/sec, 280 secs
lola: 93014550 markings, 139461825 edges, 255157 markings/sec, 285 secs
lola: 94315606 markings, 141413409 edges, 260211 markings/sec, 290 secs
lola: 95737104 markings, 143545655 edges, 284300 markings/sec, 295 secs
lola: 97229918 markings, 145784876 edges, 298563 markings/sec, 300 secs
lola: 98708198 markings, 148002296 edges, 295656 markings/sec, 305 secs
lola: 100251730 markings, 150368797 edges, 308706 markings/sec, 310 secs
lola: 102042998 markings, 153952379 edges, 358254 markings/sec, 315 secs
lola: 103436284 markings, 156739388 edges, 278657 markings/sec, 320 secs
lola: 104525922 markings, 158918940 edges, 217928 markings/sec, 325 secs
lola: 105545084 markings, 160957497 edges, 203832 markings/sec, 330 secs
lola: 106538540 markings, 162944612 edges, 198691 markings/sec, 335 secs
lola: 107500852 markings, 164869421 edges, 192462 markings/sec, 340 secs
lola: 108460117 markings, 166788120 edges, 191853 markings/sec, 345 secs
lola: 109593431 markings, 169054940 edges, 226663 markings/sec, 350 secs
lola: 110679384 markings, 171227018 edges, 217191 markings/sec, 355 secs
lola: 111801594 markings, 173471606 edges, 224442 markings/sec, 360 secs
lola: 112914059 markings, 175696695 edges, 222493 markings/sec, 365 secs
lola: 114020755 markings, 177910239 edges, 221339 markings/sec, 370 secs
lola: 115090318 markings, 180049506 edges, 213913 markings/sec, 375 secs
lola: 116184299 markings, 182237607 edges, 218796 markings/sec, 380 secs
lola: 117275330 markings, 184419803 edges, 218206 markings/sec, 385 secs
lola: 118362114 markings, 186593499 edges, 217357 markings/sec, 390 secs
lola: 119443660 markings, 188756718 edges, 216309 markings/sec, 395 secs
lola: 120518290 markings, 190906097 edges, 214926 markings/sec, 400 secs
lola: 121592355 markings, 193054345 edges, 214813 markings/sec, 405 secs
lola: 122659768 markings, 195189285 edges, 213483 markings/sec, 410 secs
lola: 123725009 markings, 197319877 edges, 213048 markings/sec, 415 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no no no unknown yes unknown unknown yes unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 422 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X (X (X (F ((1 <= p9))))) AND G ((1 <= p9)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X (X (X (F ((1 <= p9))))) AND G ((1 <= p9)))))
lola: processed formula length: 53
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 250001 markings, 250001 edges
lola: subprocess 11 will run for 528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F ((X (X (X (((p5 <= 0) OR (p15 <= 0))))) AND (F ((p12 <= 0)) OR X (X (X (G (((p5 <= 0) OR (p15 <= 0))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((X (X (X (((p5 <= 0) OR (p15 <= 0))))) AND (F ((p12 <= 0)) OR X (X (X (G (((p5 <= 0) OR (p15 <= 0))))))))))
lola: processed formula length: 115
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 24 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: 1120147 markings, 1250145 edges
lola: ========================================
lola: subprocess 12 will run for 704 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((1 <= p2))))
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 <= p2))))
lola: processed formula length: 19
lola: 82 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: 140011 markings, 140012 edges
lola: ========================================
lola: subprocess 13 will run for 1056 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((p8 <= 0) OR (p15 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p8 <= 0) OR (p15 <= 0)))
lola: processed formula length: 30
lola: 82 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: 40020 markings, 40020 edges
lola: ========================================
lola: subprocess 14 will run for 2111 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((((1 <= p0) AND (1 <= p13)) U (F (((1 <= p2))) AND (1 <= p12))) U G ((1 <= p20))) OR F (((1 <= p2))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 2111 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p2)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p2 <= 0))
lola: processed formula length: 11
lola: 84 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 4998510 markings, 5527063 edges, 999702 markings/sec, 0 secs
lola: 9780907 markings, 10840354 edges, 956479 markings/sec, 5 secs
lola: 14384006 markings, 15954166 edges, 920620 markings/sec, 10 secs
lola: 18859048 markings, 20925439 edges, 895008 markings/sec, 15 secs
lola: 23225509 markings, 25775857 edges, 873292 markings/sec, 20 secs
lola: 27608638 markings, 30644515 edges, 876626 markings/sec, 25 secs
lola: 31870945 markings, 35378786 edges, 852461 markings/sec, 30 secs
lola: 35888325 markings, 39840778 edges, 803476 markings/sec, 35 secs
lola: 40104547 markings, 44523404 edges, 843244 markings/sec, 40 secs
lola: 44219134 markings, 49092931 edges, 822917 markings/sec, 45 secs
lola: 48336988 markings, 53665930 edges, 823571 markings/sec, 50 secs
lola: 52567558 markings, 58363902 edges, 846114 markings/sec, 55 secs
lola: 56734755 markings, 62991244 edges, 833439 markings/sec, 60 secs
lola: 60863782 markings, 67576033 edges, 825805 markings/sec, 65 secs
lola: 64959760 markings, 72123971 edges, 819196 markings/sec, 70 secs
lola: 68964314 markings, 76570214 edges, 800911 markings/sec, 75 secs
lola: 72994478 markings, 81044725 edges, 806033 markings/sec, 80 secs
lola: 77113985 markings, 85618137 edges, 823901 markings/sec, 85 secs
lola: 81125589 markings, 90071740 edges, 802321 markings/sec, 90 secs
lola: 85040211 markings, 94417406 edges, 782924 markings/sec, 95 secs
lola: 89044757 markings, 98862811 edges, 800909 markings/sec, 100 secs
lola: 92946423 markings, 103193836 edges, 780333 markings/sec, 105 secs
lola: 96778361 markings, 107447215 edges, 766388 markings/sec, 110 secs
lola: 100964705 markings, 112093857 edges, 837269 markings/sec, 115 secs
lola: 105075880 markings, 116657027 edges, 822235 markings/sec, 120 secs
lola: 109041947 markings, 121058900 edges, 793213 markings/sec, 125 secs
lola: 113041414 markings, 125497614 edges, 799893 markings/sec, 130 secs
lola: 116884851 markings, 129763039 edges, 768687 markings/sec, 135 secs
lola: 120738847 markings, 134040176 edges, 770799 markings/sec, 140 secs
lola: 124612096 markings, 138338409 edges, 774650 markings/sec, 145 secs
lola: 128587715 markings, 142750172 edges, 795124 markings/sec, 150 secs
lola: 132446717 markings, 147032308 edges, 771800 markings/sec, 155 secs
lola: 136251592 markings, 151254401 edges, 760975 markings/sec, 160 secs
lola: 140187445 markings, 155621562 edges, 787171 markings/sec, 165 secs
lola: 143990527 markings, 159841201 edges, 760616 markings/sec, 170 secs
lola: 147816787 markings, 164086611 edges, 765252 markings/sec, 175 secs
lola: 151733707 markings, 168432438 edges, 783384 markings/sec, 180 secs
lola: 155678944 markings, 172809399 edges, 789047 markings/sec, 185 secs
lola: 159570891 markings, 177127352 edges, 778389 markings/sec, 190 secs
lola: 163345874 markings, 181315198 edges, 754997 markings/sec, 195 secs
lola: 167215042 markings, 185607552 edges, 773834 markings/sec, 200 secs
lola: 170995980 markings, 189801922 edges, 756188 markings/sec, 205 secs
lola: 174730584 markings, 193944672 edges, 746921 markings/sec, 210 secs
lola: 178493996 markings, 198119295 edges, 752682 markings/sec, 215 secs
lola: 182346127 markings, 202392358 edges, 770426 markings/sec, 220 secs
lola: 186148177 markings, 206609432 edges, 760410 markings/sec, 225 secs
lola: 189865398 markings, 210732533 edges, 743444 markings/sec, 230 secs
lola: 193657616 markings, 214938834 edges, 758444 markings/sec, 235 secs
lola: 197333961 markings, 219016259 edges, 735269 markings/sec, 240 secs
lola: 200993779 markings, 223075416 edges, 731964 markings/sec, 245 secs
lola: 204642181 markings, 227121767 edges, 729680 markings/sec, 250 secs
lola: 208756265 markings, 231684267 edges, 822817 markings/sec, 255 secs
lola: 212864018 markings, 236239808 edges, 821551 markings/sec, 260 secs
lola: 216886973 markings, 240701216 edges, 804591 markings/sec, 265 secs
lola: 220871786 markings, 245120343 edges, 796963 markings/sec, 270 secs
lola: 224839834 markings, 249520460 edges, 793610 markings/sec, 275 secs
lola: 228761808 markings, 253869491 edges, 784395 markings/sec, 280 secs
lola: 232589261 markings, 258113615 edges, 765491 markings/sec, 285 secs
lola: 236584739 markings, 262544049 edges, 799096 markings/sec, 290 secs
lola: 240435778 markings, 266814119 edges, 770208 markings/sec, 295 secs
lola: 244285324 markings, 271082405 edges, 769909 markings/sec, 300 secs
lola: 248033359 markings, 275238039 edges, 749607 markings/sec, 305 secs
lola: 251877620 markings, 279500472 edges, 768852 markings/sec, 310 secs
lola: 255579171 markings, 283604494 edges, 740310 markings/sec, 315 secs
lola: 259289119 markings, 287717452 edges, 741990 markings/sec, 320 secs
lola: 262914453 markings, 291736842 edges, 725067 markings/sec, 325 secs
lola: 266959024 markings, 296220791 edges, 808914 markings/sec, 330 secs
lola: 270911376 markings, 300602431 edges, 790470 markings/sec, 335 secs
lola: 274826707 markings, 304942809 edges, 783066 markings/sec, 340 secs
lola: 278682922 markings, 309217673 edges, 771243 markings/sec, 345 secs
lola: 282588052 markings, 313546765 edges, 781026 markings/sec, 350 secs
lola: 286396339 markings, 317768242 edges, 761657 markings/sec, 355 secs
lola: 290199353 markings, 321983833 edges, 760603 markings/sec, 360 secs
lola: 294030917 markings, 326231141 edges, 766313 markings/sec, 365 secs
lola: 297902534 markings, 330522520 edges, 774323 markings/sec, 370 secs
lola: 301684675 markings, 334714683 edges, 756428 markings/sec, 375 secs
lola: 305429882 markings, 338866017 edges, 749041 markings/sec, 380 secs
lola: 309169571 markings, 343010788 edges, 747938 markings/sec, 385 secs
lola: 312994126 markings, 347249737 edges, 764911 markings/sec, 390 secs
lola: 316689979 markings, 351346241 edges, 739171 markings/sec, 395 secs
lola: 320313160 markings, 355361562 edges, 724636 markings/sec, 400 secs
lola: 323930500 markings, 359370627 edges, 723468 markings/sec, 405 secs
lola: 328007688 markings, 363889499 edges, 815438 markings/sec, 410 secs
lola: 331955726 markings, 368264750 edges, 789608 markings/sec, 415 secs
lola: 335842734 markings, 372572421 edges, 777402 markings/sec, 420 secs
lola: 339679907 markings, 376824962 edges, 767435 markings/sec, 425 secs
lola: 343590254 markings, 381158342 edges, 782069 markings/sec, 430 secs
lola: 347333357 markings, 385306143 edges, 748621 markings/sec, 435 secs
lola: 351132635 markings, 389516255 edges, 759856 markings/sec, 440 secs
lola: 354872623 markings, 393660752 edges, 747998 markings/sec, 445 secs
lola: 358819247 markings, 398033999 edges, 789325 markings/sec, 450 secs
lola: 362654996 markings, 402284314 edges, 767150 markings/sec, 455 secs
lola: 366502810 markings, 406547927 edges, 769563 markings/sec, 460 secs
lola: 370221594 markings, 410668451 edges, 743757 markings/sec, 465 secs
lola: 374056396 markings, 414917397 edges, 766960 markings/sec, 470 secs
lola: 377803034 markings, 419068666 edges, 749328 markings/sec, 475 secs
lola: 381549226 markings, 423219340 edges, 749238 markings/sec, 480 secs
lola: 385248836 markings, 427318554 edges, 739922 markings/sec, 485 secs
lola: 389146710 markings, 431637166 edges, 779575 markings/sec, 490 secs
lola: 393052244 markings, 435964182 edges, 781107 markings/sec, 495 secs
lola: 396912902 markings, 440241230 edges, 772132 markings/sec, 500 secs
lola: 400705887 markings, 444443390 edges, 758597 markings/sec, 505 secs
lola: 404535100 markings, 448685703 edges, 765843 markings/sec, 510 secs
lola: 408337540 markings, 452898167 edges, 760488 markings/sec, 515 secs
lola: 412081481 markings, 457045954 edges, 748788 markings/sec, 520 secs
lola: 415205682 markings, 460507363 edges, 624840 markings/sec, 525 secs
lola: 418700113 markings, 464377973 edges, 698886 markings/sec, 530 secs
lola: 422009988 markings, 468044921 edges, 661975 markings/sec, 535 secs
lola: 425066587 markings, 471430814 edges, 611320 markings/sec, 540 secs
lola: 428793208 markings, 475558936 edges, 745324 markings/sec, 545 secs
lola: 432489524 markings, 479653293 edges, 739263 markings/sec, 550 secs
lola: 435998539 markings, 483540328 edges, 701803 markings/sec, 555 secs
lola: 439742517 markings, 487687907 edges, 748796 markings/sec, 560 secs
lola: 443185724 markings, 491501657 edges, 688641 markings/sec, 565 secs
lola: 446806763 markings, 495512467 edges, 724208 markings/sec, 570 secs
lola: 450426008 markings, 499521650 edges, 723849 markings/sec, 575 secs
lola: 454259328 markings, 503767241 edges, 766664 markings/sec, 580 secs
lola: 458190587 markings, 508121556 edges, 786252 markings/sec, 585 secs
lola: 462071246 markings, 512420010 edges, 776132 markings/sec, 590 secs
lola: 465899035 markings, 516659628 edges, 765558 markings/sec, 595 secs
lola: 469656029 markings, 520820490 edges, 751399 markings/sec, 600 secs
lola: 471751076 markings, 523141262 edges, 419009 markings/sec, 605 secs
lola: 474695304 markings, 526401755 edges, 588846 markings/sec, 610 secs
lola: 478457026 markings, 530568132 edges, 752344 markings/sec, 615 secs
lola: 482215030 markings, 534730291 edges, 751601 markings/sec, 620 secs
lola: 485936351 markings, 538851605 edges, 744264 markings/sec, 625 secs
lola: 489831420 markings, 543165397 edges, 779014 markings/sec, 630 secs
lola: 493636816 markings, 547379459 edges, 761079 markings/sec, 635 secs
lola: 497249633 markings, 551380438 edges, 722563 markings/sec, 640 secs
lola: 500806201 markings, 555319332 edges, 711314 markings/sec, 645 secs
lola: 504522375 markings, 559434492 edges, 743235 markings/sec, 650 secs
lola: 507605444 markings, 562848731 edges, 616614 markings/sec, 655 secs
lola: 509411195 markings, 564848489 edges, 361150 markings/sec, 660 secs
lola: Child process aborted or communication problem between parent and child process
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G ((X (((F ((p18 <= 0)) OR (1 <= p22)) AND ((1 <= p0) AND (1 <= p13)))) OR F (((1 <= p0) AND (1 <= p13)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((X (((F ((p18 <= 0)) OR (1 <= p22)) AND ((1 <= p0) AND (1 <= p13)))) OR F (((1 <= p0) AND (1 <= p13)))))
lola: processed formula length: 107
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 3216022 markings, 4792291 edges, 643204 markings/sec, 0 secs
lola: 6338635 markings, 9475999 edges, 624523 markings/sec, 5 secs
lola: 9429876 markings, 14113206 edges, 618248 markings/sec, 10 secs
lola: 12542786 markings, 18782067 edges, 622582 markings/sec, 15 secs
lola: 15486686 markings, 23196815 edges, 588780 markings/sec, 20 secs
lola: 18589900 markings, 27851130 edges, 620643 markings/sec, 25 secs
lola: 21751145 markings, 32592641 edges, 632249 markings/sec, 30 secs
lola: 24932292 markings, 37364884 edges, 636229 markings/sec, 35 secs
lola: 28031938 markings, 42014470 edges, 619929 markings/sec, 40 secs
lola: 31250213 markings, 46841518 edges, 643655 markings/sec, 45 secs
lola: 34546990 markings, 51784978 edges, 659355 markings/sec, 50 secs
lola: 37682302 markings, 56488556 edges, 627062 markings/sec, 55 secs
lola: 40847695 markings, 61235311 edges, 633079 markings/sec, 60 secs
lola: 44000650 markings, 65966162 edges, 630591 markings/sec, 65 secs
lola: 47215678 markings, 70790076 edges, 643006 markings/sec, 70 secs
lola: 50377864 markings, 75529762 edges, 632437 markings/sec, 75 secs
lola: 53521098 markings, 80245865 edges, 628647 markings/sec, 80 secs
lola: 56666087 markings, 84963121 edges, 628998 markings/sec, 85 secs
lola: 59867184 markings, 89763121 edges, 640219 markings/sec, 90 secs
lola: 63094874 markings, 94604765 edges, 645538 markings/sec, 95 secs
lola: 66247549 markings, 99333781 edges, 630535 markings/sec, 100 secs
lola: 69509184 markings, 104226421 edges, 652327 markings/sec, 105 secs
lola: 72800660 markings, 109165132 edges, 658295 markings/sec, 110 secs
lola: 76079094 markings, 114083344 edges, 655687 markings/sec, 115 secs
lola: 79394612 markings, 119057445 edges, 663104 markings/sec, 120 secs
lola: 82619995 markings, 123893151 edges, 645077 markings/sec, 125 secs
lola: 85913061 markings, 128832108 edges, 658613 markings/sec, 130 secs
lola: 89180889 markings, 133732970 edges, 653566 markings/sec, 135 secs
lola: 92534438 markings, 138763360 edges, 670710 markings/sec, 140 secs
lola: 96031852 markings, 144008198 edges, 699483 markings/sec, 145 secs
lola: 99833290 markings, 149711524 edges, 760288 markings/sec, 150 secs
lola: 102401228 markings, 154734578 edges, 513588 markings/sec, 155 secs
lola: 104846687 markings, 159624993 edges, 489092 markings/sec, 160 secs
lola: 107287908 markings, 164506807 edges, 488244 markings/sec, 165 secs
lola: 109650068 markings, 169229270 edges, 472432 markings/sec, 170 secs
lola: 112038516 markings, 174007822 edges, 477690 markings/sec, 175 secs
lola: 114508357 markings, 178944365 edges, 493968 markings/sec, 180 secs
lola: 116900941 markings, 183730043 edges, 478517 markings/sec, 185 secs
lola: 119323208 markings, 188574460 edges, 484453 markings/sec, 190 secs
lola: 121749164 markings, 193428536 edges, 485191 markings/sec, 195 secs
lola: 123649526 markings, 197228615 edges, 380072 markings/sec, 200 secs
lola: 125230381 markings, 200390591 edges, 316171 markings/sec, 205 secs
lola: 126564195 markings, 203055365 edges, 266763 markings/sec, 210 secs
lola: 127985088 markings, 205894886 edges, 284179 markings/sec, 215 secs
lola: 129544802 markings, 209017560 edges, 311943 markings/sec, 220 secs
lola: 131028767 markings, 211985173 edges, 296793 markings/sec, 225 secs
lola: 132918022 markings, 215760191 edges, 377851 markings/sec, 230 secs
lola: 135056367 markings, 220040849 edges, 427669 markings/sec, 235 secs
lola: 136643033 markings, 223211836 edges, 317333 markings/sec, 240 secs
lola: 138332769 markings, 226592890 edges, 337947 markings/sec, 245 secs
lola: 139984538 markings, 229897712 edges, 330354 markings/sec, 250 secs
lola: 141720331 markings, 233368326 edges, 347159 markings/sec, 255 secs
lola: 143490881 markings, 236906125 edges, 354110 markings/sec, 260 secs
lola: 145167060 markings, 240258233 edges, 335236 markings/sec, 265 secs
lola: 147492906 markings, 244909832 edges, 465169 markings/sec, 270 secs
lola: 149119860 markings, 248165561 edges, 325391 markings/sec, 275 secs
lola: 150931986 markings, 251791018 edges, 362425 markings/sec, 280 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (((X (X (X ((X (F ((1 <= p22))) OR (p12 <= 0))))) U ((1 <= p1) AND (1 <= p19))) OR G ((1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((X (X (X ((X (F ((1 <= p22))) OR (p12 <= 0))))) U ((1 <= p1) AND (1 <= p19))) OR G ((1 <= p12))))
lola: processed formula length: 101
lola: 82 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: 2128352 markings, 5062903 edges, 425670 markings/sec, 0 secs
lola: 3755130 markings, 10040158 edges, 325356 markings/sec, 5 secs
lola: 5346580 markings, 14901014 edges, 318290 markings/sec, 10 secs
lola: 6855198 markings, 19619991 edges, 301724 markings/sec, 15 secs
lola: 8347114 markings, 24222584 edges, 298383 markings/sec, 20 secs
lola: 9891326 markings, 29047832 edges, 308842 markings/sec, 25 secs
lola: 11369839 markings, 33679444 edges, 295703 markings/sec, 30 secs
lola: 12773572 markings, 38130134 edges, 280747 markings/sec, 35 secs
lola: 14162208 markings, 42533343 edges, 277727 markings/sec, 40 secs
lola: 15573209 markings, 46940147 edges, 282200 markings/sec, 45 secs
lola: 16984356 markings, 51380200 edges, 282229 markings/sec, 50 secs
lola: 18364830 markings, 55810893 edges, 276095 markings/sec, 55 secs
lola: 19775028 markings, 60208900 edges, 282040 markings/sec, 60 secs
lola: 21124250 markings, 64571540 edges, 269844 markings/sec, 65 secs
lola: 22518496 markings, 68916763 edges, 278849 markings/sec, 70 secs
lola: 23832142 markings, 73161739 edges, 262729 markings/sec, 75 secs
lola: 25138773 markings, 77299898 edges, 261326 markings/sec, 80 secs
lola: 26584400 markings, 81897090 edges, 289125 markings/sec, 85 secs
lola: 27952782 markings, 86363555 edges, 273676 markings/sec, 90 secs
lola: 29417896 markings, 90899016 edges, 293023 markings/sec, 95 secs
lola: 30774200 markings, 95304139 edges, 271261 markings/sec, 100 secs
lola: 32100895 markings, 99613029 edges, 265339 markings/sec, 105 secs
lola: 33523456 markings, 104024962 edges, 284512 markings/sec, 110 secs
lola: 34841359 markings, 108318427 edges, 263581 markings/sec, 115 secs
lola: 36118858 markings, 112522286 edges, 255500 markings/sec, 120 secs
lola: 37543201 markings, 116875147 edges, 284869 markings/sec, 125 secs
lola: 38827672 markings, 121052216 edges, 256894 markings/sec, 130 secs
lola: 40084869 markings, 125176196 edges, 251439 markings/sec, 135 secs
lola: 41409936 markings, 129291938 edges, 265013 markings/sec, 140 secs
lola: 42766685 markings, 133643484 edges, 271350 markings/sec, 145 secs
lola: 43972032 markings, 137582107 edges, 241069 markings/sec, 150 secs
lola: 45274542 markings, 141857479 edges, 260502 markings/sec, 155 secs
lola: 46620268 markings, 146023030 edges, 269145 markings/sec, 160 secs
lola: 47940408 markings, 150256395 edges, 264028 markings/sec, 165 secs
lola: 49212238 markings, 154417320 edges, 254366 markings/sec, 170 secs
lola: 50469011 markings, 158539064 edges, 251355 markings/sec, 175 secs
lola: 51645154 markings, 162436640 edges, 235229 markings/sec, 180 secs
lola: 53062814 markings, 166720591 edges, 283532 markings/sec, 185 secs
lola: 54260934 markings, 170610783 edges, 239624 markings/sec, 190 secs
lola: 55511724 markings, 174713333 edges, 250158 markings/sec, 195 secs
lola: 56747861 markings, 178786907 edges, 247227 markings/sec, 200 secs
lola: 57965102 markings, 182824671 edges, 243448 markings/sec, 205 secs
lola: 59387666 markings, 187100698 edges, 284513 markings/sec, 210 secs
lola: 60597057 markings, 191027607 edges, 241878 markings/sec, 215 secs
lola: 61817266 markings, 195028730 edges, 244042 markings/sec, 220 secs
lola: 63018920 markings, 198986614 edges, 240331 markings/sec, 225 secs
lola: 64199230 markings, 202897320 edges, 236062 markings/sec, 230 secs
lola: 65485062 markings, 206883730 edges, 257166 markings/sec, 235 secs
lola: 66895044 markings, 211332213 edges, 281996 markings/sec, 240 secs
lola: 68216346 markings, 215655785 edges, 264260 markings/sec, 245 secs
lola: 69555568 markings, 220052928 edges, 267844 markings/sec, 250 secs
lola: 70875547 markings, 224406528 edges, 263996 markings/sec, 255 secs
lola: 72169472 markings, 228696405 edges, 258785 markings/sec, 260 secs
lola: 73663738 markings, 233220077 edges, 298853 markings/sec, 265 secs
lola: 74984775 markings, 237491668 edges, 264207 markings/sec, 270 secs
lola: 76291758 markings, 241768601 edges, 261397 markings/sec, 275 secs
lola: 77601102 markings, 246082265 edges, 261869 markings/sec, 280 secs
lola: 78876938 markings, 250316105 edges, 255167 markings/sec, 285 secs
lola: 80170848 markings, 254582923 edges, 258782 markings/sec, 290 secs
lola: 81556565 markings, 258832633 edges, 277143 markings/sec, 295 secs
lola: 82884740 markings, 263055423 edges, 265635 markings/sec, 300 secs
lola: 84124018 markings, 267098811 edges, 247856 markings/sec, 305 secs
lola: 85402417 markings, 271297423 edges, 255680 markings/sec, 310 secs
lola: 86645232 markings, 275412423 edges, 248563 markings/sec, 315 secs
lola: 87908836 markings, 279580132 edges, 252721 markings/sec, 320 secs
lola: 89134150 markings, 283666293 edges, 245063 markings/sec, 325 secs
lola: 90478370 markings, 287858059 edges, 268844 markings/sec, 330 secs
lola: 91824344 markings, 292032656 edges, 269195 markings/sec, 335 secs
lola: 93030122 markings, 295959606 edges, 241156 markings/sec, 340 secs
lola: 94244646 markings, 299942149 edges, 242905 markings/sec, 345 secs
lola: 95457664 markings, 303940716 edges, 242604 markings/sec, 350 secs
lola: 96651876 markings, 307890955 edges, 238842 markings/sec, 355 secs
lola: 97845812 markings, 311845411 edges, 238787 markings/sec, 360 secs
lola: 99011172 markings, 315737830 edges, 233072 markings/sec, 365 secs
lola: 100275818 markings, 319737345 edges, 252929 markings/sec, 370 secs
lola: 101657028 markings, 323946617 edges, 276242 markings/sec, 375 secs
lola: 102896002 markings, 327986824 edges, 247795 markings/sec, 380 secs
lola: 104125106 markings, 332020265 edges, 245821 markings/sec, 385 secs
lola: 105380150 markings, 336158099 edges, 251009 markings/sec, 390 secs
lola: 106633707 markings, 340286490 edges, 250711 markings/sec, 395 secs
lola: 107862838 markings, 344359022 edges, 245826 markings/sec, 400 secs
lola: 109092658 markings, 348458475 edges, 245964 markings/sec, 405 secs
lola: 110309052 markings, 352493415 edges, 243279 markings/sec, 410 secs
lola: 111735347 markings, 356760580 edges, 285259 markings/sec, 415 secs
lola: 113002630 markings, 360814027 edges, 253457 markings/sec, 420 secs
lola: 114193819 markings, 364702461 edges, 238238 markings/sec, 425 secs
lola: 115351862 markings, 368515191 edges, 231609 markings/sec, 430 secs
lola: 116313292 markings, 371692530 edges, 192286 markings/sec, 435 secs
lola: 117329949 markings, 375053313 edges, 203331 markings/sec, 440 secs
lola: 118147988 markings, 377743933 edges, 163608 markings/sec, 445 secs
lola: 118863494 markings, 380118964 edges, 143101 markings/sec, 450 secs
lola: 119683638 markings, 382846863 edges, 164029 markings/sec, 455 secs
lola: 120701860 markings, 386245984 edges, 203644 markings/sec, 460 secs
lola: 121548898 markings, 389066221 edges, 169408 markings/sec, 465 secs
lola: 122451008 markings, 392071455 edges, 180422 markings/sec, 470 secs
lola: 123554086 markings, 395252701 edges, 220616 markings/sec, 475 secs
lola: 124639671 markings, 398687642 edges, 217117 markings/sec, 480 secs
lola: 125555104 markings, 401663737 edges, 183087 markings/sec, 485 secs
lola: 126514941 markings, 404813451 edges, 191967 markings/sec, 490 secs
lola: 127352862 markings, 407576603 edges, 167584 markings/sec, 495 secs
lola: 128320995 markings, 410753875 edges, 193627 markings/sec, 500 secs
lola: 129259224 markings, 413877582 edges, 187646 markings/sec, 505 secs
lola: 130337314 markings, 417441412 edges, 215618 markings/sec, 510 secs
lola: 131281658 markings, 420558278 edges, 188869 markings/sec, 515 secs
lola: 132099734 markings, 423276494 edges, 163615 markings/sec, 520 secs
lola: 133140892 markings, 426747499 edges, 208232 markings/sec, 525 secs
lola: 133926458 markings, 429358766 edges, 157113 markings/sec, 530 secs
lola: 134580644 markings, 431531985 edges, 130837 markings/sec, 535 secs
lola: 135406146 markings, 434315847 edges, 165100 markings/sec, 540 secs
lola: 136596216 markings, 437706762 edges, 238014 markings/sec, 545 secs
lola: 137382492 markings, 440209107 edges, 157255 markings/sec, 550 secs
lola: 138009470 markings, 442241167 edges, 125396 markings/sec, 555 secs
lola: 138954136 markings, 445325823 edges, 188933 markings/sec, 560 secs
lola: 139798421 markings, 448102176 edges, 168857 markings/sec, 565 secs
lola: 140830084 markings, 451490981 edges, 206333 markings/sec, 570 secs
lola: 141708475 markings, 454395417 edges, 175678 markings/sec, 575 secs
lola: 142414416 markings, 456728369 edges, 141188 markings/sec, 580 secs
lola: 142536076 markings, 457136665 edges, 24332 markings/sec, 585 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: ((X (F ((1 <= p6))) U (1 <= p22)) AND (F ((1 <= p22)) OR X ((1 <= p6))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: (X (F ((1 <= p6))) U (1 <= p22))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (F ((1 <= p6))) U (1 <= p22))
lola: processed formula length: 32
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 250001 markings, 250001 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p7) AND (1 <= p23))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p7) AND (1 <= p23))))
lola: processed formula length: 34
lola: 82 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2410532 markings, 3555799 edges, 482106 markings/sec, 0 secs
lola: 4722453 markings, 7023680 edges, 462384 markings/sec, 5 secs
lola: 6700092 markings, 9990139 edges, 395528 markings/sec, 10 secs
lola: 8571200 markings, 12796801 edges, 374222 markings/sec, 15 secs
lola: 10349639 markings, 15464459 edges, 355688 markings/sec, 20 secs
lola: 12097812 markings, 18086719 edges, 349635 markings/sec, 25 secs
lola: 13780092 markings, 20610136 edges, 336456 markings/sec, 30 secs
lola: 15417635 markings, 23066453 edges, 327509 markings/sec, 35 secs
lola: 17067368 markings, 25541052 edges, 329947 markings/sec, 40 secs
lola: 18704450 markings, 27996676 edges, 327416 markings/sec, 45 secs
lola: 20344380 markings, 30456570 edges, 327986 markings/sec, 50 secs
lola: 21979747 markings, 32909622 edges, 327073 markings/sec, 55 secs
lola: 23603518 markings, 35345277 edges, 324754 markings/sec, 60 secs
lola: 25172024 markings, 37698036 edges, 313701 markings/sec, 65 secs
lola: 26786066 markings, 40119100 edges, 322808 markings/sec, 70 secs
lola: 28393244 markings, 42529867 edges, 321436 markings/sec, 75 secs
lola: 29991294 markings, 44926943 edges, 319610 markings/sec, 80 secs
lola: 31530420 markings, 47235629 edges, 307825 markings/sec, 85 secs
lola: 33107349 markings, 49601024 edges, 315386 markings/sec, 90 secs
lola: 34674293 markings, 51951440 edges, 313389 markings/sec, 95 secs
lola: 36247870 markings, 54311805 edges, 314715 markings/sec, 100 secs
lola: 37763874 markings, 56585811 edges, 303201 markings/sec, 105 secs
lola: 39319646 markings, 58919470 edges, 311154 markings/sec, 110 secs
lola: 40878008 markings, 61257012 edges, 311672 markings/sec, 115 secs
lola: 42428277 markings, 63582416 edges, 310054 markings/sec, 120 secs
lola: 43976084 markings, 65904127 edges, 309561 markings/sec, 125 secs
lola: 45533429 markings, 68240145 edges, 311469 markings/sec, 130 secs
lola: 47078754 markings, 70558131 edges, 309065 markings/sec, 135 secs
lola: 48606717 markings, 72850076 edges, 305593 markings/sec, 140 secs
lola: 50118772 markings, 75118159 edges, 302411 markings/sec, 145 secs
lola: 51639612 markings, 77399419 edges, 304168 markings/sec, 150 secs
lola: 53153164 markings, 79669746 edges, 302710 markings/sec, 155 secs
lola: 54665610 markings, 81938414 edges, 302489 markings/sec, 160 secs
lola: 56180310 markings, 84210466 edges, 302940 markings/sec, 165 secs
lola: 57697325 markings, 86485988 edges, 303403 markings/sec, 170 secs
lola: 59205984 markings, 88748976 edges, 301732 markings/sec, 175 secs
lola: 60707951 markings, 91001928 edges, 300393 markings/sec, 180 secs
lola: 62198397 markings, 93237596 edges, 298089 markings/sec, 185 secs
lola: 63682512 markings, 95463769 edges, 296823 markings/sec, 190 secs
lola: 65154756 markings, 97672134 edges, 294449 markings/sec, 195 secs
lola: 66633263 markings, 99889896 edges, 295701 markings/sec, 200 secs
lola: 68113643 markings, 102110465 edges, 296076 markings/sec, 205 secs
lola: 69593140 markings, 104329710 edges, 295899 markings/sec, 210 secs
lola: 71078692 markings, 106558038 edges, 297110 markings/sec, 215 secs
lola: 72558476 markings, 108777715 edges, 295957 markings/sec, 220 secs
lola: 74040305 markings, 111000459 edges, 296366 markings/sec, 225 secs
lola: 75523293 markings, 113224941 edges, 296598 markings/sec, 230 secs
lola: 77003532 markings, 115445299 edges, 296048 markings/sec, 235 secs
lola: 78477716 markings, 117656575 edges, 294837 markings/sec, 240 secs
lola: 79948526 markings, 119862790 edges, 294162 markings/sec, 245 secs
lola: 81417272 markings, 122065907 edges, 293749 markings/sec, 250 secs
lola: 82887632 markings, 124271448 edges, 294072 markings/sec, 255 secs
lola: 84357399 markings, 126476099 edges, 293953 markings/sec, 260 secs
lola: 85827879 markings, 128681820 edges, 294096 markings/sec, 265 secs
lola: 87248437 markings, 130812656 edges, 284112 markings/sec, 270 secs
lola: 88712615 markings, 133008922 edges, 292836 markings/sec, 275 secs
lola: 90144528 markings, 135156792 edges, 286383 markings/sec, 280 secs
lola: 91574555 markings, 137301834 edges, 286005 markings/sec, 285 secs
lola: 93020416 markings, 139470624 edges, 289172 markings/sec, 290 secs
lola: 94465544 markings, 141638317 edges, 289026 markings/sec, 295 secs
lola: 95916107 markings, 143814161 edges, 290113 markings/sec, 300 secs
lola: 97371741 markings, 145997613 edges, 291127 markings/sec, 305 secs
lola: 98825033 markings, 148177551 edges, 290658 markings/sec, 310 secs
lola: 100372266 markings, 150610019 edges, 309447 markings/sec, 315 secs
lola: 102093193 markings, 154052789 edges, 344185 markings/sec, 320 secs
lola: 103481535 markings, 156829902 edges, 277668 markings/sec, 325 secs
lola: 104711001 markings, 159289144 edges, 245893 markings/sec, 330 secs
lola: 105883047 markings, 161633495 edges, 234409 markings/sec, 335 secs
lola: 107027658 markings, 163922943 edges, 228922 markings/sec, 340 secs
lola: 108156604 markings, 166181042 edges, 225789 markings/sec, 345 secs
lola: 109271424 markings, 168410875 edges, 222964 markings/sec, 350 secs
lola: 110372658 markings, 170613521 edges, 220247 markings/sec, 355 secs
lola: 111464390 markings, 172797149 edges, 218346 markings/sec, 360 secs
lola: 112543087 markings, 174954699 edges, 215739 markings/sec, 365 secs
lola: 113609295 markings, 177087264 edges, 213242 markings/sec, 370 secs
lola: 114667160 markings, 179203136 edges, 211573 markings/sec, 375 secs
lola: 115728298 markings, 181325549 edges, 212228 markings/sec, 380 secs
lola: 116787106 markings, 183443298 edges, 211762 markings/sec, 385 secs
lola: 117849318 markings, 185567847 edges, 212442 markings/sec, 390 secs
lola: 118907484 markings, 187684303 edges, 211633 markings/sec, 395 secs
lola: 119962780 markings, 189795017 edges, 211059 markings/sec, 400 secs
lola: 121014694 markings, 191898960 edges, 210383 markings/sec, 405 secs
lola: 122065990 markings, 194001666 edges, 210259 markings/sec, 410 secs
lola: 123113098 markings, 196095994 edges, 209422 markings/sec, 415 secs
lola: 124155438 markings, 198181490 edges, 208468 markings/sec, 420 secs
lola: 125320978 markings, 200512902 edges, 233108 markings/sec, 425 secs
lola: 126250246 markings, 202371180 edges, 185854 markings/sec, 430 secs
lola: 127243800 markings, 204357810 edges, 198711 markings/sec, 435 secs
lola: 128229077 markings, 206328458 edges, 197055 markings/sec, 440 secs
lola: 129212760 markings, 208295915 edges, 196737 markings/sec, 445 secs
lola: 130197846 markings, 210266178 edges, 197017 markings/sec, 450 secs
lola: 131179500 markings, 212229574 edges, 196331 markings/sec, 455 secs
lola: 132159024 markings, 214188710 edges, 195905 markings/sec, 460 secs
lola: 133054332 markings, 215979405 edges, 179062 markings/sec, 465 secs
lola: 134025107 markings, 217921039 edges, 194155 markings/sec, 470 secs
lola: 134994008 markings, 219858924 edges, 193780 markings/sec, 475 secs
lola: 135890242 markings, 221651468 edges, 179247 markings/sec, 480 secs
lola: 136854224 markings, 223579511 edges, 192796 markings/sec, 485 secs
lola: 137756994 markings, 225385125 edges, 180554 markings/sec, 490 secs
lola: 138728140 markings, 227327495 edges, 194229 markings/sec, 495 secs
lola: 139700924 markings, 229273142 edges, 194557 markings/sec, 500 secs
lola: 140666240 markings, 231203849 edges, 193063 markings/sec, 505 secs
lola: 141607395 markings, 233086234 edges, 188231 markings/sec, 510 secs
lola: 142570132 markings, 235011781 edges, 192547 markings/sec, 515 secs
lola: 143438560 markings, 236748703 edges, 173686 markings/sec, 520 secs
lola: 144322476 markings, 238516602 edges, 176783 markings/sec, 525 secs
lola: 145140088 markings, 240151888 edges, 163522 markings/sec, 530 secs
lola: 145924058 markings, 241719884 edges, 156794 markings/sec, 535 secs
lola: 146704730 markings, 243281289 edges, 156134 markings/sec, 540 secs
lola: 147479612 markings, 244831107 edges, 154976 markings/sec, 545 secs
lola: 148273918 markings, 246419778 edges, 158861 markings/sec, 550 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no no no no yes no unknown yes unknown no unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no no no no yes no unknown yes unknown no unknown no no
lola:
preliminary result: unknown no no no no no yes no unknown yes unknown no unknown no no
lola: memory consumption: 444 KB
lola: time consumption: 3570 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-N5000P0"
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-N5000P0, 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-158987806500258"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N5000P0.tgz
mv ClientsAndServers-PT-N5000P0 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 ;