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.r045-smll-158902068200040.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 win2019
Input is ClientsAndServers-PT-N0010P1, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:21 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.4K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 26 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 07:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.2K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ClientsAndServers-PT-N0010P1-00
FORMULA_NAME ClientsAndServers-PT-N0010P1-01
FORMULA_NAME ClientsAndServers-PT-N0010P1-02
FORMULA_NAME ClientsAndServers-PT-N0010P1-03
FORMULA_NAME ClientsAndServers-PT-N0010P1-04
FORMULA_NAME ClientsAndServers-PT-N0010P1-05
FORMULA_NAME ClientsAndServers-PT-N0010P1-06
FORMULA_NAME ClientsAndServers-PT-N0010P1-07
FORMULA_NAME ClientsAndServers-PT-N0010P1-08
FORMULA_NAME ClientsAndServers-PT-N0010P1-09
FORMULA_NAME ClientsAndServers-PT-N0010P1-10
FORMULA_NAME ClientsAndServers-PT-N0010P1-11
FORMULA_NAME ClientsAndServers-PT-N0010P1-12
FORMULA_NAME ClientsAndServers-PT-N0010P1-13
FORMULA_NAME ClientsAndServers-PT-N0010P1-14
FORMULA_NAME ClientsAndServers-PT-N0010P1-15

=== Now, execution of the tool begins

BK_START 1589260136571

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0010P1 @ 3570 seconds

FORMULA ClientsAndServers-PT-N0010P1-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0010P1-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 1363
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0010P1

