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

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589269649905

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ ClientsAndServers-PT-N0020P1 @ 3570 seconds

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

FORMULA ClientsAndServers-PT-N0020P1-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

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

FORMULA ClientsAndServers-PT-N0020P1-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N0020P1-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA ClientsAndServers-PT-N0020P1-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 1877
rslt: Output for LTLCardinality @ ClientsAndServers-PT-N0020P1

{
"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=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Tue May 12 07:47:29 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 93
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 93
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A (G ((X ((StF + 1 <= SpG)) OR (X (F ((StF + 1 <= SpG))) AND F (G ((1 <= CR)))))))",
"processed_size": 82,
"rewrites": 93
},
"result":
{
"edges": 37544657,
"markings": 7524118,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"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": 271
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 3,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 2,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A (((Si + 1 <= StF) OR F (G ((G ((StF <= Si)) AND (X ((StF <= Si)) AND G ((2 <= CR))))))))",
"processed_size": 90,
"rewrites": 93
},
"result":
{
"edges": 131874313,
"markings": 20588369,
"produced_by": "LTL model checker",
"value": false
},
"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": 286
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (G ((Uf + 1 <= SG)))))",
"processed_size": 30,
"rewrites": 93
},
"result":
{
"edges": 1073,
"markings": 1073,
"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": 312
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 1,
"aneg": 2,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "A ((((CF <= MpG) OR (StR <= SpA)) OR X (X (X (((MtF <= 0) OR F ((MpG + 1 <= CF))))))))",
"processed_size": 87,
"rewrites": 93
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"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": 343
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "A (((3 <= StR) OR (X (TRUE) OR ((SpG <= Uf) AND X ((Ci <= Mi))))))",
"processed_size": 66,
"rewrites": 93
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"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": 381
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (F (((MpG <= 2) AND (((CwA <= 1) OR (3 <= MpG)) OR X (G ((SR <= CA)))))))",
"processed_size": 76,
"rewrites": 93
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"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": 429
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (F (((3 <= CF) OR F ((3 <= SpA)))))))",
"processed_size": 45,
"rewrites": 93
},
"result":
{
"edges": 2013946,
"markings": 591779,
"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": 490
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 4,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A (X (X ((X (F ((MpA <= Si))) OR (G ((MpA <= CwG)) AND X (F ((MpA <= Si))))))))",
"processed_size": 79,
"rewrites": 93
},
"result":
{
"edges": 13,
"markings": 12,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 7
},
"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": 571
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 3,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (G ((F ((Cb <= 1)) OR (G ((2 <= MpA)) OR X (X (G ((Mi <= SwA))))))))",
"processed_size": 70,
"rewrites": 93
},
"result":
{
"edges": 438619418,
"markings": 46278574,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 637
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 5,
"aconj": 0,
"adisj": 0,
"aneg": 3,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A ((((StF + 1 <= Uf) R X (G ((CwG + 1 <= Uf)))) OR ((Cb <= 2) AND X (X (X (X ((Uf <= CwG))))))))",
"processed_size": 96,
"rewrites": 93
},
"result":
{
"edges": 1073,
"markings": 1073,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 15
},
"compoundnumber": 12,
"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": 850
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 1,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 2,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "A ((X (G ((3 <= CwA))) U ((SF + 1 <= SR) OR F ((SF + 1 <= SR)))))",
"processed_size": 65,
"rewrites": 93
},
"result":
{
"edges": 84895,
"markings": 34200,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 2550
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 3,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A ((G ((Ci + 1 <= CA)) OR F (((MpA <= 2) OR G ((F ((2 <= SG)) AND ((3 <= MpA) OR (2 <= SG))))))))",
"processed_size": 97,
"rewrites": 93
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 21992,
"runtime": 1693.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A((** OR (X(TRUE) OR (** AND X(**))))) : A((G(*) OR F((** OR G((F(**) AND (** OR **))))))) : A(F((** AND (** OR X(G(**)))))) : A(G((X(*) OR (X(F(*)) AND F(G(**)))))) : A((** OR F(G((G(**) AND (X(**) AND G(**))))))) : A(X(X(G(*)))) : A((** OR X(X(X((* OR F(*))))))) : TRUE : A(F(**)) : FALSE : A(X(X(F((** OR F(**)))))) : A(X(X((X(F(**)) OR (G(**) AND X(F(**))))))) : A(F(((X(*) R F(*)) AND (* OR X(G(*)))))) : A(G((F(*) OR (G(**) OR X(X(G(**))))))) : A(((* R X(G(*))) OR (* AND X(X(X(X(**))))))) : A((X(G(**)) U (* OR F(*))))"
},
"net":
{
"arcs": 54,
"conflict_clusters": 16,
"places": 25,
"places_significant": 17,
"singleton_clusters": 0,
"transitions": 18
},
"result":
{
"preliminary_value": "yes yes yes no no no yes yes no no no yes unknown no no yes ",
"value": "yes yes yes no no no yes yes no no no yes unknown no no yes "
},
"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 LTLCardinality.xml
lola: LP says that atomic proposition is always false: (Mi <= SR)
lola: A ((((3 <= StR) OR F (X (F (G ((SR + 1 <= Mi)))))) OR ((SpG <= Uf) AND X ((Ci <= Mi))))) : A (((NOT(F ((CA <= Ci))) OR F ((MpA <= 2))) OR F (G (((3 <= MpA) U (2 <= SG)))))) : A (F (((MpG <= 2) AND (((CwA <= 1) OR (3 <= MpG)) OR G (X ((SR <= CA))))))) : A (G ((G (F (G ((1 <= CR)))) U NOT(X ((SpG <= StF)))))) : A (((Si + 1 <= StF) OR (G ((0 <= CwA)) U G (((G ((StF <= Si)) AND X ((StF <= Si))) AND G ((2 <= CR))))))) : A (NOT(X (F (X ((SG <= Uf)))))) : A ((((CF <= MpG) OR (StR <= SpA)) OR X (X (NOT(X (((1 <= MtF) AND G ((CF <= MpG))))))))) : A (NOT((NOT(F ((0 <= CwG))) OR NOT((F (X ((0 <= CwG))) OR G ((0 <= SwG))))))) : A (F ((SR + 1 <= SF))) : A (NOT((X ((CwG <= 2)) U (0 <= CwA)))) : A (X (X (F (((3 <= CF) OR F ((3 <= SpA))))))) : A (X (X ((G ((MpA <= CwG)) U X (((0 <= SwA) U (MpA <= Si))))))) : A (NOT(G (((X ((SpG <= MtF)) U G (((2 <= CwA) AND (Si <= SA)))) OR ((Si <= MpA) AND X (F ((Si <= SA)))))))) : A (G (((NOT(G ((2 <= Cb))) OR G ((2 <= MpA))) OR X (X (G ((Mi <= SwA))))))) : A (NOT((((Uf <= StF) U X (F ((Uf <= CwG)))) AND ((3 <= Cb) OR NOT(X (X (X (X ((Uf <= CwG)))))))))) : A ((X (G ((3 <= CwA))) U ((0 <= CwA) AND NOT(((SR <= SF) AND G ((SR <= SF)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:100
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:335
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:100
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:116
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 93 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 93 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((X ((StF + 1 <= SpG)) OR (X (F ((StF + 1 <= SpG))) AND F (G ((1 <= CR)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((X ((StF + 1 <= SpG)) OR (X (F ((StF + 1 <= SpG))) AND F (G ((1 <= CR)))))))
lola: processed formula length: 82
lola: 93 rewrites
lola: closed formula file LTLCardinality.xml
lola: lola: the resulting Büchi automaton has 6 states========================================

lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1440967 markings, 6135262 edges, 288193 markings/sec, 0 secs
lola: 2789254 markings, 12257307 edges, 269657 markings/sec, 5 secs
lola: 4135048 markings, 18405144 edges, 269159 markings/sec, 10 secs
lola: 5489653 markings, 24627242 edges, 270921 markings/sec, 15 secs
lola: 6724638 markings, 31026080 edges, 246997 markings/sec, 20 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: 7524118 markings, 37544657 edges
lola: ========================================
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((Si + 1 <= StF) OR F (G ((G ((StF <= Si)) AND (X ((StF <= Si)) AND G ((2 <= CR))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((Si + 1 <= StF) OR F (G ((G ((StF <= Si)) AND (X ((StF <= Si)) AND G ((2 <= CR))))))))
lola: processed formula length: 90
lola: 93 rewrites
lola: closed formula file LTLCardinality.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: 1430863 markings, 7046450 edges, 286173 markings/sec, 0 secs
lola: 2787168 markings, 13111888 edges, 271261 markings/sec, 5 secs
lola: 4130924 markings, 19211503 edges, 268751 markings/sec, 10 secs
lola: 5475731 markings, 25258607 edges, 268961 markings/sec, 15 secs
lola: 6793779 markings, 31351969 edges, 263610 markings/sec, 20 secs
lola: 7879304 markings, 37781719 edges, 217105 markings/sec, 25 secs
lola: 8961411 markings, 44249690 edges, 216421 markings/sec, 30 secs
lola: 10077253 markings, 50936526 edges, 223168 markings/sec, 35 secs
lola: 11115926 markings, 57680355 edges, 207735 markings/sec, 40 secs
lola: 11949245 markings, 63918830 edges, 166664 markings/sec, 45 secs
lola: 12790134 markings, 70236952 edges, 168178 markings/sec, 50 secs
lola: 13644258 markings, 76658989 edges, 170825 markings/sec, 55 secs
lola: 14524078 markings, 83284802 edges, 175964 markings/sec, 60 secs
lola: 15309506 markings, 89796218 edges, 157086 markings/sec, 65 secs
lola: 16095079 markings, 95981815 edges, 157115 markings/sec, 70 secs
lola: 16901985 markings, 102031601 edges, 161381 markings/sec, 75 secs
lola: 17718636 markings, 108170365 edges, 163330 markings/sec, 80 secs
lola: 18550522 markings, 114427234 edges, 166377 markings/sec, 85 secs
lola: 19413014 markings, 120921842 edges, 172498 markings/sec, 90 secs
lola: 20131943 markings, 127410333 edges, 143786 markings/sec, 95 secs
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
lola: add low 14
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: 20588369 markings, 131874313 edges
lola: ========================================
lola: subprocess 4 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((Uf + 1 <= SG)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((Uf + 1 <= SG)))))
lola: processed formula length: 30
lola: 93 rewrites
lola: closed formula file LTLCardinality.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: 1073 markings, 1073 edges
lola: ========================================
lola: subprocess 5 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((CF <= MpG) OR (StR <= SpA)) OR X (X (X (((MtF <= 0) OR F ((MpG + 1 <= CF))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((CF <= MpG) OR (StR <= SpA)) OR X (X (X (((MtF <= 0) OR F ((MpG + 1 <= CF))))))))
lola: processed formula length: 87
lola: 93 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 343 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((3 <= StR) OR (X (TRUE) OR ((SpG <= Uf) AND X ((Ci <= Mi))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((3 <= StR) OR (X (TRUE) OR ((SpG <= Uf) AND X ((Ci <= Mi))))))
lola: processed formula length: 66
lola: 93 rewrites
lola: closed formula file LTLCardinality.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: 2 markings, 1 edges
lola: ========================================
lola: subprocess 7 will run for 381 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((MpG <= 2) AND (((CwA <= 1) OR (3 <= MpG)) OR X (G ((SR <= CA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((MpG <= 2) AND (((CwA <= 1) OR (3 <= MpG)) OR X (G ((SR <= CA)))))))
lola: processed formula length: 76
lola: 93 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 429 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F (((3 <= CF) OR F ((3 <= SpA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F (((3 <= CF) OR F ((3 <= SpA)))))))
lola: processed formula length: 45
lola: 93 rewrites
lola: closed formula file LTLCardinality.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: 591779 markings, 2013946 edges
lola: ========================================
lola: subprocess 9 will run for 490 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((X (F ((MpA <= Si))) OR (G ((MpA <= CwG)) AND X (F ((MpA <= Si))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((X (F ((MpA <= Si))) OR (G ((MpA <= CwG)) AND X (F ((MpA <= Si))))))))
lola: processed formula length: 79
lola: 93 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 12 markings, 13 edges
lola: ========================================
lola: subprocess 10 will run for 571 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((X ((MtF + 1 <= SpG)) R F (((CwA <= 1) OR (SA + 1 <= Si)))) AND ((MpA + 1 <= Si) OR X (G ((SA + 1 <= Si)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((X ((MtF + 1 <= SpG)) R F (((CwA <= 1) OR (SA + 1 <= Si)))) AND ((MpA + 1 <= Si) OR X (G ((SA + 1 <= Si)))))))
lola: processed formula length: 118
lola: 93 rewrites
lola: closed formula file LTLCardinality.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: 1282932 markings, 4955075 edges, 256586 markings/sec, 0 secs
lola: 2452882 markings, 9474685 edges, 233990 markings/sec, 5 secs
lola: 3590941 markings, 13755829 edges, 227612 markings/sec, 10 secs
lola: 4623211 markings, 17778909 edges, 206454 markings/sec, 15 secs
lola: 5775427 markings, 22243304 edges, 230443 markings/sec, 20 secs
lola: 6984811 markings, 26833179 edges, 241877 markings/sec, 25 secs
lola: 8207601 markings, 31400152 edges, 244558 markings/sec, 30 secs
lola: 9310679 markings, 35755770 edges, 220616 markings/sec, 35 secs
lola: 10545591 markings, 40324562 edges, 246982 markings/sec, 40 secs
lola: 11646531 markings, 44646235 edges, 220188 markings/sec, 45 secs
lola: 12888652 markings, 49177101 edges, 248424 markings/sec, 50 secs
lola: 13995594 markings, 53544535 edges, 221388 markings/sec, 55 secs
lola: 15066528 markings, 57688124 edges, 214187 markings/sec, 60 secs
lola: 16313982 markings, 62227035 edges, 249491 markings/sec, 65 secs
lola: 17391486 markings, 66441327 edges, 215501 markings/sec, 70 secs
lola: 18439330 markings, 70466726 edges, 209569 markings/sec, 75 secs
lola: 19670601 markings, 74845614 edges, 246254 markings/sec, 80 secs
lola: 20755495 markings, 79133185 edges, 216979 markings/sec, 85 secs
lola: 21786492 markings, 83117840 edges, 206199 markings/sec, 90 secs
lola: 22806631 markings, 87029096 edges, 204028 markings/sec, 95 secs
lola: 24057645 markings, 91429767 edges, 250203 markings/sec, 100 secs
lola: 25128289 markings, 95648706 edges, 214129 markings/sec, 105 secs
lola: 26143039 markings, 99571262 edges, 202950 markings/sec, 110 secs
lola: 27137240 markings, 103381916 edges, 198840 markings/sec, 115 secs
lola: 28258246 markings, 107513525 edges, 224201 markings/sec, 120 secs
lola: 29502462 markings, 112022639 edges, 248843 markings/sec, 125 secs
lola: 30527215 markings, 116016764 edges, 204951 markings/sec, 130 secs
lola: 31509898 markings, 119812623 edges, 196537 markings/sec, 135 secs
lola: 32481101 markings, 123502487 edges, 194241 markings/sec, 140 secs
lola: 33495973 markings, 127400422 edges, 202974 markings/sec, 145 secs
lola: 34724815 markings, 131531665 edges, 245768 markings/sec, 150 secs
lola: 35813454 markings, 135827686 edges, 217728 markings/sec, 155 secs
lola: 36810396 markings, 139686069 edges, 199388 markings/sec, 160 secs
lola: 37784030 markings, 143427086 edges, 194727 markings/sec, 165 secs
lola: 38747503 markings, 147129344 edges, 192695 markings/sec, 170 secs
lola: 39729818 markings, 150827197 edges, 196463 markings/sec, 175 secs
lola: 40798475 markings, 154719640 edges, 213731 markings/sec, 180 secs
lola: 42016827 markings, 159043792 edges, 243670 markings/sec, 185 secs
lola: 43033491 markings, 163022866 edges, 203333 markings/sec, 190 secs
lola: 44004752 markings, 166728164 edges, 194252 markings/sec, 195 secs
lola: 44946107 markings, 170370650 edges, 188271 markings/sec, 200 secs
lola: 45912416 markings, 174048753 edges, 193262 markings/sec, 205 secs
lola: 46855566 markings, 177638410 edges, 188630 markings/sec, 210 secs
lola: 47797310 markings, 181204676 edges, 188349 markings/sec, 215 secs
lola: 48915869 markings, 184995266 edges, 223712 markings/sec, 220 secs
lola: 50110717 markings, 189451207 edges, 238970 markings/sec, 225 secs
lola: 51148791 markings, 193486979 edges, 207615 markings/sec, 230 secs
lola: 52152347 markings, 197350710 edges, 200711 markings/sec, 235 secs
lola: 53161844 markings, 201204100 edges, 201899 markings/sec, 240 secs
lola: 54124879 markings, 204871906 edges, 192607 markings/sec, 245 secs
lola: 55093006 markings, 208485533 edges, 193625 markings/sec, 250 secs
lola: 56071119 markings, 212199121 edges, 195623 markings/sec, 255 secs
lola: 57138706 markings, 216153770 edges, 213517 markings/sec, 260 secs
lola: 58465164 markings, 220599928 edges, 265292 markings/sec, 265 secs
lola: 59533307 markings, 224806512 edges, 213629 markings/sec, 270 secs
lola: 60551730 markings, 228743111 edges, 203685 markings/sec, 275 secs
lola: 61550045 markings, 232570427 edges, 199663 markings/sec, 280 secs
lola: 62545297 markings, 236340715 edges, 199050 markings/sec, 285 secs
lola: 63510479 markings, 240027295 edges, 193036 markings/sec, 290 secs
lola: 64466599 markings, 243649807 edges, 191224 markings/sec, 295 secs
lola: 65438182 markings, 247315901 edges, 194317 markings/sec, 300 secs
lola: 66436653 markings, 251080271 edges, 199694 markings/sec, 305 secs
lola: 67539349 markings, 254948292 edges, 220539 markings/sec, 310 secs
lola: 68799738 markings, 259263158 edges, 252078 markings/sec, 315 secs
lola: 69853026 markings, 263388703 edges, 210658 markings/sec, 320 secs
lola: 70849803 markings, 267247811 edges, 199355 markings/sec, 325 secs
lola: 71841499 markings, 271048430 edges, 198339 markings/sec, 330 secs
lola: 72829834 markings, 274802524 edges, 197667 markings/sec, 335 secs
lola: 73792278 markings, 278468349 edges, 192489 markings/sec, 340 secs
lola: 74738354 markings, 282050903 edges, 189215 markings/sec, 345 secs
lola: 75681634 markings, 285611617 edges, 188656 markings/sec, 350 secs
lola: 76626058 markings, 289167050 edges, 188885 markings/sec, 355 secs
lola: 77586746 markings, 292768085 edges, 192138 markings/sec, 360 secs
lola: 78583217 markings, 296428755 edges, 199294 markings/sec, 365 secs
lola: 79822386 markings, 300399259 edges, 247834 markings/sec, 370 secs
lola: 80956100 markings, 304761034 edges, 226743 markings/sec, 375 secs
lola: 81947588 markings, 308612140 edges, 198298 markings/sec, 380 secs
lola: 82918285 markings, 312343200 edges, 194139 markings/sec, 385 secs
lola: 83892132 markings, 316063376 edges, 194769 markings/sec, 390 secs
lola: 84824649 markings, 319610489 edges, 186503 markings/sec, 395 secs
lola: 85753365 markings, 323096559 edges, 185743 markings/sec, 400 secs
lola: 86684959 markings, 326605822 edges, 186319 markings/sec, 405 secs
lola: 87586221 markings, 330052393 edges, 180252 markings/sec, 410 secs
lola: 88504607 markings, 333514325 edges, 183677 markings/sec, 415 secs
lola: 89424027 markings, 336967595 edges, 183884 markings/sec, 420 secs
lola: 90352301 markings, 340427423 edges, 185655 markings/sec, 425 secs
lola: 91258665 markings, 343838309 edges, 181273 markings/sec, 430 secs
lola: 92476077 markings, 347833465 edges, 243482 markings/sec, 435 secs
lola: 93699944 markings, 352185799 edges, 244773 markings/sec, 440 secs
lola: 94696063 markings, 356075633 edges, 199224 markings/sec, 445 secs
lola: 95665003 markings, 359787984 edges, 193788 markings/sec, 450 secs
lola: 96599705 markings, 363388906 edges, 186940 markings/sec, 455 secs
lola: 97541989 markings, 366972950 edges, 188457 markings/sec, 460 secs
lola: 98459516 markings, 370464205 edges, 183505 markings/sec, 465 secs
lola: 99367903 markings, 373903557 edges, 181677 markings/sec, 470 secs
lola: 100281932 markings, 377354571 edges, 182806 markings/sec, 475 secs
lola: 101183102 markings, 380743683 edges, 180234 markings/sec, 480 secs
lola: 102078243 markings, 384076881 edges, 179028 markings/sec, 485 secs
lola: 102942994 markings, 387364048 edges, 172950 markings/sec, 490 secs
lola: 103854717 markings, 390783961 edges, 182345 markings/sec, 495 secs
lola: 104794834 markings, 394270149 edges, 188023 markings/sec, 500 secs
lola: 105787254 markings, 398017223 edges, 198484 markings/sec, 505 secs
lola: 107014191 markings, 402076778 edges, 245387 markings/sec, 510 secs
lola: 108264573 markings, 406342272 edges, 250076 markings/sec, 515 secs
lola: 109272998 markings, 410281963 edges, 201685 markings/sec, 520 secs
lola: 110211526 markings, 413924060 edges, 187706 markings/sec, 525 secs
lola: 111147201 markings, 417510644 edges, 187135 markings/sec, 530 secs
lola: 112061352 markings, 420975798 edges, 182830 markings/sec, 535 secs
lola: 112975262 markings, 424451394 edges, 182782 markings/sec, 540 secs
lola: 113867926 markings, 427839692 edges, 178533 markings/sec, 545 secs
lola: 114763274 markings, 431217212 edges, 179070 markings/sec, 550 secs
lola: 115640545 markings, 434490124 edges, 175454 markings/sec, 555 secs
lola: 116378580 markings, 437323347 edges, 147607 markings/sec, 560 secs
lola: 116510635 markings, 437814932 edges, 26411 markings/sec, 565 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes unknown yes no no no yes yes unknown no no yes unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 571 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((F ((Cb <= 1)) OR (G ((2 <= MpA)) OR X (X (G ((Mi <= SwA))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((F ((Cb <= 1)) OR (G ((2 <= MpA)) OR X (X (G ((Mi <= SwA))))))))
lola: processed formula length: 70
lola: 93 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1168214 markings, 7705263 edges, 233643 markings/sec, 0 secs
lola: 2112914 markings, 15516791 edges, 188940 markings/sec, 5 secs
lola: 3044249 markings, 23220113 edges, 186267 markings/sec, 10 secs
lola: 3864574 markings, 30798292 edges, 164065 markings/sec, 15 secs
lola: 4681076 markings, 38275556 edges, 163300 markings/sec, 20 secs
lola: 5456460 markings, 45694171 edges, 155077 markings/sec, 25 secs
lola: 6228094 markings, 53014542 edges, 154327 markings/sec, 30 secs
lola: 7003148 markings, 60352555 edges, 155011 markings/sec, 35 secs
lola: 7786092 markings, 67733053 edges, 156589 markings/sec, 40 secs
lola: 8579559 markings, 75154205 edges, 158693 markings/sec, 45 secs
lola: 9319007 markings, 82397216 edges, 147890 markings/sec, 50 secs
lola: 10066933 markings, 89665209 edges, 149585 markings/sec, 55 secs
lola: 10854685 markings, 96945291 edges, 157550 markings/sec, 60 secs
lola: 11591624 markings, 104082034 edges, 147388 markings/sec, 65 secs
lola: 12345240 markings, 111394162 edges, 150723 markings/sec, 70 secs
lola: 13140019 markings, 118654241 edges, 158956 markings/sec, 75 secs
lola: 13820009 markings, 125668012 edges, 135998 markings/sec, 80 secs
lola: 14618972 markings, 132903546 edges, 159793 markings/sec, 85 secs
lola: 15297700 markings, 139919436 edges, 135746 markings/sec, 90 secs
lola: 16093455 markings, 147057461 edges, 159151 markings/sec, 95 secs
lola: 16762088 markings, 153971209 edges, 133727 markings/sec, 100 secs
lola: 17585006 markings, 161339487 edges, 164584 markings/sec, 105 secs
lola: 18277004 markings, 168482080 edges, 138400 markings/sec, 110 secs
lola: 19107798 markings, 175890544 edges, 166159 markings/sec, 115 secs
lola: 19798051 markings, 183012244 edges, 138051 markings/sec, 120 secs
lola: 20626757 markings, 190381303 edges, 165741 markings/sec, 125 secs
lola: 21318761 markings, 197499020 edges, 138401 markings/sec, 130 secs
lola: 22055684 markings, 204531276 edges, 147385 markings/sec, 135 secs
lola: 22817996 markings, 211733686 edges, 152462 markings/sec, 140 secs
lola: 23486080 markings, 218640293 edges, 133617 markings/sec, 145 secs
lola: 24327865 markings, 225977471 edges, 168357 markings/sec, 150 secs
lola: 25017260 markings, 233101357 edges, 137879 markings/sec, 155 secs
lola: 25749916 markings, 240131558 edges, 146531 markings/sec, 160 secs
lola: 26523567 markings, 247289106 edges, 154730 markings/sec, 165 secs
lola: 27189703 markings, 254186459 edges, 133227 markings/sec, 170 secs
lola: 27976118 markings, 261265412 edges, 157283 markings/sec, 175 secs
lola: 28700012 markings, 268362400 edges, 144779 markings/sec, 180 secs
lola: 29360576 markings, 275189136 edges, 132113 markings/sec, 185 secs
lola: 30176015 markings, 282300187 edges, 163088 markings/sec, 190 secs
lola: 30864872 markings, 289272567 edges, 137771 markings/sec, 195 secs
lola: 31512959 markings, 295952277 edges, 129617 markings/sec, 200 secs
lola: 32348766 markings, 303216503 edges, 167161 markings/sec, 205 secs
lola: 33057273 markings, 310397545 edges, 141701 markings/sec, 210 secs
lola: 33723029 markings, 317275141 edges, 133151 markings/sec, 215 secs
lola: 34557887 markings, 324538107 edges, 166972 markings/sec, 220 secs
lola: 35270905 markings, 331676858 edges, 142604 markings/sec, 225 secs
lola: 35937758 markings, 338560446 edges, 133371 markings/sec, 230 secs
lola: 36733772 markings, 345713940 edges, 159203 markings/sec, 235 secs
lola: 37483606 markings, 352894282 edges, 149967 markings/sec, 240 secs
lola: 38160202 markings, 359873199 edges, 135319 markings/sec, 245 secs
lola: 38891931 markings, 366861456 edges, 146346 markings/sec, 250 secs
lola: 39692147 markings, 374000285 edges, 160043 markings/sec, 255 secs
lola: 40369103 markings, 381020882 edges, 135391 markings/sec, 260 secs
lola: 41014962 markings, 387750377 edges, 129172 markings/sec, 265 secs
lola: 41865637 markings, 394915982 edges, 170135 markings/sec, 270 secs
lola: 42555004 markings, 401881240 edges, 137873 markings/sec, 275 secs
lola: 43215572 markings, 408710368 edges, 132114 markings/sec, 280 secs
lola: 43949756 markings, 415652642 edges, 146837 markings/sec, 285 secs
lola: 44754403 markings, 422801102 edges, 160929 markings/sec, 290 secs
lola: 45433368 markings, 429854680 edges, 135793 markings/sec, 295 secs
lola: 46071619 markings, 436470145 edges, 127650 markings/sec, 300 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: 46278574 markings, 438619418 edges
lola: ========================================
lola: subprocess 12 will run for 637 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((((StF + 1 <= Uf) R X (G ((CwG + 1 <= Uf)))) OR ((Cb <= 2) AND X (X (X (X ((Uf <= CwG))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((((StF + 1 <= Uf) R X (G ((CwG + 1 <= Uf)))) OR ((Cb <= 2) AND X (X (X (X ((Uf <= CwG))))))))
lola: processed formula length: 96
lola: 93 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 15 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1073 markings, 1073 edges
lola: ========================================
lola: subprocess 13 will run for 850 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((X (G ((3 <= CwA))) U ((SF + 1 <= SR) OR F ((SF + 1 <= SR)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((X (G ((3 <= CwA))) U ((SF + 1 <= SR) OR F ((SF + 1 <= SR)))))
lola: processed formula length: 65
lola: 93 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 34200 markings, 84895 edges
lola: ========================================
lola: subprocess 14 will run for 1275 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((SR + 1 <= SF)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (SF <= SR)
lola: processed formula length: 10
lola: 95 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 429 markings, 429 edges
lola: ========================================
lola: subprocess 15 will run for 2550 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((G ((Ci + 1 <= CA)) OR F (((MpA <= 2) OR G ((F ((2 <= SG)) AND ((3 <= MpA) OR (2 <= SG))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((G ((Ci + 1 <= CA)) OR F (((MpA <= 2) OR G ((F ((2 <= SG)) AND ((3 <= MpA) OR (2 <= SG))))))))
lola: processed formula length: 97
lola: 93 rewrites
lola: closed formula file LTLCardinality.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: 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: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (((X ((MtF + 1 <= SpG)) R F (((CwA <= 1) OR (SA + 1 <= Si)))) AND ((MpA + 1 <= Si) OR X (G ((SA + 1 <= Si)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((X ((MtF + 1 <= SpG)) R F (((CwA <= 1) OR (SA + 1 <= Si)))) AND ((MpA + 1 <= Si) OR X (G ((SA + 1 <= Si)))))))
lola: processed formula length: 118
lola: 93 rewrites
lola: closed formula file LTLCardinality.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: 1363923 markings, 5232878 edges, 272785 markings/sec, 0 secs
lola: 2601161 markings, 10007719 edges, 247448 markings/sec, 5 secs
lola: 3811798 markings, 14632095 edges, 242127 markings/sec, 10 secs
lola: 4971068 markings, 19063011 edges, 231854 markings/sec, 15 secs
lola: 6055998 markings, 23255060 edges, 216986 markings/sec, 20 secs
lola: 7159284 markings, 27512329 edges, 220657 markings/sec, 25 secs
lola: 8301066 markings, 31777235 edges, 228356 markings/sec, 30 secs
lola: 9302822 markings, 35723913 edges, 200351 markings/sec, 35 secs
lola: 10446941 markings, 39936593 edges, 228824 markings/sec, 40 secs
lola: 11446860 markings, 43876616 edges, 199984 markings/sec, 45 secs
lola: 12512909 markings, 47836589 edges, 213210 markings/sec, 50 secs
lola: 13619756 markings, 52055446 edges, 221369 markings/sec, 55 secs
lola: 14577550 markings, 55797410 edges, 191559 markings/sec, 60 secs
lola: 15582176 markings, 59479364 edges, 200925 markings/sec, 65 secs
lola: 16676490 markings, 63651987 edges, 218863 markings/sec, 70 secs
lola: 17623171 markings, 67328855 edges, 189336 markings/sec, 75 secs
lola: 18538260 markings, 70858212 edges, 183018 markings/sec, 80 secs
lola: 19683019 markings, 74901143 edges, 228952 markings/sec, 85 secs
lola: 20669041 markings, 78789192 edges, 197204 markings/sec, 90 secs
lola: 21572135 markings, 82270020 edges, 180619 markings/sec, 95 secs
lola: 22452632 markings, 85677002 edges, 176099 markings/sec, 100 secs
lola: 23472772 markings, 89340927 edges, 204028 markings/sec, 105 secs
lola: 24581653 markings, 93511681 edges, 221776 markings/sec, 110 secs
lola: 25488463 markings, 97029724 edges, 181362 markings/sec, 115 secs
lola: 26360368 markings, 100378904 edges, 174381 markings/sec, 120 secs
lola: 27207651 markings, 103649966 edges, 169457 markings/sec, 125 secs
lola: 28205026 markings, 107339308 edges, 199475 markings/sec, 130 secs
lola: 29370303 markings, 111506834 edges, 233055 markings/sec, 135 secs
lola: 30292362 markings, 115112966 edges, 184412 markings/sec, 140 secs
lola: 31153774 markings, 118449577 edges, 172282 markings/sec, 145 secs
lola: 32003872 markings, 121698908 edges, 170020 markings/sec, 150 secs
lola: 32860356 markings, 124982105 edges, 171297 markings/sec, 155 secs
lola: 33764250 markings, 128400253 edges, 180779 markings/sec, 160 secs
lola: 34944172 markings, 132419487 edges, 235984 markings/sec, 165 secs
lola: 35903096 markings, 136196009 edges, 191785 markings/sec, 170 secs
lola: 36772771 markings, 139543237 edges, 173935 markings/sec, 175 secs
lola: 37617952 markings, 142815594 edges, 169036 markings/sec, 180 secs
lola: 38476361 markings, 146088025 edges, 171682 markings/sec, 185 secs
lola: 39321813 markings, 149313855 edges, 169090 markings/sec, 190 secs
lola: 40184690 markings, 152584402 edges, 172575 markings/sec, 195 secs
lola: 41238465 markings, 156129717 edges, 210755 markings/sec, 200 secs
lola: 42303351 markings, 160178023 edges, 212977 markings/sec, 205 secs
lola: 43191197 markings, 163601432 edges, 177569 markings/sec, 210 secs
lola: 44035516 markings, 166861271 edges, 168864 markings/sec, 215 secs
lola: 44854681 markings, 170027392 edges, 163833 markings/sec, 220 secs
lola: 45676568 markings, 173142853 edges, 164377 markings/sec, 225 secs
lola: 46502996 markings, 176262776 edges, 165286 markings/sec, 230 secs
lola: 47307378 markings, 179300739 edges, 160876 markings/sec, 235 secs
lola: 48121771 markings, 182412907 edges, 162879 markings/sec, 240 secs
lola: 49269664 markings, 186094105 edges, 229579 markings/sec, 245 secs
lola: 50288649 markings, 190150203 edges, 203797 markings/sec, 250 secs
lola: 51197270 markings, 193677050 edges, 181724 markings/sec, 255 secs
lola: 52078962 markings, 197068115 edges, 176338 markings/sec, 260 secs
lola: 52971747 markings, 200463771 edges, 178557 markings/sec, 265 secs
lola: 53812287 markings, 203679164 edges, 168108 markings/sec, 270 secs
lola: 54640256 markings, 206821766 edges, 165594 markings/sec, 275 secs
lola: 55466385 markings, 209951619 edges, 165226 markings/sec, 280 secs
lola: 56327180 markings, 213196046 edges, 172159 markings/sec, 285 secs
lola: 57313304 markings, 216728608 edges, 197225 markings/sec, 290 secs
lola: 58532157 markings, 220872098 edges, 243771 markings/sec, 295 secs
lola: 59491653 markings, 224644340 edges, 191899 markings/sec, 300 secs
lola: 60395668 markings, 228131634 edges, 180803 markings/sec, 305 secs
lola: 61271786 markings, 231473128 edges, 175224 markings/sec, 310 secs
lola: 62136607 markings, 234808063 edges, 172964 markings/sec, 315 secs
lola: 62972026 markings, 237985041 edges, 167084 markings/sec, 320 secs
lola: 63789299 markings, 241087780 edges, 163455 markings/sec, 325 secs
lola: 64614558 markings, 244211623 edges, 165052 markings/sec, 330 secs
lola: 65460526 markings, 247405422 edges, 169194 markings/sec, 335 secs
lola: 66329122 markings, 250670244 edges, 173719 markings/sec, 340 secs
lola: 67241164 markings, 253979225 edges, 182408 markings/sec, 345 secs
lola: 68431952 markings, 257785699 edges, 238158 markings/sec, 350 secs
lola: 69428404 markings, 261745989 edges, 199290 markings/sec, 355 secs
lola: 70329182 markings, 265242244 edges, 180156 markings/sec, 360 secs
lola: 71203108 markings, 268603943 edges, 174785 markings/sec, 365 secs
lola: 72084782 markings, 271953090 edges, 176335 markings/sec, 370 secs
lola: 72926246 markings, 275177072 edges, 168293 markings/sec, 375 secs
lola: 73755367 markings, 278326457 edges, 165824 markings/sec, 380 secs
lola: 74574119 markings, 281425839 edges, 163750 markings/sec, 385 secs
lola: 75391467 markings, 284505226 edges, 163470 markings/sec, 390 secs
lola: 76176820 markings, 287416081 edges, 157071 markings/sec, 395 secs
lola: 76976453 markings, 290480602 edges, 159927 markings/sec, 400 secs
lola: 77824847 markings, 293675075 edges, 169679 markings/sec, 405 secs
lola: 78723290 markings, 296899690 edges, 179689 markings/sec, 410 secs
lola: 79859006 markings, 300495290 edges, 227143 markings/sec, 415 secs
lola: 80898705 markings, 304529665 edges, 207940 markings/sec, 420 secs
lola: 81789214 markings, 307991594 edges, 178102 markings/sec, 425 secs
lola: 82643495 markings, 311280879 edges, 170856 markings/sec, 430 secs
lola: 83478416 markings, 314485627 edges, 166984 markings/sec, 435 secs
lola: 84313709 markings, 317644265 edges, 167059 markings/sec, 440 secs
lola: 85123036 markings, 320728180 edges, 161865 markings/sec, 445 secs
lola: 85915691 markings, 323723666 edges, 158531 markings/sec, 450 secs
lola: 86698988 markings, 326649476 edges, 156659 markings/sec, 455 secs
lola: 87468428 markings, 329611678 edges, 153888 markings/sec, 460 secs
lola: 88262327 markings, 332601890 edges, 158780 markings/sec, 465 secs
lola: 89039638 markings, 335496462 edges, 155462 markings/sec, 470 secs
lola: 89782410 markings, 338309602 edges, 148554 markings/sec, 475 secs
lola: 90600598 markings, 341378623 edges, 163638 markings/sec, 480 secs
lola: 91364757 markings, 344238358 edges, 152832 markings/sec, 485 secs
lola: 92489211 markings, 347874450 edges, 224891 markings/sec, 490 secs
lola: 93622172 markings, 351873162 edges, 226592 markings/sec, 495 secs
lola: 94522639 markings, 355391392 edges, 180093 markings/sec, 500 secs
lola: 95363948 markings, 358652347 edges, 168262 markings/sec, 505 secs
lola: 96192154 markings, 361813888 edges, 165641 markings/sec, 510 secs
lola: 97005273 markings, 364935887 edges, 162624 markings/sec, 515 secs
lola: 97794178 markings, 367940673 edges, 157781 markings/sec, 520 secs
lola: 98562387 markings, 370853621 edges, 153642 markings/sec, 525 secs
lola: 99345348 markings, 373818302 edges, 156592 markings/sec, 530 secs
lola: 100124203 markings, 376751794 edges, 155771 markings/sec, 535 secs
lola: 100863609 markings, 379490648 edges, 147881 markings/sec, 540 secs
lola: 101613313 markings, 382370402 edges, 149941 markings/sec, 545 secs
lola: 102381500 markings, 385251635 edges, 153637 markings/sec, 550 secs
lola: 103088889 markings, 387905751 edges, 141478 markings/sec, 555 secs
lola: 103872937 markings, 390847405 edges, 156810 markings/sec, 560 secs
lola: 104642652 markings, 393664643 edges, 153943 markings/sec, 565 secs
lola: 105528810 markings, 397048030 edges, 177232 markings/sec, 570 secs
lola: 106515983 markings, 400482687 edges, 197435 markings/sec, 575 secs
lola: 107680191 markings, 404161639 edges, 232842 markings/sec, 580 secs
lola: 108726448 markings, 408145346 edges, 209251 markings/sec, 585 secs
lola: 109587177 markings, 411493344 edges, 172146 markings/sec, 590 secs
lola: 110410453 markings, 414659791 edges, 164655 markings/sec, 595 secs
lola: 111210957 markings, 417750317 edges, 160101 markings/sec, 600 secs
lola: 111992189 markings, 420734094 edges, 156246 markings/sec, 605 secs
lola: 112758496 markings, 423639445 edges, 153261 markings/sec, 610 secs
lola: 113514411 markings, 426513667 edges, 151183 markings/sec, 615 secs
lola: 114276520 markings, 429398548 edges, 152422 markings/sec, 620 secs
lola: 115041975 markings, 432288168 edges, 153091 markings/sec, 625 secs
lola: 115780071 markings, 435046755 edges, 147619 markings/sec, 630 secs
lola: 116496823 markings, 437765059 edges, 143350 markings/sec, 635 secs
lola: 116512465 markings, 437821729 edges, 3128 markings/sec, 640 secs
lola: 116516293 markings, 437833212 edges, 766 markings/sec, 645 secs
lola: 116624389 markings, 438234004 edges, 21619 markings/sec, 650 secs
lola: 116624406 markings, 438234195 edges, 3 markings/sec, 655 secs
lola: 116646961 markings, 438311670 edges, 4511 markings/sec, 660 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes yes yes no no no yes yes no no no yes unknown no no yes
lola:
preliminary result: yes yes yes no no no yes yes no no no yes unknown no no yes
lola: memory consumption: 21992 KB
lola: time consumption: 1693 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished

BK_STOP 1589271342192

--------------------
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-N0020P1"
export BK_EXAMINATION="LTLCardinality"
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-N0020P1, examination is LTLCardinality"
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-158902068200045"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0020P1.tgz
mv ClientsAndServers-PT-N0020P1 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;