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-158902068200052.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-N0020P4, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068200052
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 15:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 26 07:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.2K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589285490819

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

FORMULA ClientsAndServers-PT-N0020P4-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA ClientsAndServers-PT-N0020P4-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N0020P4-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P4-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N0020P4-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P4-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

FORMULA ClientsAndServers-PT-N0020P4-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P4-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 966
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0020P4

{
"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 12:11:30 2020
",
"timelimit": 3570
},
"child":
[

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"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 (X (G (NOT FIREABLE(srF)))))",
"processed_size": 33,
"rewrites": 123
},
"result":
{
"edges": 613534,
"markings": 175196,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 4,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((X ((NOT FIREABLE(msA) AND X (F (NOT FIREABLE(msA))))) OR G ((FIREABLE(ssF) OR X (FIREABLE(srF))))))",
"processed_size": 103,
"rewrites": 123
},
"result":
{
"edges": 10,
"markings": 11,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 11
},
"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": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 2,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (G (((FIREABLE(srR) OR X (NOT FIREABLE(msG))) AND FIREABLE(msG)))))",
"processed_size": 72,
"rewrites": 123
},
"result":
{
"edges": 1289,
"markings": 1289,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"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": 322
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((FIREABLE(mrR) AND (X (NOT FIREABLE(csR)) AND F (NOT FIREABLE(ssR))))))",
"processed_size": 77,
"rewrites": 123
},
"result":
{
"edges": 1667,
"markings": 1666,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 355
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((X (FIREABLE(mrF)) OR F (G ((NOT FIREABLE(srF) AND NOT FIREABLE(csR))))))",
"processed_size": 76,
"rewrites": 123
},
"result":
{
"edges": 13426177,
"markings": 1722488,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 6,
"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": 393
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (((X (FIREABLE(msG)) OR (G (FIREABLE(mrF)) AND X (F (FIREABLE(msG))))) U X (FIREABLE(mrR))))",
"processed_size": 94,
"rewrites": 123
},
"result":
{
"edges": 1289,
"markings": 1289,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 442
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"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": 3
},
"processed": "A (X (G ((FIREABLE(srG) OR X (F ((NOT FIREABLE(msA) AND NOT FIREABLE(msG))))))))",
"processed_size": 80,
"rewrites": 123
},
"result":
{
"edges": 5413146,
"markings": 2122600,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 505
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 4,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 2
},
"processed": "A (X (F ((F ((FIREABLE(csF) AND X (F (FIREABLE(csF))))) OR X ((NOT FIREABLE(ssF) OR FIREABLE(ssF)))))))",
"processed_size": 103,
"rewrites": 123
},
"result":
{
"edges": 5,
"markings": 6,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"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": 589
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 4,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 6,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 2,
"tdisj": 2,
"tneg": 0,
"transition_references": 6,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((F (G (FIREABLE(msA))) OR (G (F ((G (NOT FIREABLE(csF)) OR ((FIREABLE(msA) U FIREABLE(crG)) AND X (NOT FIREABLE(csF)))))) AND F (G (FIREABLE(msA))))))",
"processed_size": 153,
"rewrites": 123
},
"result":
{
"edges": 1293,
"markings": 1291,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 14
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 707
},
"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": 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 ((F (FIREABLE(msG)) OR (FIREABLE(msG) AND G (FIREABLE(mfU)))))",
"processed_size": 64,
"rewrites": 123
},
"result":
{
"edges": 217732,
"markings": 66518,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 11,
"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": 887
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 2,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 3,
"unfir": 1,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (F ((G (NOT FIREABLE(srR)) AND F ((NOT FIREABLE(mfU) OR F (FIREABLE(msA)))))))",
"processed_size": 80,
"rewrites": 123
},
"result":
{
"edges": 19,
"markings": 19,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 5,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 5,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((((FIREABLE(crG) OR FIREABLE(srF)) OR (FIREABLE(crG) AND FIREABLE(srF))) U FIREABLE(crA)))",
"processed_size": 94,
"rewrites": 133
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space /ER",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl",
"visible": 7
},
"threads": 1,
"type": "dfs"
},
"type": "universal_until"
}
}
],
"exit":
{
"error": null,
"memory": 13324,
"runtime": 2604.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(G(((* R *) OR (G(F(*)) OR F((* AND F(*)))))))) : A(F((G(*) AND F((* OR F(*)))))) : (A(X(X(G(*)))) AND A(X(G((* OR X(*)))))) : A(X(G((* AND G(F(*)))))) : A((X((* AND X(F(*)))) OR G((** OR X(**))))) : A(X(G(((* OR X(*)) AND *)))) : A(F((* AND (X(*) AND F(*))))) : A((X(**) OR F(G(*)))) : A((F(**) OR (** AND G(**)))) : A(F(G((** OR (G(**) AND F(**)))))) : A(((X(**) OR (G(**) AND X(F(**)))) U X(*))) : A(X(G((** OR X(F(**)))))) : A(X(F((F((** AND X(F(**)))) OR X((** OR **)))))) : A(((** OR (** AND **)) U **)) : A((F(G(**)) OR (G(F((G(*) OR ((** U **) AND X(*))))) AND F(G(**))))) : A(F((** OR G((** AND F(**))))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"preliminary_value": "no no no no yes no no no yes unknown no no yes no no unknown ",
"value": "no no no no yes no no no yes unknown no no yes no no unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (G (X (NOT(((FIREABLE(maU) U FIREABLE(ssG)) AND G ((NOT FIREABLE(maU) U G (FIREABLE(maU))))))))) : A (F (NOT((F (FIREABLE(srR)) OR G ((FIREABLE(mfU) AND G (NOT FIREABLE(msA)))))))) : A ((NOT(X (X (F (FIREABLE(srF))))) AND NOT(F (X ((FIREABLE(ssG) AND X (FIREABLE(srF)))))))) : A (X (NOT(F ((FIREABLE(csF) OR (FIREABLE(ssF) U X (F (X (G (FIREABLE(csF))))))))))) : A (NOT((X ((FIREABLE(msA) OR G (X (FIREABLE(msA))))) AND F (NOT((FIREABLE(ssF) OR X (FIREABLE(srF)))))))) : A (NOT(X ((F ((NOT FIREABLE(srR) AND X (FIREABLE(msG)))) OR (FIREABLE(msG) U NOT FIREABLE(msG)))))) : A (((FIREABLE(ssR) OR F (FIREABLE(csR))) U F (NOT(((NOT FIREABLE(mrR) OR X (FIREABLE(csR))) OR G (FIREABLE(ssR))))))) : A ((X (FIREABLE(mrF)) OR NOT(F (G (F ((FIREABLE(srF) OR FIREABLE(csR)))))))) : A ((F (FIREABLE(msG)) OR (FIREABLE(msG) AND G (FIREABLE(mfU))))) : A (F (G (X ((G (FIREABLE(msG)) U FIREABLE(ssA)))))) : A (((G (FIREABLE(mrF)) U X (FIREABLE(msG))) U NOT(X (NOT FIREABLE(mrR))))) : A (X (G ((FIREABLE(srG) OR X (F ((NOT FIREABLE(msA) AND NOT FIREABLE(msG)))))))) : A (F (X (((F ((FIREABLE(csF) AND F (X (FIREABLE(csF))))) OR X (NOT FIREABLE(ssF))) OR X (FIREABLE(ssF)))))) : A ((((FIREABLE(crG) OR FIREABLE(srF)) OR (FIREABLE(crG) AND (FIREABLE(srF) OR G (FIREABLE(srF))))) U FIREABLE(crA))) : A ((G (NOT(G ((NOT((FIREABLE(msA) U FIREABLE(crG))) U X (FIREABLE(csF)))))) U F (G (X (FIREABLE(msA)))))) : A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:525
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:422
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:419
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:494
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
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 (X (G (((NOT FIREABLE(maU) R NOT FIREABLE(ssG)) OR (G (F (NOT FIREABLE(maU))) OR F ((FIREABLE(maU) AND F (NOT FIREABLE(maU)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((NOT FIREABLE(maU) R NOT FIREABLE(ssG)) OR (G (F (NOT FIREABLE(maU))) OR F ((FIREABLE(maU) AND F (NOT FIREABLE(maU)))))))))
lola: processed formula length: 133
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2025760 markings, 5313892 edges, 405152 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2091437 markings, 5503276 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (X (G (NOT FIREABLE(srF))))) AND A (X (G ((NOT FIREABLE(ssG) OR X (NOT FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G (NOT FIREABLE(srF)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G (NOT FIREABLE(srF)))))
lola: processed formula length: 33
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 175196 markings, 613534 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((NOT FIREABLE(csF) AND G (F (NOT FIREABLE(csF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((NOT FIREABLE(csF) AND G (F (NOT FIREABLE(csF)))))))
lola: processed formula length: 61
lola: 123 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: 1153360 markings, 7012380 edges, 230672 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1741852 markings, 10942088 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X ((NOT FIREABLE(msA) AND X (F (NOT FIREABLE(msA))))) OR G ((FIREABLE(ssF) OR X (FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X ((NOT FIREABLE(msA) AND X (F (NOT FIREABLE(msA))))) OR G ((FIREABLE(ssF) OR X (FIREABLE(srF))))))
lola: processed formula length: 103
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 11 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 11 markings, 10 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (((FIREABLE(srR) OR X (NOT FIREABLE(msG))) AND FIREABLE(msG)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (((FIREABLE(srR) OR X (NOT FIREABLE(msG))) AND FIREABLE(msG)))))
lola: processed formula length: 72
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1289 markings, 1289 edges
lola: ========================================
lola: subprocess 5 will run for 322 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(mrR) AND (X (NOT FIREABLE(csR)) AND F (NOT FIREABLE(ssR))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(mrR) AND (X (NOT FIREABLE(csR)) AND F (NOT FIREABLE(ssR))))))
lola: processed formula length: 77
lola: 123 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: 1666 markings, 1667 edges
lola: ========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (FIREABLE(mrF)) OR F (G ((NOT FIREABLE(srF) AND NOT FIREABLE(csR))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (FIREABLE(mrF)) OR F (G ((NOT FIREABLE(srF) AND NOT FIREABLE(csR))))))
lola: processed formula length: 76
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1034666 markings, 7536814 edges, 206933 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1722488 markings, 13426177 edges
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((X (FIREABLE(msG)) OR (G (FIREABLE(mrF)) AND X (F (FIREABLE(msG))))) U X (FIREABLE(mrR))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((X (FIREABLE(msG)) OR (G (FIREABLE(mrF)) AND X (F (FIREABLE(msG))))) U X (FIREABLE(mrR))))
lola: processed formula length: 94
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1289 markings, 1289 edges
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((FIREABLE(srG) OR X (F ((NOT FIREABLE(msA) AND NOT 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 X (F ((NOT FIREABLE(msA) AND NOT FIREABLE(msG))))))))
lola: processed formula length: 80
lola: 123 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: ========================================
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: 2122600 markings, 5413146 edges
lola: ========================================
lola: subprocess 9 will run for 505 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((F ((FIREABLE(csF) AND X (F (FIREABLE(csF))))) OR X ((NOT FIREABLE(ssF) OR FIREABLE(ssF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((F ((FIREABLE(csF) AND X (F (FIREABLE(csF))))) OR X ((NOT FIREABLE(ssF) OR FIREABLE(ssF)))))))
lola: processed formula length: 103
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 6 markings, 5 edges
lola: ========================================
lola: subprocess 10 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G (FIREABLE(msA))) OR (G (F ((G (NOT FIREABLE(csF)) OR ((FIREABLE(msA) U FIREABLE(crG)) AND X (NOT FIREABLE(csF)))))) AND F (G (FIREABLE(msA))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G (FIREABLE(msA))) OR (G (F ((G (NOT FIREABLE(csF)) OR ((FIREABLE(msA) U FIREABLE(crG)) AND X (NOT FIREABLE(csF)))))) AND F (G (FIREABLE(msA))))))
lola: processed formula length: 153
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 14 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: 1291 markings, 1293 edges
lola: ========================================
lola: subprocess 11 will run for 707 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(msG)) OR (FIREABLE(msG) AND G (FIREABLE(mfU)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(msG)) OR (FIREABLE(msG) AND G (FIREABLE(mfU)))))
lola: processed formula length: 64
lola: 123 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 66518 markings, 217732 edges
lola: ========================================
lola: subprocess 12 will run for 884 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(ssA) OR (G (FIREABLE(msG)) AND F (FIREABLE(ssA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(ssA) OR (G (FIREABLE(msG)) AND F (FIREABLE(ssA)))))))
lola: processed formula length: 72
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 928701 markings, 6459036 edges, 185740 markings/sec, 0 secs
lola: 1818897 markings, 12770631 edges, 178039 markings/sec, 5 secs
lola: 2696490 markings, 19001883 edges, 175519 markings/sec, 10 secs
lola: 3599553 markings, 25423568 edges, 180613 markings/sec, 15 secs
lola: 4507182 markings, 31887134 edges, 181526 markings/sec, 20 secs
lola: 5355460 markings, 37933868 edges, 169656 markings/sec, 25 secs
lola: 6179686 markings, 43815743 edges, 164845 markings/sec, 30 secs
lola: 7077421 markings, 50229176 edges, 179547 markings/sec, 35 secs
lola: 7974229 markings, 56636441 edges, 179362 markings/sec, 40 secs
lola: 8877841 markings, 63087663 edges, 180722 markings/sec, 45 secs
lola: 9780039 markings, 69534143 edges, 180440 markings/sec, 50 secs
lola: 10678945 markings, 75951240 edges, 179781 markings/sec, 55 secs
lola: 11582249 markings, 82414421 edges, 180661 markings/sec, 60 secs
lola: 12512921 markings, 89076368 edges, 186134 markings/sec, 65 secs
lola: 13462973 markings, 95861115 edges, 190010 markings/sec, 70 secs
lola: 14414343 markings, 102669307 edges, 190274 markings/sec, 75 secs
lola: 15371673 markings, 109524946 edges, 191466 markings/sec, 80 secs
lola: 16340151 markings, 116453847 edges, 193696 markings/sec, 85 secs
lola: 17327345 markings, 123522754 edges, 197439 markings/sec, 90 secs
lola: 18319796 markings, 130627952 edges, 198490 markings/sec, 95 secs
lola: 19322595 markings, 137804921 edges, 200560 markings/sec, 100 secs
lola: 20322901 markings, 144965620 edges, 200061 markings/sec, 105 secs
lola: 21346277 markings, 152314437 edges, 204675 markings/sec, 110 secs
lola: 22363112 markings, 159587260 edges, 203367 markings/sec, 115 secs
lola: 23262964 markings, 166353364 edges, 179970 markings/sec, 120 secs
lola: 23976515 markings, 172392723 edges, 142710 markings/sec, 125 secs
lola: 24730793 markings, 178795864 edges, 150856 markings/sec, 130 secs
lola: 25462934 markings, 185029996 edges, 146428 markings/sec, 135 secs
lola: 26184821 markings, 191181984 edges, 144377 markings/sec, 140 secs
lola: 26908791 markings, 197359872 edges, 144794 markings/sec, 145 secs
lola: 27637428 markings, 203580348 edges, 145727 markings/sec, 150 secs
lola: 28352304 markings, 209691160 edges, 142975 markings/sec, 155 secs
lola: 29022809 markings, 215418147 edges, 134101 markings/sec, 160 secs
lola: 29654631 markings, 220829023 edges, 126364 markings/sec, 165 secs
lola: 30384307 markings, 227062105 edges, 145935 markings/sec, 170 secs
lola: 31118511 markings, 233336854 edges, 146841 markings/sec, 175 secs
lola: 31847346 markings, 239574856 edges, 145767 markings/sec, 180 secs
lola: 32573987 markings, 245800091 edges, 145328 markings/sec, 185 secs
lola: 33298729 markings, 252004390 edges, 144948 markings/sec, 190 secs
lola: 34044008 markings, 258392717 edges, 149056 markings/sec, 195 secs
lola: 34740502 markings, 264350000 edges, 139299 markings/sec, 200 secs
lola: 35495125 markings, 270812650 edges, 150925 markings/sec, 205 secs
lola: 36256603 markings, 277335196 edges, 152296 markings/sec, 210 secs
lola: 37024689 markings, 283907614 edges, 153617 markings/sec, 215 secs
lola: 37795936 markings, 290512554 edges, 154249 markings/sec, 220 secs
lola: 38574856 markings, 297206371 edges, 155784 markings/sec, 225 secs
lola: 39372081 markings, 304026950 edges, 159445 markings/sec, 230 secs
lola: 40171168 markings, 310866658 edges, 159817 markings/sec, 235 secs
lola: 40962932 markings, 317671697 edges, 158353 markings/sec, 240 secs
lola: 41770426 markings, 324577222 edges, 161499 markings/sec, 245 secs
lola: 42583498 markings, 331542555 edges, 162614 markings/sec, 250 secs
lola: 43394240 markings, 338501704 edges, 162148 markings/sec, 255 secs
lola: 44176907 markings, 345081168 edges, 156533 markings/sec, 260 secs
lola: 44895938 markings, 351140870 edges, 143806 markings/sec, 265 secs
lola: 45616647 markings, 357241049 edges, 144142 markings/sec, 270 secs
lola: 46311515 markings, 363140518 edges, 138974 markings/sec, 275 secs
lola: 46951012 markings, 368571236 edges, 127899 markings/sec, 280 secs
lola: 47651889 markings, 374535829 edges, 140175 markings/sec, 285 secs
lola: 48346653 markings, 380449497 edges, 138953 markings/sec, 290 secs
lola: 49037417 markings, 386323538 edges, 138153 markings/sec, 295 secs
lola: 49733621 markings, 392256408 edges, 139241 markings/sec, 300 secs
lola: 50428370 markings, 398176635 edges, 138950 markings/sec, 305 secs
lola: 51124857 markings, 404120082 edges, 139297 markings/sec, 310 secs
lola: 51769278 markings, 409609171 edges, 128884 markings/sec, 315 secs
lola: 52456378 markings, 415478755 edges, 137420 markings/sec, 320 secs
lola: 53146746 markings, 421355567 edges, 138074 markings/sec, 325 secs
lola: 53859202 markings, 427437963 edges, 142491 markings/sec, 330 secs
lola: 54579094 markings, 433584432 edges, 143978 markings/sec, 335 secs
lola: 55303558 markings, 439768398 edges, 144893 markings/sec, 340 secs
lola: 56033721 markings, 446002774 edges, 146033 markings/sec, 345 secs
lola: 56767487 markings, 452263949 edges, 146753 markings/sec, 350 secs
lola: 57514380 markings, 458639071 edges, 149379 markings/sec, 355 secs
lola: 58268109 markings, 465076601 edges, 150746 markings/sec, 360 secs
lola: 58970967 markings, 471089158 edges, 140572 markings/sec, 365 secs
lola: 59734770 markings, 477608000 edges, 152761 markings/sec, 370 secs
lola: 60489870 markings, 484053978 edges, 151020 markings/sec, 375 secs
lola: 61257062 markings, 490624492 edges, 153438 markings/sec, 380 secs
lola: 62030492 markings, 497226405 edges, 154686 markings/sec, 385 secs
lola: 62792589 markings, 503615737 edges, 152419 markings/sec, 390 secs
lola: 63526436 markings, 509772905 edges, 146769 markings/sec, 395 secs
lola: 64257951 markings, 515945775 edges, 146303 markings/sec, 400 secs
lola: 64965775 markings, 521934674 edges, 141565 markings/sec, 405 secs
lola: 65622553 markings, 527495211 edges, 131356 markings/sec, 410 secs
lola: 66333458 markings, 533515706 edges, 142181 markings/sec, 415 secs
lola: 67031193 markings, 539432206 edges, 139547 markings/sec, 420 secs
lola: 67735043 markings, 545401442 edges, 140770 markings/sec, 425 secs
lola: 68441341 markings, 551399224 edges, 141260 markings/sec, 430 secs
lola: 69151874 markings, 557435705 edges, 142107 markings/sec, 435 secs
lola: 69856375 markings, 563414086 edges, 140900 markings/sec, 440 secs
lola: 70522536 markings, 569084571 edges, 133232 markings/sec, 445 secs
lola: 71243195 markings, 575196585 edges, 144132 markings/sec, 450 secs
lola: 71976010 markings, 581432759 edges, 146563 markings/sec, 455 secs
lola: 72659647 markings, 587234791 edges, 136727 markings/sec, 460 secs
lola: 73405571 markings, 593577915 edges, 149185 markings/sec, 465 secs
lola: 74105039 markings, 599528792 edges, 139894 markings/sec, 470 secs
lola: 74862940 markings, 605974594 edges, 151580 markings/sec, 475 secs
lola: 75630796 markings, 612509986 edges, 153571 markings/sec, 480 secs
lola: 76406772 markings, 619116301 edges, 155195 markings/sec, 485 secs
lola: 77185248 markings, 625737348 edges, 155695 markings/sec, 490 secs
lola: 77917882 markings, 631968060 edges, 146527 markings/sec, 495 secs
lola: 78707843 markings, 638687039 edges, 157992 markings/sec, 500 secs
lola: 79480038 markings, 645191398 edges, 154439 markings/sec, 505 secs
lola: 80148356 markings, 650762111 edges, 133664 markings/sec, 510 secs
lola: 80854241 markings, 656682265 edges, 141177 markings/sec, 515 secs
lola: 81537283 markings, 662429575 edges, 136608 markings/sec, 520 secs
lola: 82217236 markings, 668164468 edges, 135991 markings/sec, 525 secs
lola: 82898977 markings, 673911875 edges, 136348 markings/sec, 530 secs
lola: 83572577 markings, 679600495 edges, 134720 markings/sec, 535 secs
lola: 84252043 markings, 685331750 edges, 135893 markings/sec, 540 secs
lola: 84935459 markings, 691098224 edges, 136683 markings/sec, 545 secs
lola: 85616691 markings, 696857841 edges, 136246 markings/sec, 550 secs
lola: 86245322 markings, 702166311 edges, 125726 markings/sec, 555 secs
lola: 86918385 markings, 707864162 edges, 134613 markings/sec, 560 secs
lola: 87622427 markings, 713817510 edges, 140808 markings/sec, 565 secs
lola: 88292578 markings, 719487432 edges, 134030 markings/sec, 570 secs
lola: 89005776 markings, 725518039 edges, 142640 markings/sec, 575 secs
lola: 89719436 markings, 731557441 edges, 142732 markings/sec, 580 secs
lola: 90451415 markings, 737745447 edges, 146396 markings/sec, 585 secs
lola: 91192071 markings, 744014653 edges, 148131 markings/sec, 590 secs
lola: 91909278 markings, 750087383 edges, 143441 markings/sec, 595 secs
lola: 92597365 markings, 755913227 edges, 137617 markings/sec, 600 secs
lola: 93352242 markings, 762304385 edges, 150975 markings/sec, 605 secs
lola: 94099542 markings, 768627598 edges, 149460 markings/sec, 610 secs
lola: 94861607 markings, 774765841 edges, 152413 markings/sec, 615 secs
lola: 95585887 markings, 780587829 edges, 144856 markings/sec, 620 secs
lola: 96274055 markings, 786139271 edges, 137634 markings/sec, 625 secs
lola: 96992508 markings, 791957277 edges, 143691 markings/sec, 630 secs
lola: 97717875 markings, 797848626 edges, 145073 markings/sec, 635 secs
lola: 98443617 markings, 803742583 edges, 145148 markings/sec, 640 secs
lola: 99176689 markings, 809696818 edges, 146614 markings/sec, 645 secs
lola: 99883382 markings, 815451677 edges, 141339 markings/sec, 650 secs
lola: 100587793 markings, 821191743 edges, 140882 markings/sec, 655 secs
lola: 101286088 markings, 826874664 edges, 139659 markings/sec, 660 secs
lola: 101989980 markings, 832609717 edges, 140778 markings/sec, 665 secs
lola: 102691400 markings, 838316314 edges, 140284 markings/sec, 670 secs
lola: 103387716 markings, 843983201 edges, 139263 markings/sec, 675 secs
lola: 104090018 markings, 849725802 edges, 140460 markings/sec, 680 secs
lola: 104797226 markings, 855480526 edges, 141442 markings/sec, 685 secs
lola: 105507257 markings, 861287338 edges, 142006 markings/sec, 690 secs
lola: 106162482 markings, 866618185 edges, 131045 markings/sec, 695 secs
lola: 106822940 markings, 872010565 edges, 132092 markings/sec, 700 secs
lola: 107513747 markings, 877658705 edges, 138161 markings/sec, 705 secs
lola: 108203110 markings, 883297484 edges, 137873 markings/sec, 710 secs
lola: 108865161 markings, 888709815 edges, 132410 markings/sec, 715 secs
lola: 109528638 markings, 894130505 edges, 132695 markings/sec, 720 secs
lola: 110236746 markings, 899887581 edges, 141622 markings/sec, 725 secs
lola: 110930486 markings, 905556689 edges, 138748 markings/sec, 730 secs
lola: 111621629 markings, 911206256 edges, 138229 markings/sec, 735 secs
lola: 112317034 markings, 916892196 edges, 139081 markings/sec, 740 secs
lola: 113014467 markings, 922590971 edges, 139487 markings/sec, 745 secs
lola: 113707923 markings, 928259094 edges, 138691 markings/sec, 750 secs
lola: 114407309 markings, 933976699 edges, 139877 markings/sec, 755 secs
lola: 115109661 markings, 939716758 edges, 140470 markings/sec, 760 secs
lola: 115811551 markings, 945456029 edges, 140378 markings/sec, 765 secs
lola: 116447853 markings, 950689050 edges, 127260 markings/sec, 770 secs
lola: 117151046 markings, 956428942 edges, 140639 markings/sec, 775 secs
lola: 117852809 markings, 962166965 edges, 140353 markings/sec, 780 secs
lola: 118552053 markings, 967880842 edges, 139849 markings/sec, 785 secs
lola: 119200293 markings, 973174922 edges, 129648 markings/sec, 790 secs
lola: 119879964 markings, 978761705 edges, 135934 markings/sec, 795 secs
lola: 120579131 markings, 984477866 edges, 139833 markings/sec, 800 secs
lola: 121298096 markings, 990354028 edges, 143793 markings/sec, 805 secs
lola: 122033543 markings, 996365992 edges, 147089 markings/sec, 810 secs
lola: 122729098 markings, 1002049062 edges, 139111 markings/sec, 815 secs
lola: 123441920 markings, 1007910234 edges, 142564 markings/sec, 820 secs
lola: 124172179 markings, 1013880405 edges, 146052 markings/sec, 825 secs
lola: 124904179 markings, 1019860732 edges, 146400 markings/sec, 830 secs
lola: 125629050 markings, 1025786025 edges, 144974 markings/sec, 835 secs
lola: 126160470 markings, 1030154474 edges, 106284 markings/sec, 840 secs
lola: 126177359 markings, 1030293215 edges, 3378 markings/sec, 845 secs
lola: 126183346 markings, 1030345297 edges, 1197 markings/sec, 850 secs
lola: 126293121 markings, 1031248844 edges, 21955 markings/sec, 855 secs
lola: 126293148 markings, 1031249062 edges, 5 markings/sec, 860 secs
lola: 126302695 markings, 1031323097 edges, 1909 markings/sec, 865 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 887 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G (NOT FIREABLE(srR)) AND F ((NOT FIREABLE(mfU) OR F (FIREABLE(msA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G (NOT FIREABLE(srR)) AND F ((NOT FIREABLE(mfU) OR F (FIREABLE(msA)))))))
lola: processed formula length: 80
lola: 123 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: 19 markings, 19 edges
lola: ========================================
lola: subprocess 14 will run for 1330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: processed formula length: 68
lola: 123 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: 1602053 markings, 5146210 edges, 320411 markings/sec, 0 secs
lola: 3160543 markings, 10283862 edges, 311698 markings/sec, 5 secs
lola: 4680023 markings, 15289606 edges, 303896 markings/sec, 10 secs
lola: 6203890 markings, 20254085 edges, 304773 markings/sec, 15 secs
lola: 7683447 markings, 25117183 edges, 295911 markings/sec, 20 secs
lola: 9169786 markings, 29972551 edges, 297268 markings/sec, 25 secs
lola: 10653104 markings, 34767632 edges, 296664 markings/sec, 30 secs
lola: 12131995 markings, 39527661 edges, 295778 markings/sec, 35 secs
lola: 13622147 markings, 44277386 edges, 298030 markings/sec, 40 secs
lola: 15123555 markings, 49038094 edges, 300282 markings/sec, 45 secs
lola: 16640185 markings, 53807979 edges, 303326 markings/sec, 50 secs
lola: 18085880 markings, 58427816 edges, 289139 markings/sec, 55 secs
lola: 19575553 markings, 63063617 edges, 297935 markings/sec, 60 secs
lola: 21109671 markings, 67787199 edges, 306824 markings/sec, 65 secs
lola: 22543026 markings, 72308878 edges, 286671 markings/sec, 70 secs
lola: 24080075 markings, 76951971 edges, 307410 markings/sec, 75 secs
lola: 25622024 markings, 81598138 edges, 308390 markings/sec, 80 secs
lola: 27071630 markings, 86054633 edges, 289921 markings/sec, 85 secs
lola: 28644919 markings, 90708120 edges, 314658 markings/sec, 90 secs
lola: 30088450 markings, 95078915 edges, 288706 markings/sec, 95 secs
lola: 31679954 markings, 99699177 edges, 318301 markings/sec, 100 secs
lola: 33127892 markings, 104013405 edges, 289588 markings/sec, 105 secs
lola: 34734050 markings, 108588967 edges, 321232 markings/sec, 110 secs
lola: 36198793 markings, 112860535 edges, 292949 markings/sec, 115 secs
lola: 37812889 markings, 117404470 edges, 322819 markings/sec, 120 secs
lola: 39278324 markings, 121596872 edges, 293087 markings/sec, 125 secs
lola: 40871677 markings, 126028466 edges, 318671 markings/sec, 130 secs
lola: 42326945 markings, 130154385 edges, 291054 markings/sec, 135 secs
lola: 43796921 markings, 134331725 edges, 293995 markings/sec, 140 secs
lola: 45329549 markings, 138531133 edges, 306526 markings/sec, 145 secs
lola: 46731652 markings, 142525470 edges, 280421 markings/sec, 150 secs
lola: 48295800 markings, 146803268 edges, 312830 markings/sec, 155 secs
lola: 49672778 markings, 150729631 edges, 275396 markings/sec, 160 secs
lola: 51252479 markings, 155052871 edges, 315940 markings/sec, 165 secs
lola: 52631600 markings, 158972533 edges, 275824 markings/sec, 170 secs
lola: 54156762 markings, 163237006 edges, 305032 markings/sec, 175 secs
lola: 55585045 markings, 167208530 edges, 285657 markings/sec, 180 secs
lola: 56992605 markings, 171226266 edges, 281512 markings/sec, 185 secs
lola: 58509461 markings, 175358692 edges, 303371 markings/sec, 190 secs
lola: 59877231 markings, 179256147 edges, 273554 markings/sec, 195 secs
lola: 61431252 markings, 183507957 edges, 310804 markings/sec, 200 secs
lola: 62785013 markings, 187363249 edges, 270752 markings/sec, 205 secs
lola: 64373075 markings, 191718641 edges, 317612 markings/sec, 210 secs
lola: 65726181 markings, 195556833 edges, 270621 markings/sec, 215 secs
lola: 67166627 markings, 199668486 edges, 288089 markings/sec, 220 secs
lola: 68662459 markings, 203747611 edges, 299166 markings/sec, 225 secs
lola: 70041285 markings, 207677532 edges, 275765 markings/sec, 230 secs
lola: 71587620 markings, 211902155 edges, 309267 markings/sec, 235 secs
lola: 72942372 markings, 215755484 edges, 270950 markings/sec, 240 secs
lola: 74527960 markings, 220105211 edges, 317118 markings/sec, 245 secs
lola: 75869325 markings, 223916012 edges, 268273 markings/sec, 250 secs
lola: 77354635 markings, 228124690 edges, 297062 markings/sec, 255 secs
lola: 78819474 markings, 232141058 edges, 292968 markings/sec, 260 secs
lola: 80231829 markings, 236165262 edges, 282471 markings/sec, 265 secs
lola: 81780204 markings, 240400517 edges, 309675 markings/sec, 270 secs
lola: 83166664 markings, 244350779 edges, 277292 markings/sec, 275 secs
lola: 84749039 markings, 248681958 edges, 316475 markings/sec, 280 secs
lola: 86124992 markings, 252592638 edges, 275191 markings/sec, 285 secs
lola: 87669200 markings, 256905890 edges, 308842 markings/sec, 290 secs
lola: 89078732 markings, 260829518 edges, 281906 markings/sec, 295 secs
lola: 90517921 markings, 264938646 edges, 287838 markings/sec, 300 secs
lola: 92034561 markings, 269069845 edges, 303328 markings/sec, 305 secs
lola: 93432658 markings, 273055036 edges, 279619 markings/sec, 310 secs
lola: 94992942 markings, 277320887 edges, 312057 markings/sec, 315 secs
lola: 96387980 markings, 281290334 edges, 279008 markings/sec, 320 secs
lola: 97978872 markings, 285655301 edges, 318178 markings/sec, 325 secs
lola: 99366852 markings, 289600993 edges, 277596 markings/sec, 330 secs
lola: 100881789 markings, 293878005 edges, 302987 markings/sec, 335 secs
lola: 102348262 markings, 297916757 edges, 293295 markings/sec, 340 secs
lola: 103799198 markings, 302049777 edges, 290187 markings/sec, 345 secs
lola: 105332076 markings, 306236157 edges, 306576 markings/sec, 350 secs
lola: 106728888 markings, 310212124 edges, 279362 markings/sec, 355 secs
lola: 108281466 markings, 314463621 edges, 310516 markings/sec, 360 secs
lola: 109655042 markings, 318371068 edges, 274715 markings/sec, 365 secs
lola: 111218262 markings, 322662544 edges, 312644 markings/sec, 370 secs
lola: 112586910 markings, 326545214 edges, 273730 markings/sec, 375 secs
lola: 114014533 markings, 330621172 edges, 285525 markings/sec, 380 secs
lola: 115541472 markings, 334781574 edges, 305388 markings/sec, 385 secs
lola: 116929198 markings, 338737356 edges, 277545 markings/sec, 390 secs
lola: 118493960 markings, 343015506 edges, 312952 markings/sec, 395 secs
lola: 118642407 markings, 343438851 edges, 29689 markings/sec, 400 secs
lola: 118642911 markings, 343440116 edges, 101 markings/sec, 405 secs
lola: 118647775 markings, 343452692 edges, 973 markings/sec, 410 secs
lola: 118660194 markings, 343484961 edges, 2484 markings/sec, 415 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 2237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((FIREABLE(crG) OR FIREABLE(srF)) OR (FIREABLE(crG) AND FIREABLE(srF))) U FIREABLE(crA)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:767
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:764
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: rewrite Frontend/Parser/formula_rewrite.k:793
lola: processed formula: A ((((FIREABLE(crG) OR FIREABLE(srF)) OR (FIREABLE(crG) AND FIREABLE(srF))) U FIREABLE(crA)))
lola: processed formula length: 94
lola: 133 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 /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 1
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (G ((FIREABLE(ssA) OR (G (FIREABLE(msG)) AND F (FIREABLE(ssA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((FIREABLE(ssA) OR (G (FIREABLE(msG)) AND F (FIREABLE(ssA)))))))
lola: processed formula length: 72
lola: 123 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 910911 markings, 6339608 edges, 182182 markings/sec, 0 secs
lola: 1851980 markings, 12997938 edges, 188214 markings/sec, 5 secs
lola: 2771590 markings, 19532372 edges, 183922 markings/sec, 10 secs
lola: 3670998 markings, 25936207 edges, 179882 markings/sec, 15 secs
lola: 4581852 markings, 32424279 edges, 182171 markings/sec, 20 secs
lola: 5480121 markings, 38827874 edges, 179654 markings/sec, 25 secs
lola: 6373349 markings, 45196120 edges, 178646 markings/sec, 30 secs
lola: 7270986 markings, 51606843 edges, 179527 markings/sec, 35 secs
lola: 8168154 markings, 58016299 edges, 179434 markings/sec, 40 secs
lola: 9077215 markings, 64509248 edges, 181812 markings/sec, 45 secs
lola: 9977275 markings, 70935074 edges, 180012 markings/sec, 50 secs
lola: 10877776 markings, 77381841 edges, 180100 markings/sec, 55 secs
lola: 11715463 markings, 83375448 edges, 167537 markings/sec, 60 secs
lola: 12659896 markings, 90117910 edges, 188887 markings/sec, 65 secs
lola: 13606230 markings, 96891310 edges, 189267 markings/sec, 70 secs
lola: 14552363 markings, 103662307 edges, 189227 markings/sec, 75 secs
lola: 15508232 markings, 110503803 edges, 191174 markings/sec, 80 secs
lola: 16477087 markings, 117443134 edges, 193771 markings/sec, 85 secs
lola: 17464865 markings, 124515095 edges, 197556 markings/sec, 90 secs
lola: 18456648 markings, 131613560 edges, 198357 markings/sec, 95 secs
lola: 19459849 markings, 138795115 edges, 200640 markings/sec, 100 secs
lola: 20458907 markings, 145942474 edges, 199812 markings/sec, 105 secs
lola: 21474999 markings, 153217175 edges, 203218 markings/sec, 110 secs
lola: 22483541 markings, 160457138 edges, 201708 markings/sec, 115 secs
lola: 23356982 markings, 167143194 edges, 174688 markings/sec, 120 secs
lola: 24108499 markings, 173510323 edges, 150303 markings/sec, 125 secs
lola: 24859363 markings, 179892398 edges, 150173 markings/sec, 130 secs
lola: 25583312 markings, 186053452 edges, 144790 markings/sec, 135 secs
lola: 26300086 markings, 192172807 edges, 143355 markings/sec, 140 secs
lola: 27022919 markings, 198342361 edges, 144567 markings/sec, 145 secs
lola: 27747010 markings, 204523035 edges, 144818 markings/sec, 150 secs
lola: 28457341 markings, 210591485 edges, 142066 markings/sec, 155 secs
lola: 29175310 markings, 216732330 edges, 143594 markings/sec, 160 secs
lola: 29890099 markings, 222840608 edges, 142958 markings/sec, 165 secs
lola: 30611391 markings, 229001274 edges, 144258 markings/sec, 170 secs
lola: 31335722 markings, 235204710 edges, 144866 markings/sec, 175 secs
lola: 32055872 markings, 241356779 edges, 144030 markings/sec, 180 secs
lola: 32776555 markings, 247528714 edges, 144137 markings/sec, 185 secs
lola: 33498247 markings, 253707673 edges, 144338 markings/sec, 190 secs
lola: 34243189 markings, 260088539 edges, 148988 markings/sec, 195 secs
lola: 34996408 markings, 266535029 edges, 150644 markings/sec, 200 secs
lola: 35749257 markings, 272983791 edges, 150570 markings/sec, 205 secs
lola: 36506969 markings, 279468530 edges, 151542 markings/sec, 210 secs
lola: 37265501 markings, 285964572 edges, 151706 markings/sec, 215 secs
lola: 38037731 markings, 292595720 edges, 154446 markings/sec, 220 secs
lola: 38825251 markings, 299335294 edges, 157504 markings/sec, 225 secs
lola: 39612080 markings, 306074407 edges, 157366 markings/sec, 230 secs
lola: 40402524 markings, 312862725 edges, 158089 markings/sec, 235 secs
lola: 41200468 markings, 319692933 edges, 159589 markings/sec, 240 secs
lola: 41985926 markings, 326440225 edges, 157092 markings/sec, 245 secs
lola: 42807665 markings, 333470313 edges, 164348 markings/sec, 250 secs
lola: 43598905 markings, 340264919 edges, 158248 markings/sec, 255 secs
lola: 44368757 markings, 346692233 edges, 153970 markings/sec, 260 secs
lola: 45087051 markings, 352752860 edges, 143659 markings/sec, 265 secs
lola: 45800197 markings, 358795487 edges, 142629 markings/sec, 270 secs
lola: 46489456 markings, 364649431 edges, 137852 markings/sec, 275 secs
lola: 47177492 markings, 370502669 edges, 137607 markings/sec, 280 secs
lola: 47875285 markings, 376429748 edges, 139559 markings/sec, 285 secs
lola: 48555715 markings, 382226825 edges, 136086 markings/sec, 290 secs
lola: 49240928 markings, 388056455 edges, 137043 markings/sec, 295 secs
lola: 49927235 markings, 393903593 edges, 137261 markings/sec, 300 secs
lola: 50610657 markings, 399736719 edges, 136684 markings/sec, 305 secs
lola: 51306814 markings, 405672008 edges, 139231 markings/sec, 310 secs
lola: 51996308 markings, 411542655 edges, 137899 markings/sec, 315 secs
lola: 52682431 markings, 417401940 edges, 137225 markings/sec, 320 secs
lola: 53371593 markings, 423284691 edges, 137832 markings/sec, 325 secs
lola: 54083732 markings, 429360906 edges, 142428 markings/sec, 330 secs
lola: 54804584 markings, 435501276 edges, 144170 markings/sec, 335 secs
lola: 55519916 markings, 441609450 edges, 143066 markings/sec, 340 secs
lola: 56240511 markings, 447759297 edges, 144119 markings/sec, 345 secs
lola: 56961050 markings, 453923863 edges, 144108 markings/sec, 350 secs
lola: 57706191 markings, 460284479 edges, 149028 markings/sec, 355 secs
lola: 58454653 markings, 466677564 edges, 149692 markings/sec, 360 secs
lola: 59208538 markings, 473114077 edges, 150777 markings/sec, 365 secs
lola: 59961948 markings, 479542444 edges, 150682 markings/sec, 370 secs
lola: 60714990 markings, 485985297 edges, 150608 markings/sec, 375 secs
lola: 61490746 markings, 492608648 edges, 155151 markings/sec, 380 secs
lola: 62246566 markings, 499080846 edges, 151164 markings/sec, 385 secs
lola: 63012021 markings, 505452852 edges, 153091 markings/sec, 390 secs
lola: 63743423 markings, 511601872 edges, 146280 markings/sec, 395 secs
lola: 64465731 markings, 517701591 edges, 144462 markings/sec, 400 secs
lola: 65165979 markings, 523626078 edges, 140050 markings/sec, 405 secs
lola: 65871737 markings, 529604547 edges, 141152 markings/sec, 410 secs
lola: 66572337 markings, 535549888 edges, 140120 markings/sec, 415 secs
lola: 67270389 markings, 541467238 edges, 139610 markings/sec, 420 secs
lola: 67974596 markings, 547434695 edges, 140841 markings/sec, 425 secs
lola: 68677596 markings, 553405261 edges, 140600 markings/sec, 430 secs
lola: 69386974 markings, 559431412 edges, 141876 markings/sec, 435 secs
lola: 70091023 markings, 565405227 edges, 140810 markings/sec, 440 secs
lola: 70790330 markings, 571357070 edges, 139861 markings/sec, 445 secs
lola: 71517844 markings, 577534506 edges, 145503 markings/sec, 450 secs
lola: 72246695 markings, 583731476 edges, 145770 markings/sec, 455 secs
lola: 72981878 markings, 589972897 edges, 147037 markings/sec, 460 secs
lola: 73723859 markings, 596284172 edges, 148396 markings/sec, 465 secs
lola: 74469925 markings, 602636513 edges, 149213 markings/sec, 470 secs
lola: 75229401 markings, 609098251 edges, 151895 markings/sec, 475 secs
lola: 75996083 markings, 615616302 edges, 153336 markings/sec, 480 secs
lola: 76768456 markings, 622190044 edges, 154475 markings/sec, 485 secs
lola: 77537800 markings, 628735702 edges, 153869 markings/sec, 490 secs
lola: 78321690 markings, 635402799 edges, 156778 markings/sec, 495 secs
lola: 79102182 markings, 642037549 edges, 156098 markings/sec, 500 secs
lola: 79842086 markings, 648196948 edges, 147981 markings/sec, 505 secs
lola: 80541317 markings, 654054170 edges, 139846 markings/sec, 510 secs
lola: 81223150 markings, 659785789 edges, 136367 markings/sec, 515 secs
lola: 81891806 markings, 665416258 edges, 133731 markings/sec, 520 secs
lola: 82570415 markings, 671137398 edges, 135722 markings/sec, 525 secs
lola: 83235278 markings, 676750766 edges, 132973 markings/sec, 530 secs
lola: 83903879 markings, 682392936 edges, 133720 markings/sec, 535 secs
lola: 84576147 markings, 688065980 edges, 134454 markings/sec, 540 secs
lola: 85252645 markings, 693786072 edges, 135300 markings/sec, 545 secs
lola: 85924674 markings, 699461983 edges, 134406 markings/sec, 550 secs
lola: 86596202 markings, 705137190 edges, 134306 markings/sec, 555 secs
lola: 87288253 markings, 710987663 edges, 138410 markings/sec, 560 secs
lola: 87986425 markings, 716899318 edges, 139634 markings/sec, 565 secs
lola: 88693927 markings, 722876564 edges, 141500 markings/sec, 570 secs
lola: 89404807 markings, 728894166 edges, 142176 markings/sec, 575 secs
lola: 90119685 markings, 734936309 edges, 142976 markings/sec, 580 secs
lola: 90850193 markings, 741121366 edges, 146102 markings/sec, 585 secs
lola: 91581583 markings, 747314599 edges, 146278 markings/sec, 590 secs
lola: 92318472 markings, 753554618 edges, 147378 markings/sec, 595 secs
lola: 93057308 markings, 759809007 edges, 147767 markings/sec, 600 secs
lola: 93806149 markings, 766152416 edges, 149768 markings/sec, 605 secs
lola: 94561797 markings, 772376518 edges, 151130 markings/sec, 610 secs
lola: 95294637 markings, 778236562 edges, 146568 markings/sec, 615 secs
lola: 96020836 markings, 784095839 edges, 145240 markings/sec, 620 secs
lola: 96736039 markings, 789892135 edges, 143041 markings/sec, 625 secs
lola: 97459931 markings, 795752931 edges, 144778 markings/sec, 630 secs
lola: 98177590 markings, 801582078 edges, 143532 markings/sec, 635 secs
lola: 98900589 markings, 807452343 edges, 144600 markings/sec, 640 secs
lola: 99611106 markings, 813241623 edges, 142103 markings/sec, 645 secs
lola: 100313787 markings, 818939920 edges, 140536 markings/sec, 650 secs
lola: 101006995 markings, 824585309 edges, 138642 markings/sec, 655 secs
lola: 101697202 markings, 830204405 edges, 138041 markings/sec, 660 secs
lola: 102391201 markings, 835876172 edges, 138800 markings/sec, 665 secs
lola: 103079866 markings, 841479370 edges, 137733 markings/sec, 670 secs
lola: 103774011 markings, 847132611 edges, 138829 markings/sec, 675 secs
lola: 104469403 markings, 852817037 edges, 139078 markings/sec, 680 secs
lola: 105170881 markings, 858526848 edges, 140296 markings/sec, 685 secs
lola: 105875923 markings, 864286732 edges, 141008 markings/sec, 690 secs
lola: 106557613 markings, 869862024 edges, 136338 markings/sec, 695 secs
lola: 107245827 markings, 875460959 edges, 137643 markings/sec, 700 secs
lola: 107936651 markings, 881105561 edges, 138165 markings/sec, 705 secs
lola: 108620060 markings, 886693652 edges, 136682 markings/sec, 710 secs
lola: 109303604 markings, 892281141 edges, 136709 markings/sec, 715 secs
lola: 109996721 markings, 897944093 edges, 138623 markings/sec, 720 secs
lola: 110687224 markings, 903593030 edges, 138101 markings/sec, 725 secs
lola: 111375734 markings, 909222117 edges, 137702 markings/sec, 730 secs
lola: 112067162 markings, 914867216 edges, 138286 markings/sec, 735 secs
lola: 112763548 markings, 920561989 edges, 139277 markings/sec, 740 secs
lola: 113454741 markings, 926210737 edges, 138239 markings/sec, 745 secs
lola: 114151530 markings, 931907247 edges, 139358 markings/sec, 750 secs
lola: 114852600 markings, 937639773 edges, 140214 markings/sec, 755 secs
lola: 115559267 markings, 943411596 edges, 141333 markings/sec, 760 secs
lola: 116251727 markings, 949071221 edges, 138492 markings/sec, 765 secs
lola: 116945537 markings, 954743500 edges, 138762 markings/sec, 770 secs
lola: 117645827 markings, 960463164 edges, 140058 markings/sec, 775 secs
lola: 118337060 markings, 966113391 edges, 138247 markings/sec, 780 secs
lola: 119016544 markings, 971706490 edges, 135897 markings/sec, 785 secs
lola: 119712534 markings, 977389049 edges, 139198 markings/sec, 790 secs
lola: 120407387 markings, 983067672 edges, 138971 markings/sec, 795 secs
lola: 121115068 markings, 988846376 edges, 141536 markings/sec, 800 secs
lola: 121836751 markings, 994744854 edges, 144337 markings/sec, 805 secs
lola: 122562787 markings, 1000718508 edges, 145207 markings/sec, 810 secs
lola: 123287564 markings, 1006645136 edges, 144955 markings/sec, 815 secs
lola: 124016451 markings, 1012599382 edges, 145777 markings/sec, 820 secs
lola: 124740159 markings, 1018513065 edges, 144742 markings/sec, 825 secs
lola: 125448277 markings, 1024338938 edges, 141624 markings/sec, 830 secs
lola: 126179411 markings, 1030311032 edges, 146227 markings/sec, 835 secs
lola: 126292394 markings, 1031242460 edges, 22597 markings/sec, 840 secs
lola: 126292724 markings, 1031245373 edges, 66 markings/sec, 845 secs
lola: 126296323 markings, 1031276721 edges, 720 markings/sec, 850 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((FIREABLE(csF) OR G ((FIREABLE(crA) AND F (FIREABLE(srF)))))))
lola: processed formula length: 68
lola: 123 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: 1601617 markings, 5144851 edges, 320323 markings/sec, 0 secs
lola: 3051773 markings, 9915051 edges, 290031 markings/sec, 5 secs
lola: 4508189 markings, 14705136 edges, 291283 markings/sec, 10 secs
lola: 6040436 markings, 19706220 edges, 306449 markings/sec, 15 secs
lola: 7520738 markings, 24568643 edges, 296060 markings/sec, 20 secs
lola: 8911201 markings, 29103373 edges, 278093 markings/sec, 25 secs
lola: 10362095 markings, 33807947 edges, 290179 markings/sec, 30 secs
lola: 11811691 markings, 38472937 edges, 289919 markings/sec, 35 secs
lola: 13266960 markings, 43121120 edges, 291054 markings/sec, 40 secs
lola: 14733604 markings, 47771937 edges, 293329 markings/sec, 45 secs
lola: 16165658 markings, 52325789 edges, 286411 markings/sec, 50 secs
lola: 17559677 markings, 56761073 edges, 278804 markings/sec, 55 secs
lola: 19025884 markings, 61317303 edges, 293241 markings/sec, 60 secs
lola: 20372288 markings, 65565227 edges, 269281 markings/sec, 65 secs
lola: 21862771 markings, 70163628 edges, 298097 markings/sec, 70 secs
lola: 23327801 markings, 74610419 edges, 293006 markings/sec, 75 secs
lola: 24673084 markings, 78798123 edges, 269057 markings/sec, 80 secs
lola: 26179212 markings, 83305538 edges, 301226 markings/sec, 85 secs
lola: 27539541 markings, 87494907 edges, 272066 markings/sec, 90 secs
lola: 28998034 markings, 91770913 edges, 291699 markings/sec, 95 secs
lola: 30441914 markings, 96155950 edges, 288776 markings/sec, 100 secs
lola: 32032286 markings, 100746400 edges, 318074 markings/sec, 105 secs
lola: 33482546 markings, 105077842 edges, 290052 markings/sec, 110 secs
lola: 35095238 markings, 109633615 edges, 322538 markings/sec, 115 secs
lola: 36556980 markings, 113916495 edges, 292348 markings/sec, 120 secs
lola: 38183331 markings, 118455451 edges, 325270 markings/sec, 125 secs
lola: 39646506 markings, 122663835 edges, 292635 markings/sec, 130 secs
lola: 41126588 markings, 126745185 edges, 296016 markings/sec, 135 secs
lola: 42508789 markings, 130672016 edges, 276440 markings/sec, 140 secs
lola: 44019481 markings, 134922844 edges, 302138 markings/sec, 145 secs
lola: 45486048 markings, 138975308 edges, 293313 markings/sec, 150 secs
lola: 46924572 markings, 143081710 edges, 287705 markings/sec, 155 secs
lola: 48470486 markings, 147298637 edges, 309183 markings/sec, 160 secs
lola: 49875114 markings, 151302312 edges, 280926 markings/sec, 165 secs
lola: 51401260 markings, 155474230 edges, 305229 markings/sec, 170 secs
lola: 52759327 markings, 159342114 edges, 271613 markings/sec, 175 secs
lola: 54325586 markings, 163634074 edges, 313252 markings/sec, 180 secs
lola: 55695299 markings, 167519250 edges, 273943 markings/sec, 185 secs
lola: 57116595 markings, 171576118 edges, 284259 markings/sec, 190 secs
lola: 58618684 markings, 175674148 edges, 300418 markings/sec, 195 secs
lola: 59991046 markings, 179585187 edges, 274472 markings/sec, 200 secs
lola: 61535095 markings, 183803357 edges, 308810 markings/sec, 205 secs
lola: 62887160 markings, 187648909 edges, 270413 markings/sec, 210 secs
lola: 64454545 markings, 191948299 edges, 313477 markings/sec, 215 secs
lola: 65805794 markings, 195785149 edges, 270250 markings/sec, 220 secs
lola: 67261457 markings, 199918207 edges, 291133 markings/sec, 225 secs
lola: 68675055 markings, 203784534 edges, 282720 markings/sec, 230 secs
lola: 70077315 markings, 207782009 edges, 280452 markings/sec, 235 secs
lola: 71609623 markings, 211965848 edges, 306462 markings/sec, 240 secs
lola: 72889988 markings, 215611773 edges, 256073 markings/sec, 245 secs
lola: 74475487 markings, 219958277 edges, 317100 markings/sec, 250 secs
lola: 75814302 markings, 223757171 edges, 267763 markings/sec, 255 secs
lola: 77279336 markings, 227925050 edges, 293007 markings/sec, 260 secs
lola: 78753076 markings, 231950373 edges, 294748 markings/sec, 265 secs
lola: 80154368 markings, 235952384 edges, 280258 markings/sec, 270 secs
lola: 81705804 markings, 240185758 edges, 310287 markings/sec, 275 secs
lola: 83087665 markings, 244121746 edges, 276372 markings/sec, 280 secs
lola: 84671279 markings, 248460695 edges, 316723 markings/sec, 285 secs
lola: 85939896 markings, 252066960 edges, 253723 markings/sec, 290 secs
lola: 87406349 markings, 256221271 edges, 293291 markings/sec, 295 secs
lola: 88867262 markings, 260226333 edges, 292183 markings/sec, 300 secs
lola: 90269720 markings, 264223019 edges, 280492 markings/sec, 305 secs
lola: 91809418 markings, 268432143 edges, 307940 markings/sec, 310 secs
lola: 93182451 markings, 272343335 edges, 274607 markings/sec, 315 secs
lola: 94689345 markings, 276463373 edges, 301379 markings/sec, 320 secs
lola: 96060855 markings, 280364370 edges, 274302 markings/sec, 325 secs
lola: 97590528 markings, 284669646 edges, 305935 markings/sec, 330 secs
lola: 98954018 markings, 288424712 edges, 272698 markings/sec, 335 secs
lola: 100343696 markings, 292382612 edges, 277936 markings/sec, 340 secs
lola: 101870881 markings, 296556972 edges, 305437 markings/sec, 345 secs
lola: 103237940 markings, 300451131 edges, 273412 markings/sec, 350 secs
lola: 104740655 markings, 304558886 edges, 300543 markings/sec, 355 secs
lola: 106057316 markings, 308300798 edges, 263332 markings/sec, 360 secs
lola: 107538443 markings, 312490756 edges, 296225 markings/sec, 365 secs
lola: 109004390 markings, 316517496 edges, 293189 markings/sec, 370 secs
lola: 110402080 markings, 320498183 edges, 279538 markings/sec, 375 secs
lola: 111933480 markings, 324685169 edges, 306280 markings/sec, 380 secs
lola: 113229255 markings, 328372647 edges, 259155 markings/sec, 385 secs
lola: 114802555 markings, 332682207 edges, 314660 markings/sec, 390 secs
lola: 116172891 markings, 336582945 edges, 274067 markings/sec, 395 secs
lola: 117674556 markings, 340811361 edges, 300333 markings/sec, 400 secs
lola: 118660755 markings, 343486555 edges, 197240 markings/sec, 405 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: no no no no yes no no no yes unknown no no yes no no unknown
lola:
preliminary result: no no no no yes no no no yes unknown no no yes no no unknown
lola: memory consumption: 13324 KB
lola: time consumption: 2604 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1589288094325

--------------------
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-N0020P4"
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-N0020P4, 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-158902068200052"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0020P4.tgz
mv ClientsAndServers-PT-N0020P4 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 ;