{
"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": "mcc2019",
"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": "Tue May 12 05:08:56 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (NOT FIREABLE(maU)))",
"processed_size": 25,
"rewrites": 83
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((G (FIREABLE(maU)) OR (X (FIREABLE(maU)) R F (FIREABLE(ssG)))))",
"processed_size": 66,
"rewrites": 83
},
"result":
{
"edges": 43353879,
"markings": 12350279,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 234
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 1,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X (F (((X (FIREABLE(msG)) U FIREABLE(mfU)) AND X (F ((FIREABLE(mfU) AND G (FIREABLE(srR)))))))))",
"processed_size": 99,
"rewrites": 83
},
"result":
{
"edges": 574,
"markings": 574,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 250
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (G (FIREABLE(ssF))))",
"processed_size": 25,
"rewrites": 83
},
"result":
{
"edges": 573,
"markings": 573,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 270
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 2,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (G (((FIREABLE(crA) AND FIREABLE(csR)) OR (X (FIREABLE(srR)) OR G (NOT FIREABLE(csR))))))",
"processed_size": 91,
"rewrites": 83
},
"result":
{
"edges": 575,
"markings": 575,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 292
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (F ((X (FIREABLE(csR)) AND (FIREABLE(csR) OR G (FIREABLE(srF)))))))",
"processed_size": 72,
"rewrites": 83
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 319
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A ((X (NOT FIREABLE(mfU)) OR (G (FIREABLE(msG)) AND X (F (NOT FIREABLE(mfU))))))",
"processed_size": 80,
"rewrites": 83
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 351
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 351
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(ssA)",
"processed_size": 13,
"rewrites": 83
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 390
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 390
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((FIREABLE(msA) OR (FIREABLE(msA) AND (F (FIREABLE(srF)) AND G (FIREABLE(crG))))))",
"processed_size": 84,
"rewrites": 83
},
"result":
{
"edges": 100,
"markings": 100,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 8,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 2,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (G (F ((NOT FIREABLE(crG) R X (G (FIREABLE(msA)))))))",
"processed_size": 55,
"rewrites": 83
},
"result":
{
"edges": 573,
"markings": 573,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 520
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(mrR)",
"processed_size": 13,
"rewrites": 85
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 5
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 624
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(ssF)",
"processed_size": 17,
"rewrites": 85
},
"result":
{
"edges": 572,
"markings": 573,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 780
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 2,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (F (G ((FIREABLE(csF) AND F (NOT FIREABLE(srF))))))",
"processed_size": 53,
"rewrites": 83
},
"result":
{
"edges": 575,
"markings": 574,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1259
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1259
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (NOT FIREABLE(ssG)))",
"processed_size": 25,
"rewrites": 85
},
"result":
{
"edges": 7,
"markings": 8,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 14,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2519
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2519
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "NOT FIREABLE(crG)",
"processed_size": 17,
"rewrites": 85
},
"result":
{
"edges": 90317,
"markings": 65067,
"produced_by": "state space / EG",
"value": true
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(srF))))",
"processed_size": 25,
"rewrites": 83
},
"result":
{
"edges": 573,
"markings": 573,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 13080,
"runtime": 2207.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A((G(**) OR (X(*) R F(*)))) AND A(X(*))) : A(X(F(((X(**) U **) AND X(F((** AND G(**)))))))) : (A(G(*)) AND A(G(*))) : A(X(G(**))) : (A(F(**)) AND (A(G(**)) AND A(G(F(**))))) : A(G((** OR (X(**) OR G(**))))) : A(F(*)) : A(X(F((X(**) AND (** OR G(**)))))) : A((X(*) OR (G(**) AND X(F(*))))) : A(G(((F(**) AND (** OR G(**))) OR (G(F(**)) AND F((F(**) AND (** OR G(**)))))))) : (** AND (A(X((** OR G(**)))) AND A(X(F(**))))) : A(X(G((** OR F(**))))) : A(F(**)) : (A((** OR (** AND (F(**) AND G(**))))) AND A((X(**) OR F(**)))) : A(G(F((* R X(G(**)))))) : A(F(G((* AND F(*)))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"preliminary_value": "yes no no no no no yes yes yes unknown no unknown no no no no ",
"value": "yes no no no no no yes yes yes unknown no unknown no no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (((G (FIREABLE(maU)) OR NOT((X (NOT FIREABLE(maU)) U G (NOT FIREABLE(ssG))))) AND NOT(X (FIREABLE(maU))))) : A (F ((X ((X (FIREABLE(msG)) U FIREABLE(mfU))) AND F (X (X (F ((FIREABLE(mfU) AND G (FIREABLE(srR)))))))))) : A (NOT(F ((NOT FIREABLE(srF) OR F (FIREABLE(ssG)))))) : A (G (X (FIREABLE(ssF)))) : A ((F ((F (FIREABLE(msA)) U FIREABLE(crG))) AND G (((FIREABLE(srF) AND FIREABLE(msA)) AND F (FIREABLE(srF)))))) : A (G ((((FIREABLE(crA) AND FIREABLE(csR)) OR X (FIREABLE(srR))) OR G (NOT FIREABLE(csR))))) : A (NOT(G (FIREABLE(mrR)))) : A (X (F ((X (FIREABLE(csR)) AND (FIREABLE(csR) OR G (FIREABLE(srF))))))) : A ((G (FIREABLE(msG)) U X (NOT((FIREABLE(mfU) OR F ((() AND G (FIREABLE(mfU))))))))) : A (G ((F (G (F ((FIREABLE(csR) OR FIREABLE(srR))))) U (F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA))))))) : A ((FIREABLE(ssA) AND NOT(X (NOT(((FIREABLE(maU) OR G ((FIREABLE(maU) OR FIREABLE(mrF)))) AND F (NOT FIREABLE(mrR)))))))) : A (G (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))) : A (((G (X (FIREABLE(mrR))) U X (F ((FIREABLE(csF) AND F (FIREABLE(ssF)))))) U F (FIREABLE(ssF)))) : A (((FIREABLE(msA) OR ((FIREABLE(msA) AND F (FIREABLE(srF))) AND G (FIREABLE(crG)))) AND (X (FIREABLE(crA)) OR F (FIREABLE(crA))))) : A (G (F (((FIREABLE(msA) U X (FIREABLE(csF))) U NOT((FIREABLE(crG) U F (NOT(G (X (FIREABLE(msA))))))))))) : A (NOT((FIREABLE(msG) U G (F ((NOT FIREABLE(crA) U (NOT FIREABLE(csF) OR G (FIREABLE(srF)))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:425
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((G (FIREABLE(maU)) OR (X (FIREABLE(maU)) R F (FIREABLE(ssG))))) AND A (X (NOT FIREABLE(maU))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (NOT FIREABLE(maU)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (NOT FIREABLE(maU)))
lola: processed formula length: 25
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G (FIREABLE(maU)) OR (X (FIREABLE(maU)) R F (FIREABLE(ssG)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G (FIREABLE(maU)) OR (X (FIREABLE(maU)) R F (FIREABLE(ssG)))))
lola: processed formula length: 66
lola: 83 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: 1689843 markings, 4817832 edges, 337969 markings/sec, 0 secs
lola: 3124137 markings, 9130121 edges, 286859 markings/sec, 5 secs
lola: 4527566 markings, 13338894 edges, 280686 markings/sec, 10 secs
lola: 5700659 markings, 17443916 edges, 234619 markings/sec, 15 secs
lola: 6773958 markings, 21931142 edges, 214660 markings/sec, 20 secs
lola: 7883899 markings, 25865178 edges, 221988 markings/sec, 25 secs
lola: 8974396 markings, 29692769 edges, 218099 markings/sec, 30 secs
lola: 9968794 markings, 33223988 edges, 198880 markings/sec, 35 secs
lola: 10950105 markings, 36678035 edges, 196262 markings/sec, 40 secs
lola: 11848058 markings, 40363949 edges, 179591 markings/sec, 45 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 12350279 markings, 43353879 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 1 will run for 234 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((X (FIREABLE(msG)) U FIREABLE(mfU)) AND X (F ((FIREABLE(mfU) AND G (FIREABLE(srR)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((X (FIREABLE(msG)) U FIREABLE(mfU)) AND X (F ((FIREABLE(mfU) AND G (FIREABLE(srR)))))))))
lola: processed formula length: 99
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 574 markings, 574 edges
lola: ========================================
lola: subprocess 2 will run for 250 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(ssF))))
lola: processed formula length: 25
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 573 markings, 573 edges
lola: ========================================
lola: subprocess 3 will run for 270 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(crA) AND FIREABLE(csR)) OR (X (FIREABLE(srR)) OR G (NOT FIREABLE(csR))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((FIREABLE(crA) AND FIREABLE(csR)) OR (X (FIREABLE(srR)) OR G (NOT FIREABLE(csR))))))
lola: processed formula length: 91
lola: 83 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: 575 markings, 575 edges
lola: ========================================
lola: subprocess 4 will run for 292 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((X (FIREABLE(csR)) AND (FIREABLE(csR) OR G (FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((X (FIREABLE(csR)) AND (FIREABLE(csR) OR G (FIREABLE(srF)))))))
lola: processed formula length: 72
lola: 83 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: 4 markings, 3 edges
lola: ========================================
lola: subprocess 5 will run for 319 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (NOT FIREABLE(mfU)) OR (G (FIREABLE(msG)) AND X (F (NOT FIREABLE(mfU))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (NOT FIREABLE(mfU)) OR (G (FIREABLE(msG)) AND X (F (NOT FIREABLE(mfU))))))
lola: processed formula length: 80
lola: 83 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 6 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(ssA) AND (A (X ((FIREABLE(maU) OR G ((FIREABLE(maU) OR FIREABLE(mrF)))))) AND A (X (F (NOT FIREABLE(mrR))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 351 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(ssA)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(ssA)
lola: processed formula length: 13
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 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: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))
lola: processed formula length: 48
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1955879 markings, 5331833 edges, 391176 markings/sec, 0 secs
lola: 3481352 markings, 10108627 edges, 305095 markings/sec, 5 secs
lola: 4920692 markings, 14627241 edges, 287868 markings/sec, 10 secs
lola: 6323675 markings, 19083232 edges, 280597 markings/sec, 15 secs
lola: 7826633 markings, 23881789 edges, 300592 markings/sec, 20 secs
lola: 9278492 markings, 28567090 edges, 290372 markings/sec, 25 secs
lola: 10721573 markings, 33238348 edges, 288616 markings/sec, 30 secs
lola: 11878660 markings, 38048597 edges, 231417 markings/sec, 35 secs
lola: 13353648 markings, 43247468 edges, 294998 markings/sec, 40 secs
lola: 14802577 markings, 48051415 edges, 289786 markings/sec, 45 secs
lola: 16168292 markings, 52705571 edges, 273143 markings/sec, 50 secs
lola: 17521120 markings, 57326100 edges, 270566 markings/sec, 55 secs
lola: 18850619 markings, 61894513 edges, 265900 markings/sec, 60 secs
lola: 20088980 markings, 66332621 edges, 247672 markings/sec, 65 secs
lola: 21419112 markings, 70857455 edges, 266026 markings/sec, 70 secs
lola: 22653491 markings, 75237467 edges, 246876 markings/sec, 75 secs
lola: 23763456 markings, 79060561 edges, 221993 markings/sec, 80 secs
lola: 24861653 markings, 83036812 edges, 219639 markings/sec, 85 secs
lola: 26118630 markings, 87287069 edges, 251395 markings/sec, 90 secs
lola: 27302013 markings, 91582371 edges, 236677 markings/sec, 95 secs
lola: 28625027 markings, 96125106 edges, 264603 markings/sec, 100 secs
lola: 29840318 markings, 100446755 edges, 243058 markings/sec, 105 secs
lola: 31027323 markings, 104783560 edges, 237401 markings/sec, 110 secs
lola: 32371616 markings, 109355942 edges, 268859 markings/sec, 115 secs
lola: 33555293 markings, 113622950 edges, 236735 markings/sec, 120 secs
lola: 34749096 markings, 117954579 edges, 238761 markings/sec, 125 secs
lola: 36071091 markings, 122512256 edges, 264399 markings/sec, 130 secs
lola: 37275223 markings, 126789742 edges, 240826 markings/sec, 135 secs
lola: 38449381 markings, 131059844 edges, 234832 markings/sec, 140 secs
lola: 39646261 markings, 135433659 edges, 239376 markings/sec, 145 secs
lola: 40992547 markings, 139981125 edges, 269257 markings/sec, 150 secs
lola: 42165197 markings, 144205591 edges, 234530 markings/sec, 155 secs
lola: 43332773 markings, 148470791 edges, 233515 markings/sec, 160 secs
lola: 44526453 markings, 152831851 edges, 238736 markings/sec, 165 secs
lola: 45737081 markings, 157460262 edges, 242126 markings/sec, 170 secs
lola: 46443740 markings, 161850044 edges, 141332 markings/sec, 175 secs
lola: 47152397 markings, 166307288 edges, 141731 markings/sec, 180 secs
lola: 47876660 markings, 170895094 edges, 144853 markings/sec, 185 secs
lola: 49151093 markings, 176004080 edges, 254887 markings/sec, 190 secs
lola: 50578331 markings, 180912198 edges, 285448 markings/sec, 195 secs
lola: 51934863 markings, 185617979 edges, 271306 markings/sec, 200 secs
lola: 53266588 markings, 190261570 edges, 266345 markings/sec, 205 secs
lola: 54475510 markings, 194773896 edges, 241784 markings/sec, 210 secs
lola: 55779443 markings, 199317740 edges, 260787 markings/sec, 215 secs
lola: 56922156 markings, 203690957 edges, 228543 markings/sec, 220 secs
lola: 58237287 markings, 208276301 edges, 263026 markings/sec, 225 secs
lola: 59387182 markings, 212594942 edges, 229979 markings/sec, 230 secs
lola: 60519904 markings, 216950684 edges, 226544 markings/sec, 235 secs
lola: 61834620 markings, 221511424 edges, 262943 markings/sec, 240 secs
lola: 62986962 markings, 225813452 edges, 230468 markings/sec, 245 secs
lola: 64087091 markings, 230037599 edges, 220026 markings/sec, 250 secs
lola: 65185864 markings, 234355484 edges, 219755 markings/sec, 255 secs
lola: 66510464 markings, 238880625 edges, 264920 markings/sec, 260 secs
lola: 67644218 markings, 243134235 edges, 226751 markings/sec, 265 secs
lola: 68735620 markings, 247323111 edges, 218280 markings/sec, 270 secs
lola: 69811885 markings, 251524535 edges, 215253 markings/sec, 275 secs
lola: 70988433 markings, 255947898 edges, 235310 markings/sec, 280 secs
lola: 72273122 markings, 260397815 edges, 256938 markings/sec, 285 secs
lola: 73389750 markings, 264612885 edges, 223326 markings/sec, 290 secs
lola: 74447654 markings, 268733748 edges, 211581 markings/sec, 295 secs
lola: 75537761 markings, 272921779 edges, 218021 markings/sec, 300 secs
lola: 76613671 markings, 277139776 edges, 215182 markings/sec, 305 secs
lola: 77798839 markings, 281527357 edges, 237034 markings/sec, 310 secs
lola: 79062302 markings, 285941574 edges, 252693 markings/sec, 315 secs
lola: 80163375 markings, 290110005 edges, 220215 markings/sec, 320 secs
lola: 81216887 markings, 294208806 edges, 210702 markings/sec, 325 secs
lola: 82289481 markings, 298354159 edges, 214519 markings/sec, 330 secs
lola: 83342432 markings, 302486625 edges, 210590 markings/sec, 335 secs
lola: 84425893 markings, 306741797 edges, 216692 markings/sec, 340 secs
lola: 85634012 markings, 311147125 edges, 241624 markings/sec, 345 secs
lola: 86892182 markings, 315536179 edges, 251634 markings/sec, 350 secs
lola: 87970134 markings, 319636339 edges, 215590 markings/sec, 355 secs
lola: 89015713 markings, 323700742 edges, 209116 markings/sec, 360 secs
lola: 90074502 markings, 327793957 edges, 211758 markings/sec, 365 secs
lola: 91111701 markings, 331862902 edges, 207440 markings/sec, 370 secs
lola: 92159944 markings, 335975711 edges, 209649 markings/sec, 375 secs
lola: 93234120 markings, 340192514 edges, 214835 markings/sec, 380 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes no unknown no unknown no unknown yes yes unknown no unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A ((FIREABLE(msA) OR (FIREABLE(msA) AND (F (FIREABLE(srF)) AND G (FIREABLE(crG)))))) AND A ((X (FIREABLE(crA)) OR F (FIREABLE(crA)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 390 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(msA) OR (FIREABLE(msA) AND (F (FIREABLE(srF)) AND G (FIREABLE(crG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((FIREABLE(msA) OR (FIREABLE(msA) AND (F (FIREABLE(srF)) AND G (FIREABLE(crG))))))
lola: processed formula length: 84
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 100 markings, 100 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 9 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((NOT FIREABLE(crG) R X (G (FIREABLE(msA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((NOT FIREABLE(crG) R X (G (FIREABLE(msA)))))))
lola: processed formula length: 55
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 573 markings, 573 edges
lola: ========================================
lola: subprocess 10 will run for 520 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (NOT FIREABLE(mrR)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: FIREABLE(mrR)
lola: processed formula length: 13
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 624 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssF)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(ssF)
lola: processed formula length: 17
lola: 85 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 573 markings, 572 edges
lola: ========================================
lola: subprocess 12 will run for 780 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(csF) AND F (NOT FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(csF) AND F (NOT FIREABLE(srF))))))
lola: processed formula length: 53
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 574 markings, 575 edges
lola: ========================================
lola: subprocess 13 will run for 1040 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))) OR (G (F ((FIREABLE(csR) OR FIREABLE(srR)))) AND F ((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))) OR (G (F ((FIREABLE(csR) OR FIREABLE(srR)))) AND F ((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))))))))
lola: processed formula length: 186
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 19 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: 1541172 markings, 5026456 edges, 308234 markings/sec, 0 secs
lola: 2816940 markings, 9732537 edges, 255154 markings/sec, 5 secs
lola: 4047438 markings, 14361162 edges, 246100 markings/sec, 10 secs
lola: 5222402 markings, 18926787 edges, 234993 markings/sec, 15 secs
lola: 6291695 markings, 23327249 edges, 213859 markings/sec, 20 secs
lola: 7489659 markings, 27854688 edges, 239593 markings/sec, 25 secs
lola: 8613203 markings, 32370044 edges, 224709 markings/sec, 30 secs
lola: 9736661 markings, 36732908 edges, 224692 markings/sec, 35 secs
lola: 10909830 markings, 41310398 edges, 234634 markings/sec, 40 secs
lola: 12031318 markings, 45731975 edges, 224298 markings/sec, 45 secs
lola: 13042397 markings, 49921623 edges, 202216 markings/sec, 50 secs
lola: 13969681 markings, 53987523 edges, 185457 markings/sec, 55 secs
lola: 14877430 markings, 58048015 edges, 181550 markings/sec, 60 secs
lola: 15841178 markings, 62218984 edges, 192750 markings/sec, 65 secs
lola: 16872779 markings, 66371848 edges, 206320 markings/sec, 70 secs
lola: 17920950 markings, 70685408 edges, 209634 markings/sec, 75 secs
lola: 19045232 markings, 75250450 edges, 224856 markings/sec, 80 secs
lola: 20136625 markings, 79639802 edges, 218279 markings/sec, 85 secs
lola: 21140971 markings, 83886418 edges, 200869 markings/sec, 90 secs
lola: 22230636 markings, 88313507 edges, 217933 markings/sec, 95 secs
lola: 23261062 markings, 92618865 edges, 206085 markings/sec, 100 secs
lola: 24345433 markings, 97017062 edges, 216874 markings/sec, 105 secs
lola: 25290597 markings, 101156749 edges, 189033 markings/sec, 110 secs
lola: 26328176 markings, 105568753 edges, 207516 markings/sec, 115 secs
lola: 27322724 markings, 109768289 edges, 198910 markings/sec, 120 secs
lola: 28303610 markings, 114010991 edges, 196177 markings/sec, 125 secs
lola: 29430563 markings, 118641164 edges, 225391 markings/sec, 130 secs
lola: 30517721 markings, 122969395 edges, 217432 markings/sec, 135 secs
lola: 31367770 markings, 127032849 edges, 170010 markings/sec, 140 secs
lola: 32311681 markings, 131066298 edges, 188782 markings/sec, 145 secs
lola: 33216211 markings, 135144897 edges, 180906 markings/sec, 150 secs
lola: 34163088 markings, 139213641 edges, 189375 markings/sec, 155 secs
lola: 35239311 markings, 143731534 edges, 215245 markings/sec, 160 secs
lola: 36199167 markings, 147914135 edges, 191971 markings/sec, 165 secs
lola: 37247468 markings, 152356011 edges, 209660 markings/sec, 170 secs
lola: 38211154 markings, 156502727 edges, 192737 markings/sec, 175 secs
lola: 39217326 markings, 160816401 edges, 201234 markings/sec, 180 secs
lola: 40243348 markings, 165091505 edges, 205204 markings/sec, 185 secs
lola: 41233018 markings, 169221826 edges, 197934 markings/sec, 190 secs
lola: 42130820 markings, 173258566 edges, 179560 markings/sec, 195 secs
lola: 43068036 markings, 177397935 edges, 187443 markings/sec, 200 secs
lola: 44069976 markings, 181602971 edges, 200388 markings/sec, 205 secs
lola: 44982367 markings, 185588509 edges, 182478 markings/sec, 210 secs
lola: 45834045 markings, 189482240 edges, 170336 markings/sec, 215 secs
lola: 46896728 markings, 193877088 edges, 212537 markings/sec, 220 secs
lola: 47817815 markings, 198033025 edges, 184217 markings/sec, 225 secs
lola: 48811028 markings, 202203864 edges, 198643 markings/sec, 230 secs
lola: 49734670 markings, 206311825 edges, 184728 markings/sec, 235 secs
lola: 50584754 markings, 210181713 edges, 170017 markings/sec, 240 secs
lola: 51492006 markings, 214139936 edges, 181450 markings/sec, 245 secs
lola: 52477233 markings, 218385210 edges, 197045 markings/sec, 250 secs
lola: 53459036 markings, 222703783 edges, 196361 markings/sec, 255 secs
lola: 54330155 markings, 226654360 edges, 174224 markings/sec, 260 secs
lola: 55293364 markings, 230731021 edges, 192642 markings/sec, 265 secs
lola: 56330389 markings, 235016867 edges, 207405 markings/sec, 270 secs
lola: 57227662 markings, 238965506 edges, 179455 markings/sec, 275 secs
lola: 58095168 markings, 242940365 edges, 173501 markings/sec, 280 secs
lola: 58925270 markings, 246919298 edges, 166020 markings/sec, 285 secs
lola: 59847046 markings, 251011709 edges, 184355 markings/sec, 290 secs
lola: 60745233 markings, 255068117 edges, 179637 markings/sec, 295 secs
lola: 61736163 markings, 259222508 edges, 198186 markings/sec, 300 secs
lola: 62785339 markings, 263532364 edges, 209835 markings/sec, 305 secs
lola: 63645160 markings, 267590269 edges, 171964 markings/sec, 310 secs
lola: 64480259 markings, 271492536 edges, 167020 markings/sec, 315 secs
lola: 65351218 markings, 275470203 edges, 174192 markings/sec, 320 secs
lola: 66174630 markings, 279294033 edges, 164682 markings/sec, 325 secs
lola: 66992899 markings, 283133695 edges, 163654 markings/sec, 330 secs
lola: 67999274 markings, 287559303 edges, 201275 markings/sec, 335 secs
lola: 68970603 markings, 291718553 edges, 194266 markings/sec, 340 secs
lola: 69832756 markings, 295631082 edges, 172431 markings/sec, 345 secs
lola: 70852186 markings, 299945482 edges, 203886 markings/sec, 350 secs
lola: 71846447 markings, 304101064 edges, 198852 markings/sec, 355 secs
lola: 72768561 markings, 308141226 edges, 184423 markings/sec, 360 secs
lola: 73705968 markings, 312473944 edges, 187481 markings/sec, 365 secs
lola: 74593983 markings, 316504759 edges, 177603 markings/sec, 370 secs
lola: 75581080 markings, 320600160 edges, 197419 markings/sec, 375 secs
lola: 76815161 markings, 325174829 edges, 246816 markings/sec, 380 secs
lola: 77825639 markings, 329588834 edges, 202096 markings/sec, 385 secs
lola: 78653945 markings, 333403465 edges, 165661 markings/sec, 390 secs
lola: 79400345 markings, 337108630 edges, 149280 markings/sec, 395 secs
lola: 80188583 markings, 340855175 edges, 157648 markings/sec, 400 secs
lola: 80938879 markings, 344543456 edges, 150059 markings/sec, 405 secs
lola: 81880324 markings, 348659702 edges, 188289 markings/sec, 410 secs
lola: 82898128 markings, 352829488 edges, 203561 markings/sec, 415 secs
lola: 83743223 markings, 356814401 edges, 169019 markings/sec, 420 secs
lola: 84806778 markings, 361091279 edges, 212711 markings/sec, 425 secs
lola: 85766996 markings, 365392644 edges, 192044 markings/sec, 430 secs
lola: 86623282 markings, 369357981 edges, 171257 markings/sec, 435 secs
lola: 87404278 markings, 373113990 edges, 156199 markings/sec, 440 secs
lola: 88343185 markings, 377099834 edges, 187781 markings/sec, 445 secs
lola: 89298871 markings, 381265709 edges, 191137 markings/sec, 450 secs
lola: 90336056 markings, 385618812 edges, 207437 markings/sec, 455 secs
lola: 91243085 markings, 389649931 edges, 181406 markings/sec, 460 secs
lola: 92078830 markings, 393482378 edges, 167149 markings/sec, 465 secs
lola: 92919084 markings, 397346298 edges, 168051 markings/sec, 470 secs
lola: 93820930 markings, 401287402 edges, 180369 markings/sec, 475 secs
lola: 94716290 markings, 405178871 edges, 179072 markings/sec, 480 secs
lola: 95533105 markings, 409062535 edges, 163363 markings/sec, 485 secs
lola: 96319816 markings, 412802593 edges, 157342 markings/sec, 490 secs
lola: 97175107 markings, 416660871 edges, 171058 markings/sec, 495 secs
lola: 97969518 markings, 420461133 edges, 158882 markings/sec, 500 secs
lola: 98890283 markings, 424471920 edges, 184153 markings/sec, 505 secs
lola: 99699159 markings, 428297997 edges, 161775 markings/sec, 510 secs
lola: 100548165 markings, 432197487 edges, 169801 markings/sec, 515 secs
lola: 101364706 markings, 435967160 edges, 163308 markings/sec, 520 secs
lola: 102195117 markings, 439768649 edges, 166082 markings/sec, 525 secs
lola: 103088159 markings, 443833971 edges, 178608 markings/sec, 530 secs
lola: 104102712 markings, 448209044 edges, 202911 markings/sec, 535 secs
lola: 105078265 markings, 452348299 edges, 195111 markings/sec, 540 secs
lola: 105975862 markings, 456430903 edges, 179519 markings/sec, 545 secs
lola: 106928327 markings, 460716728 edges, 190493 markings/sec, 550 secs
lola: 107913098 markings, 464913022 edges, 196954 markings/sec, 555 secs
lola: 108700064 markings, 468677671 edges, 157393 markings/sec, 560 secs
lola: 109502214 markings, 472579319 edges, 160430 markings/sec, 565 secs
lola: 110491144 markings, 476731076 edges, 197786 markings/sec, 570 secs
lola: 111431393 markings, 480741369 edges, 188050 markings/sec, 575 secs
lola: 112048635 markings, 483463715 edges, 123448 markings/sec, 580 secs
lola: 112053138 markings, 483488221 edges, 901 markings/sec, 585 secs
lola: 112053202 markings, 483488552 edges, 13 markings/sec, 590 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1259 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (FIREABLE(srF))) AND A (G (NOT FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1259 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(ssG)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (NOT FIREABLE(ssG)))
lola: processed formula length: 25
lola: 85 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)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 8 markings, 7 edges
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: FIREABLE(ssG)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 15 will run for 2519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(crG))) AND (A (G ((FIREABLE(srF) AND FIREABLE(msA)))) AND A (G (F (FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2519 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(crG)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: NOT FIREABLE(crG)
lola: processed formula length: 17
lola: 85 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: 65067 markings, 90317 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(srF))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(srF))))
lola: processed formula length: 25
lola: 83 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: 573 markings, 573 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((FIREABLE(srG) OR F (FIREABLE(msG))))))
lola: processed formula length: 48
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1952583 markings, 5321955 edges, 390517 markings/sec, 0 secs
lola: 3649209 markings, 10628860 edges, 339325 markings/sec, 5 secs
lola: 5160926 markings, 15416492 edges, 302343 markings/sec, 10 secs
lola: 6621764 markings, 20064035 edges, 292168 markings/sec, 15 secs
lola: 8081900 markings, 24704712 edges, 292027 markings/sec, 20 secs
lola: 9480964 markings, 29231319 edges, 279813 markings/sec, 25 secs
lola: 10871662 markings, 33739823 edges, 278140 markings/sec, 30 secs
lola: 11938404 markings, 38386520 edges, 213348 markings/sec, 35 secs
lola: 13391597 markings, 43368135 edges, 290639 markings/sec, 40 secs
lola: 14720298 markings, 47792296 edges, 265740 markings/sec, 45 secs
lola: 15997257 markings, 52104454 edges, 255392 markings/sec, 50 secs
lola: 17245284 markings, 56361085 edges, 249605 markings/sec, 55 secs
lola: 18406212 markings, 60471497 edges, 232186 markings/sec, 60 secs
lola: 19602814 markings, 64579188 edges, 239320 markings/sec, 65 secs
lola: 20835502 markings, 68787389 edges, 246538 markings/sec, 70 secs
lola: 21942780 markings, 72751131 edges, 221456 markings/sec, 75 secs
lola: 23168441 markings, 76930129 edges, 245132 markings/sec, 80 secs
lola: 24260556 markings, 80855062 edges, 218423 markings/sec, 85 secs
lola: 25462087 markings, 85017901 edges, 240306 markings/sec, 90 secs
lola: 26575184 markings, 88930338 edges, 222619 markings/sec, 95 secs
lola: 27648659 markings, 92845353 edges, 214695 markings/sec, 100 secs
lola: 28878425 markings, 97007029 edges, 245953 markings/sec, 105 secs
lola: 29951249 markings, 100859503 edges, 214565 markings/sec, 110 secs
lola: 31029349 markings, 104791155 edges, 215620 markings/sec, 115 secs
lola: 32262917 markings, 108980211 edges, 246714 markings/sec, 120 secs
lola: 33336993 markings, 112809721 edges, 214815 markings/sec, 125 secs
lola: 34399049 markings, 116679103 edges, 212411 markings/sec, 130 secs
lola: 35494732 markings, 120694827 edges, 219137 markings/sec, 135 secs
lola: 36710583 markings, 124753623 edges, 243170 markings/sec, 140 secs
lola: 37759587 markings, 128547230 edges, 209801 markings/sec, 145 secs
lola: 38826716 markings, 132437005 edges, 213426 markings/sec, 150 secs
lola: 39917569 markings, 136447113 edges, 218171 markings/sec, 155 secs
lola: 41152651 markings, 140548722 edges, 247016 markings/sec, 160 secs
lola: 42195682 markings, 144319487 edges, 208606 markings/sec, 165 secs
lola: 43251045 markings, 148165656 edges, 211073 markings/sec, 170 secs
lola: 44314518 markings, 152072994 edges, 212695 markings/sec, 175 secs
lola: 45533357 markings, 156273484 edges, 243768 markings/sec, 180 secs
lola: 46194523 markings, 160271575 edges, 132233 markings/sec, 185 secs
lola: 46812614 markings, 164173246 edges, 123618 markings/sec, 190 secs
lola: 47451902 markings, 168212784 edges, 127858 markings/sec, 195 secs
lola: 48142549 markings, 172488838 edges, 138129 markings/sec, 200 secs
lola: 49527231 markings, 177301491 edges, 276936 markings/sec, 205 secs
lola: 50843981 markings, 181797342 edges, 263350 markings/sec, 210 secs
lola: 52035984 markings, 186014024 edges, 238401 markings/sec, 215 secs
lola: 53314694 markings, 190446660 edges, 255742 markings/sec, 220 secs
lola: 54533964 markings, 194970855 edges, 243854 markings/sec, 225 secs
lola: 55830090 markings, 199510403 edges, 259225 markings/sec, 230 secs
lola: 56972673 markings, 203893504 edges, 228517 markings/sec, 235 secs
lola: 58297843 markings, 208487241 edges, 265034 markings/sec, 240 secs
lola: 59440422 markings, 212809975 edges, 228516 markings/sec, 245 secs
lola: 60576006 markings, 217175780 edges, 227117 markings/sec, 250 secs
lola: 61897076 markings, 221743382 edges, 264214 markings/sec, 255 secs
lola: 63039373 markings, 226025256 edges, 228459 markings/sec, 260 secs
lola: 64142223 markings, 230258722 edges, 220570 markings/sec, 265 secs
lola: 65257160 markings, 234607293 edges, 222987 markings/sec, 270 secs
lola: 66579253 markings, 239119638 edges, 264419 markings/sec, 275 secs
lola: 67700320 markings, 243360969 edges, 224213 markings/sec, 280 secs
lola: 68792835 markings, 247554318 edges, 218503 markings/sec, 285 secs
lola: 69889234 markings, 251792091 edges, 219280 markings/sec, 290 secs
lola: 71061811 markings, 256206081 edges, 234515 markings/sec, 295 secs
lola: 72337515 markings, 260649774 edges, 255141 markings/sec, 300 secs
lola: 73458091 markings, 264868849 edges, 224115 markings/sec, 305 secs
lola: 74512245 markings, 268994754 edges, 210831 markings/sec, 310 secs
lola: 75606525 markings, 273193550 edges, 218856 markings/sec, 315 secs
lola: 76685200 markings, 277427174 edges, 215735 markings/sec, 320 secs
lola: 77883798 markings, 281826571 edges, 239720 markings/sec, 325 secs
lola: 79150297 markings, 286251412 edges, 253300 markings/sec, 330 secs
lola: 80236303 markings, 290400240 edges, 217201 markings/sec, 335 secs
lola: 81310947 markings, 294539768 edges, 214929 markings/sec, 340 secs
lola: 82367298 markings, 298666873 edges, 211270 markings/sec, 345 secs
lola: 83422188 markings, 302807335 edges, 210978 markings/sec, 350 secs
lola: 84510850 markings, 307083435 edges, 217732 markings/sec, 355 secs
lola: 85735830 markings, 311505967 edges, 244996 markings/sec, 360 secs
lola: 86986043 markings, 315887583 edges, 250043 markings/sec, 365 secs
lola: 88056152 markings, 319980840 edges, 214022 markings/sec, 370 secs
lola: 89121042 markings, 324077335 edges, 212978 markings/sec, 375 secs
lola: 90164396 markings, 328155525 edges, 208671 markings/sec, 380 secs
lola: 91205390 markings, 332239774 edges, 208199 markings/sec, 385 secs
lola: 92256579 markings, 336364526 edges, 210238 markings/sec, 390 secs
lola: 93337087 markings, 340606929 edges, 216102 markings/sec, 395 secs
lola: 94528806 markings, 344982183 edges, 238344 markings/sec, 400 secs
lola: 95790804 markings, 349365247 edges, 252400 markings/sec, 405 secs
lola: 96880243 markings, 353471470 edges, 217888 markings/sec, 410 secs
lola: 97911180 markings, 357490129 edges, 206187 markings/sec, 415 secs
lola: 98972285 markings, 361568542 edges, 212221 markings/sec, 420 secs
lola: 100014895 markings, 365644346 edges, 208522 markings/sec, 425 secs
lola: 101059211 markings, 369741349 edges, 208863 markings/sec, 430 secs
lola: 102109545 markings, 373861758 edges, 210067 markings/sec, 435 secs
lola: 103171422 markings, 378031509 edges, 212375 markings/sec, 440 secs
lola: 104256395 markings, 382328795 edges, 216995 markings/sec, 445 secs
lola: 105513011 markings, 386711409 edges, 251323 markings/sec, 450 secs
lola: 106701721 markings, 390959114 edges, 237742 markings/sec, 455 secs
lola: 107752155 markings, 394986455 edges, 210087 markings/sec, 460 secs
lola: 108799069 markings, 398994116 edges, 209383 markings/sec, 465 secs
lola: 109807995 markings, 402951087 edges, 201785 markings/sec, 470 secs
lola: 110826972 markings, 406946454 edges, 203795 markings/sec, 475 secs
lola: 111855445 markings, 410979320 edges, 205695 markings/sec, 480 secs
lola: 112881930 markings, 415005098 edges, 205297 markings/sec, 485 secs
lola: 113916746 markings, 419063921 edges, 206963 markings/sec, 490 secs
lola: 113975529 markings, 419299698 edges, 11757 markings/sec, 495 secs
lola: 113979392 markings, 419315311 edges, 773 markings/sec, 500 secs
lola: 113979442 markings, 419315524 edges, 10 markings/sec, 505 secs
lola: 113981705 markings, 419324578 edges, 453 markings/sec, 510 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))) OR (G (F ((FIREABLE(csR) OR FIREABLE(srR)))) AND F ((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))) OR (G (F ((FIREABLE(csR) OR FIREABLE(srR)))) AND F ((F (FIREABLE(ssA)) AND (FIREABLE(msG) OR G (FIREABLE(ssA)))))))))
lola: processed formula length: 186
lola: 83 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 19 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: 1448202 markings, 4688769 edges, 289640 markings/sec, 0 secs
lola: 2735759 markings, 9416150 edges, 257511 markings/sec, 5 secs
lola: 3940625 markings, 13939077 edges, 240973 markings/sec, 10 secs
lola: 5055595 markings, 18273624 edges, 222994 markings/sec, 15 secs
lola: 6106495 markings, 22557178 edges, 210180 markings/sec, 20 secs
lola: 7251038 markings, 26911404 edges, 228909 markings/sec, 25 secs
lola: 8313049 markings, 31221013 edges, 212402 markings/sec, 30 secs
lola: 9325018 markings, 35286737 edges, 202394 markings/sec, 35 secs
lola: 10570571 markings, 39918030 edges, 249111 markings/sec, 40 secs
lola: 11707754 markings, 44374835 edges, 227437 markings/sec, 45 secs
lola: 12728718 markings, 48599207 edges, 204193 markings/sec, 50 secs
lola: 13682467 markings, 52665095 edges, 190750 markings/sec, 55 secs
lola: 14568397 markings, 56741099 edges, 177186 markings/sec, 60 secs
lola: 15545328 markings, 60912792 edges, 195386 markings/sec, 65 secs
lola: 16448782 markings, 64735423 edges, 180691 markings/sec, 70 secs
lola: 17399537 markings, 68664073 edges, 190151 markings/sec, 75 secs
lola: 18489046 markings, 72955577 edges, 217902 markings/sec, 80 secs
lola: 19551760 markings, 77317272 edges, 212543 markings/sec, 85 secs
lola: 20539784 markings, 81372782 edges, 197605 markings/sec, 90 secs
lola: 21551400 markings, 85515027 edges, 202323 markings/sec, 95 secs
lola: 22562639 markings, 89765201 edges, 202248 markings/sec, 100 secs
lola: 23570022 markings, 93885658 edges, 201477 markings/sec, 105 secs
lola: 24575585 markings, 98009430 edges, 201113 markings/sec, 110 secs
lola: 25483255 markings, 101981269 edges, 181534 markings/sec, 115 secs
lola: 26421910 markings, 105962188 edges, 187731 markings/sec, 120 secs
lola: 27411833 markings, 110160069 edges, 197985 markings/sec, 125 secs
lola: 28396994 markings, 114431939 edges, 197032 markings/sec, 130 secs
lola: 29544833 markings, 119088673 edges, 229568 markings/sec, 135 secs
lola: 30602988 markings, 123359236 edges, 211631 markings/sec, 140 secs
lola: 31456478 markings, 127392482 edges, 170698 markings/sec, 145 secs
lola: 32400903 markings, 131440946 edges, 188885 markings/sec, 150 secs
lola: 33287006 markings, 135487634 edges, 177221 markings/sec, 155 secs
lola: 34234024 markings, 139549722 edges, 189404 markings/sec, 160 secs
lola: 35317811 markings, 144056207 edges, 216757 markings/sec, 165 secs
lola: 36276426 markings, 148259417 edges, 191723 markings/sec, 170 secs
lola: 37335707 markings, 152682458 edges, 211856 markings/sec, 175 secs
lola: 38292568 markings, 156826729 edges, 191372 markings/sec, 180 secs
lola: 39301486 markings, 161171674 edges, 201784 markings/sec, 185 secs
lola: 40323179 markings, 165409596 edges, 204339 markings/sec, 190 secs
lola: 41310418 markings, 169535133 edges, 197448 markings/sec, 195 secs
lola: 42190773 markings, 173553658 edges, 176071 markings/sec, 200 secs
lola: 43142037 markings, 177721283 edges, 190253 markings/sec, 205 secs
lola: 44154255 markings, 181929818 edges, 202444 markings/sec, 210 secs
lola: 45049940 markings, 185886103 edges, 179137 markings/sec, 215 secs
lola: 45899496 markings, 189773129 edges, 169911 markings/sec, 220 secs
lola: 46971465 markings, 194198009 edges, 214394 markings/sec, 225 secs
lola: 47874740 markings, 198320162 edges, 180655 markings/sec, 230 secs
lola: 48879104 markings, 202481770 edges, 200873 markings/sec, 235 secs
lola: 49790331 markings, 206578276 edges, 182245 markings/sec, 240 secs
lola: 50642588 markings, 210439494 edges, 170451 markings/sec, 245 secs
lola: 51558836 markings, 214413381 edges, 183250 markings/sec, 250 secs
lola: 52537825 markings, 218656160 edges, 195798 markings/sec, 255 secs
lola: 53512347 markings, 222948759 edges, 194904 markings/sec, 260 secs
lola: 54382041 markings, 226904134 edges, 173939 markings/sec, 265 secs
lola: 55372277 markings, 231028054 edges, 198047 markings/sec, 270 secs
lola: 56395630 markings, 235294101 edges, 204671 markings/sec, 275 secs
lola: 57284321 markings, 239208038 edges, 177738 markings/sec, 280 secs
lola: 58152953 markings, 243218982 edges, 173726 markings/sec, 285 secs
lola: 58988153 markings, 247187174 edges, 167040 markings/sec, 290 secs
lola: 59907770 markings, 251284400 edges, 183923 markings/sec, 295 secs
lola: 60808023 markings, 255326560 edges, 180051 markings/sec, 300 secs
lola: 61799764 markings, 259508519 edges, 198348 markings/sec, 305 secs
lola: 62857400 markings, 263854289 edges, 211527 markings/sec, 310 secs
lola: 63698869 markings, 267853004 edges, 168294 markings/sec, 315 secs
lola: 64544021 markings, 271769969 edges, 169030 markings/sec, 320 secs
lola: 65411740 markings, 275733541 edges, 173544 markings/sec, 325 secs
lola: 66228071 markings, 279535334 edges, 163266 markings/sec, 330 secs
lola: 67056914 markings, 283416619 edges, 165769 markings/sec, 335 secs
lola: 68070403 markings, 287842303 edges, 202698 markings/sec, 340 secs
lola: 69042841 markings, 292030513 edges, 194488 markings/sec, 345 secs
lola: 69887057 markings, 295901352 edges, 168843 markings/sec, 350 secs
lola: 70910956 markings, 300234068 edges, 204780 markings/sec, 355 secs
lola: 71899091 markings, 304371964 edges, 197627 markings/sec, 360 secs
lola: 72827745 markings, 308431851 edges, 185731 markings/sec, 365 secs
lola: 73786635 markings, 312766834 edges, 191778 markings/sec, 370 secs
lola: 74652664 markings, 316761842 edges, 173206 markings/sec, 375 secs
lola: 75668549 markings, 320925134 edges, 203177 markings/sec, 380 secs
lola: 76887191 markings, 325485604 edges, 243728 markings/sec, 385 secs
lola: 77906411 markings, 329915075 edges, 203844 markings/sec, 390 secs
lola: 78704580 markings, 333666177 edges, 159634 markings/sec, 395 secs
lola: 79460509 markings, 337395091 edges, 151186 markings/sec, 400 secs
lola: 80239367 markings, 341121145 edges, 155772 markings/sec, 405 secs
lola: 81005527 markings, 344850124 edges, 153232 markings/sec, 410 secs
lola: 81959311 markings, 348962784 edges, 190757 markings/sec, 415 secs
lola: 82964835 markings, 353130213 edges, 201105 markings/sec, 420 secs
lola: 83824068 markings, 357121767 edges, 171847 markings/sec, 425 secs
lola: 84872307 markings, 361392331 edges, 209648 markings/sec, 430 secs
lola: 85839523 markings, 365714474 edges, 193443 markings/sec, 435 secs
lola: 86676094 markings, 369627644 edges, 167314 markings/sec, 440 secs
lola: 87478001 markings, 373431399 edges, 160381 markings/sec, 445 secs
lola: 88420099 markings, 377409345 edges, 188420 markings/sec, 450 secs
lola: 89364971 markings, 381586819 edges, 188974 markings/sec, 455 secs
lola: 90420094 markings, 385948843 edges, 211025 markings/sec, 460 secs
lola: 91300805 markings, 389950261 edges, 176142 markings/sec, 465 secs
lola: 92146595 markings, 393781225 edges, 169158 markings/sec, 470 secs
lola: 92988758 markings, 397655237 edges, 168433 markings/sec, 475 secs
lola: 93888965 markings, 401619253 edges, 180041 markings/sec, 480 secs
lola: 94794810 markings, 405534511 edges, 181169 markings/sec, 485 secs
lola: 95615005 markings, 409399257 edges, 164039 markings/sec, 490 secs
lola: 96396336 markings, 413168762 edges, 156266 markings/sec, 495 secs
lola: 97272282 markings, 417069310 edges, 175189 markings/sec, 500 secs
lola: 98053535 markings, 420871496 edges, 156251 markings/sec, 505 secs
lola: 98975680 markings, 424909350 edges, 184429 markings/sec, 510 secs
lola: 99786110 markings, 428740370 edges, 162086 markings/sec, 515 secs
lola: 100638364 markings, 432655466 edges, 170451 markings/sec, 520 secs
lola: 101486279 markings, 436450466 edges, 169583 markings/sec, 525 secs
lola: 102306284 markings, 440307961 edges, 164001 markings/sec, 530 secs
lola: 103213558 markings, 444413078 edges, 181455 markings/sec, 535 secs
lola: 104243641 markings, 448825670 edges, 206017 markings/sec, 540 secs
lola: 105211014 markings, 452978539 edges, 193475 markings/sec, 545 secs
lola: 106112192 markings, 457098627 edges, 180236 markings/sec, 550 secs
lola: 107130398 markings, 461455288 edges, 203641 markings/sec, 555 secs
lola: 108056717 markings, 465579928 edges, 185264 markings/sec, 560 secs
lola: 108833475 markings, 469363616 edges, 155352 markings/sec, 565 secs
lola: 109680014 markings, 473331698 edges, 169308 markings/sec, 570 secs
lola: 110672317 markings, 477466193 edges, 198461 markings/sec, 575 secs
lola: 111644845 markings, 481595194 edges, 194506 markings/sec, 580 secs
lola: 112099483 markings, 483726497 edges, 90928 markings/sec, 585 secs
lola: 112111855 markings, 483784413 edges, 2474 markings/sec, 590 secs
lola: 112111911 markings, 483784694 edges, 11 markings/sec, 595 secs
lola: 112111945 markings, 483784889 edges, 7 markings/sec, 600 secs
lola: 112126177 markings, 483855080 edges, 2846 markings/sec, 605 secs
lola: 112126234 markings, 483855387 edges, 11 markings/sec, 610 secs
lola: 112135645 markings, 483896058 edges, 1882 markings/sec, 615 secs
lola: 112135709 markings, 483896232 edges, 13 markings/sec, 620 secs
lola: 112135756 markings, 483896400 edges, 9 markings/sec, 625 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no no no no no yes yes yes unknown no unknown no no no no
lola:
preliminary result: yes no no no no no yes yes yes unknown no unknown no no no no
lola: memory consumption: 13080 KB
lola: time consumption: 2207 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1589262343928

--------------------
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-N0010P1"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
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 win2019"
echo " Input is ClientsAndServers-PT-N0010P1, 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 r045-smll-158902068200040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0010P1.tgz
mv ClientsAndServers-PT-N0010P1 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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;