Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806700443.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is CloudOpsManagement-PT-02560by01280, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806700443
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.5K Mar 30 01:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.2K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.1K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 08:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K 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 13 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 16K 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 CloudOpsManagement-PT-02560by01280-CTLCardinality-00
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-01
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-02
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-03
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-04
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-05
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-06
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-07
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-08
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-09
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-10
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-11
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-12
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-13
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-14
FORMULA_NAME CloudOpsManagement-PT-02560by01280-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591365259128

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 13:54:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 13:54:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 13:54:22] [INFO ] Load time of PNML (sax parser for PT used): 71 ms
[2020-06-05 13:54:22] [INFO ] Transformed 27 places.
[2020-06-05 13:54:22] [INFO ] Transformed 29 transitions.
[2020-06-05 13:54:22] [INFO ] Parsed PT model containing 27 places and 29 transitions in 143 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 32 ms.
Incomplete random walk after 101190 steps, including 0 resets, run finished after 120 ms. (steps per millisecond=843 ) properties seen :[1, 1, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1]
// Phase 1: matrix 29 rows 27 cols
[2020-06-05 13:54:22] [INFO ] Computed 11 place invariants in 7 ms
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 26 ms returned unsat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 4 ms returned unsat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 9 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using state equation in 39 ms returned sat
[2020-06-05 13:54:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 13:54:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 11 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 13:54:22] [INFO ] [Nat]Absence check using state equation in 32 ms returned sat
[2020-06-05 13:54:22] [INFO ] State equation strengthened by 3 read => feed constraints.
[2020-06-05 13:54:22] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 13:54:22] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 7 ms.
[2020-06-05 13:54:22] [INFO ] Added : 25 causal constraints over 5 iterations in 69 ms. Result :sat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 4 ms returned unsat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 5 ms returned unsat
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using 11 positive place invariants in 6 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-06-05 13:54:22] [INFO ] [Real]Absence check using state equation in 17 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Real]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 13:54:22] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 13:54:22] [INFO ] Solution in real domain found non-integer solution.
[2020-06-05 13:54:22] [INFO ] [Nat]Absence check using 11 positive place invariants in 7 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-06-05 13:54:22] [INFO ] [Nat]Absence check using state equation in 20 ms returned sat
[2020-06-05 13:54:22] [INFO ] [Nat]Added 3 Read/Feed constraints in 2 ms returned sat
[2020-06-05 13:54:22] [INFO ] Computed and/alt/rep : 26/69/26 causal constraints in 4 ms.
[2020-06-05 13:54:22] [INFO ] Added : 25 causal constraints over 6 iterations in 38 ms. Result :sat
Successfully simplified 4 atomic propositions for a total of 4 simplifications.
[2020-06-05 13:54:23] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-05 13:54:23] [INFO ] Flatten gal took : 40 ms
[2020-06-05 13:54:23] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-05 13:54:23] [INFO ] Flatten gal took : 12 ms
FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 13:54:23] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2020-06-05 13:54:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ CloudOpsManagement-PT-02560by01280 @ 3570 seconds

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-09 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-07 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-02560by01280-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 289
rslt: Output for CTLCardinality @ CloudOpsManagement-PT-02560by01280

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 13:54:24 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(p25 <= 0)",
"processed_size": 10,
"rewrites": 13
},
"result":
{
"edges": 2559,
"markings": 2560,
"produced_by": "state space /EXEF",
"value": true
},
"task":
{
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability_from_a_successor",
"workflow": "stateequation"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 279
},
"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": "(p19 + 1 <= p8)",
"processed_size": 15,
"rewrites": 14
},
"result":
{
"edges": 37181,
"markings": 20511,
"produced_by": "state space /EXEF",
"value": false
},
"task":
{
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance_from_all_successors",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 284
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "A (G ((3 <= p25)))",
"processed_size": 18,
"rewrites": 13
},
"result":
{
"edges": 2558,
"markings": 2559,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 313
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"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": "E (F ((p26 + 1 <= p9)))",
"processed_size": 23,
"rewrites": 12
},
"result":
{
"edges": 2561,
"markings": 2562,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 348
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((p14 + 1 <= p16)))",
"processed_size": 24,
"rewrites": 13
},
"result":
{
"edges": 46068,
"markings": 29436,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 391
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (F (((3 <= p2) AND (p2 <= p13))))",
"processed_size": 35,
"rewrites": 12
},
"result":
{
"produced_by": "state equation",
"value": true
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 447
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "E (F (((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22)))))",
"processed_size": 56,
"rewrites": 12
},
"result":
{
"edges": 1280,
"markings": 1281,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 4,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 611
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "E (((p17 <= p5) U (p10 <= p11)))",
"processed_size": 32,
"rewrites": 14
},
"result":
{
"edges": 1279,
"markings": 1280,
"produced_by": "state space /EU",
"value": true
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "eu preserving",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "existential_until",
"workflow": "stateequation"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 815
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((3 <= p10) OR NOT DEADLOCK)",
"processed_size": 28,
"rewrites": 12
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 11,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1223
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "(3 <= p21)",
"processed_size": 10,
"rewrites": 14
},
"result":
{
"edges": 30781,
"markings": 19240,
"produced_by": "state space /EFEG",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 2
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability_of_possible_preservation",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 3524,
"runtime": 3281.000000,
"signal": null,
"timelimitreached": false
},
"files":
{
"formula": "CTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(E(F(E(G(**)))) AND (** OR NODEADLOCK)) : E((** U **)) : E(X(E(F(**)))) : A(G(**)) : (A(X(A(G(**)))) AND A(G(E(X(**))))) : A(G(**)) : E(F(**)) : E(F((A(G(**)) AND E(G(**))))) : E(F(*)) : E(X(A(G(*)))) : A(F(A(G(**)))) : E(F(A(G(**)))) : E(F(**)) : A(G(A((** U **))))"
},
"net":
{
"arcs": 94,
"conflict_clusters": 11,
"places": 27,
"places_significant": 16,
"singleton_clusters": 0,
"transitions": 29
},
"result":
{
"preliminary_value": "yes yes yes no no no yes unknown yes unknown unknown unknown yes unknown ",
"value": "yes yes yes no no no yes unknown yes unknown unknown unknown yes unknown "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 56/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 864
lola: finding significant places
lola: 27 places, 29 transitions, 16 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 CTLCardinality.xml
lola: (E (F (E (G ((3 <= p21))))) AND ((3 <= p10) OR E (X ((0 <= 0))))) : E (((p17 <= p5) U (p10 <= p11))) : E (F (E (X ((p25 <= 0))))) : A (G ((3 <= p25))) : A (G ((A (X ((p8 <= p19))) AND E (X ((p18 <= p21)))))) : A (G ((p14 + 1 <= p16))) : E (F (((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22))))) : E (F ((A (G ((3 <= p18))) AND E (G ((3 <= p3)))))) : NOT(A (G ((p9 <= p26)))) : E (X (NOT(E (F ((p25 <= p18)))))) : A (F (A (G ((p2 <= p19))))) : E (F (A (G ((p4 <= 2))))) : E (F (((3 <= p2) AND (p2 <= p13)))) : A (G (A (((3 <= p22) U (p22 <= p10)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:130
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F ((p25 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability from a successor
lola: rewrite Frontend/Parser/formula_rewrite.k:623
lola: rewrite Frontend/Parser/formula_rewrite.k:714
lola: processed formula: (p25 <= 0)
lola: processed formula length: 10
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p25 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EXEF
lola: The predicate is reachable from some successor.
lola: 2560 markings, 2559 edges
lola: ========================================
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (A (G ((p8 <= p19))))) AND A (G (E (X ((p18 <= p21))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((p18 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX((p18 <= p21)))
lola: processed formula length: 20
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2752173 markings, 4153604 edges, 550435 markings/sec, 0 secs
lola: 5730999 markings, 8638071 edges, 595765 markings/sec, 5 secs
lola: 8643081 markings, 13019453 edges, 582416 markings/sec, 10 secs
lola: 11501879 markings, 17319367 edges, 571760 markings/sec, 15 secs
lola: 14425732 markings, 21716045 edges, 584771 markings/sec, 20 secs
lola: 17290918 markings, 26023772 edges, 573037 markings/sec, 25 secs
lola: 20116273 markings, 30271151 edges, 565071 markings/sec, 30 secs
lola: 22812018 markings, 34323243 edges, 539149 markings/sec, 35 secs
lola: 25599643 markings, 38513142 edges, 557525 markings/sec, 40 secs
lola: 28346592 markings, 42641526 edges, 549390 markings/sec, 45 secs
lola: 31119369 markings, 46808427 edges, 554555 markings/sec, 50 secs
lola: 33721210 markings, 50718478 edges, 520368 markings/sec, 55 secs
lola: 36423126 markings, 54778564 edges, 540383 markings/sec, 60 secs
lola: 39171627 markings, 58908506 edges, 549700 markings/sec, 65 secs
lola: 41954511 markings, 63089869 edges, 556577 markings/sec, 70 secs
lola: 44708939 markings, 67228437 edges, 550886 markings/sec, 75 secs
lola: 47411166 markings, 71288406 edges, 540445 markings/sec, 80 secs
lola: 50147721 markings, 75399688 edges, 547311 markings/sec, 85 secs
lola: 52852758 markings, 79463703 edges, 541007 markings/sec, 90 secs
lola: 55545023 markings, 83508182 edges, 538453 markings/sec, 95 secs
lola: 58185380 markings, 87474989 edges, 528071 markings/sec, 100 secs
lola: 60869796 markings, 91507393 edges, 536883 markings/sec, 105 secs
lola: 62734936 markings, 94309472 edges, 373028 markings/sec, 110 secs
lola: 63558482 markings, 95546603 edges, 164709 markings/sec, 115 secs
lola: 65378481 markings, 98280376 edges, 364000 markings/sec, 120 secs
lola: 67181359 markings, 100988548 edges, 360576 markings/sec, 125 secs
lola: 69258484 markings, 104108607 edges, 415425 markings/sec, 130 secs
lola: 70344124 markings, 105739625 edges, 217128 markings/sec, 135 secs
lola: 72088089 markings, 108359328 edges, 348793 markings/sec, 140 secs
lola: 72219355 markings, 108556397 edges, 26253 markings/sec, 145 secs
lola: 73569606 markings, 110584611 edges, 270050 markings/sec, 150 secs
lola: 74207815 markings, 111543047 edges, 127642 markings/sec, 155 secs
lola: 75782496 markings, 113908616 edges, 314936 markings/sec, 160 secs
lola: 76465569 markings, 114934398 edges, 136615 markings/sec, 165 secs
lola: 77364609 markings, 116285006 edges, 179808 markings/sec, 170 secs
lola: 77570465 markings, 116594119 edges, 41171 markings/sec, 175 secs
lola: 77570517 markings, 116594171 edges, 10 markings/sec, 180 secs
lola: 77572241 markings, 116596847 edges, 345 markings/sec, 185 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((p8 <= p19)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:624
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p19 + 1 <= p8)
lola: processed formula length: 15
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p19 + 1 <= p8)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-2-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEF
lola: The predicate is not invariant from successors.
lola: 20511 markings, 37181 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 2 will run for 279 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (G ((p18 + 1 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AG((p18 + 1 <= p25)))
lola: processed formula length: 24
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3568202 markings, 5382457 edges, 713640 markings/sec, 0 secs
lola: 7024816 markings, 10584913 edges, 691323 markings/sec, 5 secs
lola: 10151553 markings, 15288421 edges, 625347 markings/sec, 10 secs
lola: 13560590 markings, 20415086 edges, 681807 markings/sec, 15 secs
lola: 16819552 markings, 25315109 edges, 651792 markings/sec, 20 secs
lola: 20144074 markings, 30312924 edges, 664904 markings/sec, 25 secs
lola: 23420966 markings, 35238635 edges, 655378 markings/sec, 30 secs
lola: 26640962 markings, 40078099 edges, 643999 markings/sec, 35 secs
lola: 29836883 markings, 44881089 edges, 639184 markings/sec, 40 secs
lola: 32973622 markings, 49595073 edges, 627348 markings/sec, 45 secs
lola: 36097468 markings, 54289285 edges, 624769 markings/sec, 50 secs
lola: 39288258 markings, 59083769 edges, 638158 markings/sec, 55 secs
lola: 42519049 markings, 63938214 edges, 646158 markings/sec, 60 secs
lola: 45704649 markings, 68724383 edges, 637120 markings/sec, 65 secs
lola: 48842334 markings, 73438663 edges, 627537 markings/sec, 70 secs
lola: 51821605 markings, 77914550 edges, 595854 markings/sec, 75 secs
lola: 54982543 markings, 82663269 edges, 632188 markings/sec, 80 secs
lola: 58068349 markings, 87299127 edges, 617161 markings/sec, 85 secs
lola: 61212616 markings, 92022375 edges, 628853 markings/sec, 90 secs
lola: 64274606 markings, 96622364 edges, 612398 markings/sec, 95 secs
lola: 67342163 markings, 101230114 edges, 613511 markings/sec, 100 secs
lola: 70416532 markings, 105848410 edges, 614874 markings/sec, 105 secs
lola: 73440584 markings, 110390670 edges, 604810 markings/sec, 110 secs
lola: 76525829 markings, 115024912 edges, 617049 markings/sec, 115 secs
lola: 79594586 markings, 119634433 edges, 613751 markings/sec, 120 secs
lola: 82636475 markings, 124203561 edges, 608378 markings/sec, 125 secs
lola: 85673247 markings, 128764748 edges, 607354 markings/sec, 130 secs
lola: 88459238 markings, 132948948 edges, 557198 markings/sec, 135 secs
lola: 90292532 markings, 135702861 edges, 366659 markings/sec, 140 secs
lola: 91873668 markings, 138080097 edges, 316227 markings/sec, 145 secs
lola: 93809869 markings, 140986826 edges, 387240 markings/sec, 150 secs
lola: 95726417 markings, 143864115 edges, 383310 markings/sec, 155 secs
lola: 97000103 markings, 145776771 edges, 254737 markings/sec, 160 secs
lola: 98381468 markings, 147851773 edges, 276273 markings/sec, 165 secs
lola: 99901119 markings, 150133748 edges, 303930 markings/sec, 170 secs
lola: 100896893 markings, 151629397 edges, 199155 markings/sec, 175 secs
lola: 102709988 markings, 154352488 edges, 362619 markings/sec, 180 secs
lola: 103924097 markings, 156175997 edges, 242822 markings/sec, 185 secs
lola: 105256617 markings, 158177177 edges, 266504 markings/sec, 190 secs
lola: 106350110 markings, 159819472 edges, 218699 markings/sec, 195 secs
lola: 107758816 markings, 161935053 edges, 281741 markings/sec, 200 secs
lola: 108912833 markings, 163668274 edges, 230803 markings/sec, 205 secs
lola: 110050784 markings, 165377310 edges, 227590 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 284 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((3 <= p25)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((3 <= p25)))
lola: processed formula length: 18
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p25 <= 2)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2559 markings, 2558 edges
lola: state equation: write sara problem file to CTLCardinality-3-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 4 will run for 313 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p26 + 1 <= p9)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F ((p26 + 1 <= p9)))
lola: processed formula length: 23
lola: 12 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p26 + 1 <= p9)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-4-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 2562 markings, 2561 edges
lola: ========================================
lola: subprocess 5 will run for 348 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p14 + 1 <= p16)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p14 + 1 <= p16)))
lola: processed formula length: 24
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p16 <= p14)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-5-0.sara
sara: try reading problem file CTLCardinality-3-0.sara.
lola: state equation: calling and running sara
sara: place or transition ordering is non-deterministic
sara: try reading problem file CTLCardinality-5-0.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 29436 markings, 46068 edges
lola: ========================================
lola: subprocess 6 will run for 391 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= p2) AND (p2 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((3 <= p2) AND (p2 <= p13))))
lola: processed formula length: 35
lola: 12 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((3 <= p2) AND (p2 <= p13))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-6-0.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 7 will run for 447 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22)))))
lola: processed formula length: 56
lola: 12 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p0 <= 0) AND ((p0 <= 1) OR (p24 + 1 <= p22)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-7-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-7-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1281 markings, 1280 edges
lola: ========================================
lola: subprocess 8 will run for 522 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((p4 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (3 <= p4)
lola: processed formula length: 9
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p4 <= 2)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-8-0.sara
lola: state equation: calling and running sara
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (3 <= p4)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-8-1.sara
sara: try reading problem file CTLCardinality-8-0.sara.
lola: state equation: calling and running sara
sara: place or transition ordering is non-deterministic

sara: try reading problem file CTLCardinality-8-1.sara.
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced
lola: state equation 1: solution produced

lola: sara is running 0 secs || sara is running 0 secs || 3653785 markings, 5511401 edges, 730757 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7091626 markings, 10685461 edges, 687568 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10428808 markings, 15705383 edges, 667436 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 13830998 markings, 20821738 edges, 680438 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17215907 markings, 25911090 edges, 676982 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 20546125 markings, 30917368 edges, 666044 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 23901833 markings, 35961247 edges, 671142 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27215529 markings, 40941765 edges, 662739 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 30496228 markings, 45872202 edges, 656140 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 33530366 markings, 50431647 edges, 606828 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 36776768 markings, 55309970 edges, 649280 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 40108175 markings, 60315739 edges, 666281 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 43444409 markings, 65328490 edges, 667247 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 46707222 markings, 70230624 edges, 652563 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 49973321 markings, 75137771 edges, 653220 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 53082683 markings, 79809131 edges, 621872 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 56211543 markings, 84509727 edges, 625772 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 59241753 markings, 89061696 edges, 606042 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 62457264 markings, 93892102 edges, 643102 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 65645098 markings, 98680887 edges, 637567 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 68782223 markings, 103393237 edges, 627425 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 71874707 markings, 108038543 edges, 618497 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 74987341 markings, 112714171 edges, 622527 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 78124797 markings, 117426782 edges, 627491 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 81182216 markings, 122019151 edges, 611484 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 84306906 markings, 126712316 edges, 624938 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 87378240 markings, 131325285 edges, 614267 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 90500705 markings, 136015289 edges, 624493 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 93666414 markings, 140770058 edges, 633142 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 96829578 markings, 145520837 edges, 632633 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 99950465 markings, 150208149 edges, 624177 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 102831484 markings, 154535019 edges, 576204 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 103861176 markings, 156081254 edges, 205938 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 105707216 markings, 158853796 edges, 369208 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 106689042 markings, 160328500 edges, 196365 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 108760576 markings, 163439651 edges, 414307 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 110412838 markings, 165920989 edges, 330452 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 111979881 markings, 168274278 edges, 313409 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 114730867 markings, 172405772 edges, 550197 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 115887484 markings, 174142659 edges, 231323 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 117600431 markings, 176715316 edges, 342589 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 118889920 markings, 178651772 edges, 257898 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 119988381 markings, 180301532 edges, 219692 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 121742156 markings, 182935412 edges, 350755 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 122972996 markings, 184783846 edges, 246168 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 124195361 markings, 186619428 edges, 244473 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 125786191 markings, 189008593 edges, 318166 markings/sec, 230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G ((3 <= p18))) AND E (G ((3 <= p3))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG((3 <= p18)) AND EG((3 <= p3))))
lola: processed formula length: 38
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1612827 markings, 5579326 edges, 322565 markings/sec, 0 secs
lola: 3292614 markings, 11420049 edges, 335957 markings/sec, 5 secs
lola: 4906736 markings, 17037961 edges, 322824 markings/sec, 10 secs
lola: 6529134 markings, 22688518 edges, 324480 markings/sec, 15 secs
lola: 8114963 markings, 28214177 edges, 317166 markings/sec, 20 secs
lola: 9660375 markings, 33600170 edges, 309082 markings/sec, 25 secs
lola: 11193386 markings, 38944085 edges, 306602 markings/sec, 30 secs
lola: 12797538 markings, 44537323 edges, 320830 markings/sec, 35 secs
lola: 14376076 markings, 50041350 edges, 315708 markings/sec, 40 secs
lola: 15908755 markings, 55387267 edges, 306536 markings/sec, 45 secs
lola: 17490324 markings, 60903729 edges, 316314 markings/sec, 50 secs
lola: 19038210 markings, 66303353 edges, 309577 markings/sec, 55 secs
lola: 20550954 markings, 71580300 edges, 302549 markings/sec, 60 secs
lola: 22059297 markings, 76843120 edges, 301669 markings/sec, 65 secs
lola: 23558868 markings, 82075369 edges, 299914 markings/sec, 70 secs
lola: 25054023 markings, 87292769 edges, 299031 markings/sec, 75 secs
lola: 26561924 markings, 92554970 edges, 301580 markings/sec, 80 secs
lola: 28032037 markings, 97685308 edges, 294023 markings/sec, 85 secs
lola: 29441059 markings, 102602948 edges, 281804 markings/sec, 90 secs
lola: 30949064 markings, 107865603 edges, 301601 markings/sec, 95 secs
lola: 32358360 markings, 112784835 edges, 281859 markings/sec, 100 secs
lola: 33793120 markings, 117792540 edges, 286952 markings/sec, 105 secs
lola: 35252003 markings, 122885265 edges, 291777 markings/sec, 110 secs
lola: 36694052 markings, 127918393 edges, 288410 markings/sec, 115 secs
lola: 38177082 markings, 133095916 edges, 296606 markings/sec, 120 secs
lola: 39715756 markings, 138467595 edges, 307735 markings/sec, 125 secs
lola: 41223800 markings, 143732319 edges, 301609 markings/sec, 130 secs
lola: 42699970 markings, 148885750 edges, 295234 markings/sec, 135 secs
lola: 44211842 markings, 154164057 edges, 302374 markings/sec, 140 secs
lola: 45672699 markings, 159264439 edges, 292171 markings/sec, 145 secs
lola: 47122445 markings, 164326470 edges, 289949 markings/sec, 150 secs
lola: 48597419 markings, 169476221 edges, 294995 markings/sec, 155 secs
lola: 50070234 markings, 174618798 edges, 294563 markings/sec, 160 secs
lola: 51536885 markings, 179739828 edges, 293330 markings/sec, 165 secs
lola: 52898598 markings, 184494830 edges, 272343 markings/sec, 170 secs
lola: 54356569 markings, 189585066 edges, 291594 markings/sec, 175 secs
lola: 55797738 markings, 194618480 edges, 288234 markings/sec, 180 secs
lola: 57205185 markings, 199533178 edges, 281489 markings/sec, 185 secs
lola: 58619680 markings, 204472681 edges, 282899 markings/sec, 190 secs
lola: 60022058 markings, 209370116 edges, 280476 markings/sec, 195 secs
lola: 61527574 markings, 214626929 edges, 301103 markings/sec, 200 secs
lola: 63021361 markings, 219843725 edges, 298757 markings/sec, 205 secs
lola: 64452649 markings, 224842242 edges, 286258 markings/sec, 210 secs
lola: 65866436 markings, 229779642 edges, 282757 markings/sec, 215 secs
lola: 67296134 markings, 234773643 edges, 285940 markings/sec, 220 secs
lola: 68726740 markings, 239769638 edges, 286121 markings/sec, 225 secs
lola: 70131012 markings, 244673559 edges, 280854 markings/sec, 230 secs
lola: 71555252 markings, 249648511 edges, 284848 markings/sec, 235 secs
lola: 72949788 markings, 254518925 edges, 278907 markings/sec, 240 secs
lola: 74378207 markings, 259507526 edges, 285684 markings/sec, 245 secs
lola: 75820954 markings, 264547540 edges, 288549 markings/sec, 250 secs
lola: 77231143 markings, 269473184 edges, 282038 markings/sec, 255 secs
lola: 78635810 markings, 274379355 edges, 280933 markings/sec, 260 secs
lola: 79974032 markings, 279053458 edges, 267644 markings/sec, 265 secs
lola: 81356589 markings, 283882590 edges, 276511 markings/sec, 270 secs
lola: 82800392 markings, 288925223 edges, 288761 markings/sec, 275 secs
lola: 84214187 markings, 293864104 edges, 282759 markings/sec, 280 secs
lola: 85591906 markings, 298676315 edges, 275544 markings/sec, 285 secs
lola: 86989951 markings, 303559884 edges, 279609 markings/sec, 290 secs
lola: 88377134 markings, 308405537 edges, 277437 markings/sec, 295 secs
lola: 89710263 markings, 313063295 edges, 266626 markings/sec, 300 secs
lola: 90474109 markings, 315732200 edges, 152769 markings/sec, 305 secs
lola: 91545602 markings, 319474533 edges, 214299 markings/sec, 310 secs
lola: 92417540 markings, 322519680 edges, 174388 markings/sec, 315 secs
lola: 93423507 markings, 326033759 edges, 201193 markings/sec, 320 secs
lola: 94657059 markings, 330342837 edges, 246710 markings/sec, 325 secs
lola: 95466017 markings, 333168686 edges, 161792 markings/sec, 330 secs
lola: 96540533 markings, 336922284 edges, 214903 markings/sec, 335 secs
lola: 97424155 markings, 340009062 edges, 176724 markings/sec, 340 secs
lola: 98328762 markings, 343169306 edges, 180921 markings/sec, 345 secs
lola: 99360352 markings, 346772162 edges, 206318 markings/sec, 350 secs
lola: 100100713 markings, 349358332 edges, 148072 markings/sec, 355 secs
lola: 101030828 markings, 352608570 edges, 186023 markings/sec, 360 secs
lola: 101770088 markings, 355191303 edges, 147852 markings/sec, 365 secs
lola: 102418159 markings, 357454689 edges, 129614 markings/sec, 370 secs
lola: 103584116 markings, 361528361 edges, 233191 markings/sec, 375 secs
lola: 104836219 markings, 365902653 edges, 250421 markings/sec, 380 secs
lola: 105218278 markings, 367237468 edges, 76412 markings/sec, 385 secs
lola: 106181741 markings, 370603149 edges, 192693 markings/sec, 390 secs
lola: 106702268 markings, 372421196 edges, 104105 markings/sec, 395 secs
lola: 107859120 markings, 376462961 edges, 231370 markings/sec, 400 secs
lola: 108512909 markings, 378745918 edges, 130758 markings/sec, 405 secs
lola: 109231548 markings, 381256920 edges, 143728 markings/sec, 410 secs
lola: 110495377 markings, 385673314 edges, 252766 markings/sec, 415 secs
lola: 110884096 markings, 387031155 edges, 77744 markings/sec, 420 secs
lola: 110884159 markings, 387031218 edges, 13 markings/sec, 425 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 611 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p17 <= p5) U (p10 <= p11)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E (((p17 <= p5) U (p10 <= p11)))
lola: processed formula length: 32
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p10 <= p11)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 1280 markings, 1279 edges
lola: state equation: write sara problem file to CTLCardinality-10-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 11 will run for 815 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (E (G ((3 <= p21))))) AND ((3 <= p10) OR NOT DEADLOCK))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 815 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((3 <= p10) OR NOT DEADLOCK)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: ((3 <= p10) OR NOT DEADLOCK)
lola: processed formula length: 28
lola: 12 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 1 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 12 will run for 1223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((3 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:598
lola: rewrite Frontend/Parser/formula_rewrite.k:633
lola: rewrite Frontend/Parser/formula_rewrite.k:730
lola: processed formula: (3 <= p21)
lola: processed formula length: 10
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (3 <= p21)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: formula 0: (p21 <= 2)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-12-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLCardinality-12-1.sara
lola: state equation: calling and running sara
sara: sara: try reading problem file CTLCardinality-10-0.sara.try reading problem file CTLCardinality-12-0.sara.

sara: try reading problem file CTLCardinality-12-1.sara.
sara: sara: place or transition ordering is non-deterministicplace or transition ordering is non-deterministic

sara: place or transition ordering is non-deterministic


lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 19240 markings, 30781 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 12 will run for 1223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((p2 <= p19)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p19 + 1 <= p2)
lola: processed formula length: 15
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p19 + 1 <= p2)
lola: state equation task get result unparse finished id 1
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p2 <= p19)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-12-1.sara
lola: state equation: write sara problem file to CTLCardinality-12-0.sara
lola: lola: state equation: calling and running sara
state equation: calling and running sara
sara: try reading problem file CTLCardinality-12-0.sara.
sara: try reading problem file CTLCardinality-12-1.sara.
sara: place or transition ordering is non-deterministic

sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced


lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3615072 markings, 5453071 edges, 723014 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7182986 markings, 10822872 edges, 713583 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10655948 markings, 16047110 edges, 694592 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 14211572 markings, 21394028 edges, 711125 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17647053 markings, 26559045 edges, 687096 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 21036196 markings, 31653842 edges, 677829 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 24444579 markings, 36777049 edges, 681677 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27779754 markings, 41789732 edges, 667035 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 31106401 markings, 46788929 edges, 665329 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 34350863 markings, 51664567 edges, 648892 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 37588074 markings, 56529051 edges, 647442 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 40985837 markings, 61634426 edges, 679553 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 44291221 markings, 66600729 edges, 661077 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 47305001 markings, 71128836 edges, 602756 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 50622423 markings, 76112996 edges, 663484 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 53868011 markings, 80988870 edges, 649118 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 57073237 markings, 85804205 edges, 641045 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 60265331 markings, 90599299 edges, 638419 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 63585801 markings, 95587400 edges, 664094 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 66738385 markings, 100323124 edges, 630517 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 69939076 markings, 105131175 edges, 640138 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 73094002 markings, 109870150 edges, 630985 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 76307073 markings, 114696501 edges, 642614 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 79468061 markings, 119444332 edges, 632198 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 82622140 markings, 124181848 edges, 630816 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 85759506 markings, 128894046 edges, 627473 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 88886218 markings, 133590459 edges, 625342 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 92242408 markings, 138631128 edges, 671238 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 95605848 markings, 143682926 edges, 672688 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 98918468 markings, 148658297 edges, 662524 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 102198412 markings, 153584214 edges, 655989 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 105434853 markings, 158444740 edges, 647288 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 108397344 markings, 162893932 edges, 592498 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 109147844 markings, 164021150 edges, 150100 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 111247256 markings, 167174271 edges, 419882 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 112754960 markings, 169438330 edges, 301541 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 113623359 markings, 170742582 edges, 173680 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 115729270 markings, 173905136 edges, 421182 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 116383631 markings, 174887976 edges, 130872 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 119047094 markings, 178887966 edges, 532693 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 121683928 markings, 182847862 edges, 527367 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 122200826 markings, 183623877 edges, 103380 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 124701189 markings, 187379012 edges, 500073 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 125411668 markings, 188446010 edges, 142096 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 127482455 markings, 191555631 edges, 414157 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 128435853 markings, 192987603 edges, 190680 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 130324892 markings, 195824316 edges, 377808 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 131802003 markings, 198042680 edges, 295422 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 132799967 markings, 199541236 edges, 199593 markings/sec, 240 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 2191 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (((3 <= p22) U (p22 <= p10)))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((3 <= p22) U (p22 <= p10)))
lola: processed formula length: 31
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 2487434 markings, 4973905 edges, 497487 markings/sec, 0 secs
lola: 4938461 markings, 9876278 edges, 490205 markings/sec, 5 secs
lola: 7180918 markings, 14361287 edges, 448491 markings/sec, 10 secs
lola: 9381356 markings, 18762261 edges, 440088 markings/sec, 15 secs
lola: 11512800 markings, 23025238 edges, 426289 markings/sec, 20 secs
lola: 13688742 markings, 27377217 edges, 435188 markings/sec, 25 secs
lola: 15848515 markings, 31696856 edges, 431955 markings/sec, 30 secs
lola: 18041179 markings, 36082281 edges, 438533 markings/sec, 35 secs
lola: 20221758 markings, 40443532 edges, 436116 markings/sec, 40 secs
lola: 22380601 markings, 44761309 edges, 431769 markings/sec, 45 secs
lola: 24609605 markings, 49219415 edges, 445801 markings/sec, 50 secs
lola: 26886023 markings, 53772348 edges, 455284 markings/sec, 55 secs
lola: 29136933 markings, 58274268 edges, 450182 markings/sec, 60 secs
lola: 31373640 markings, 62747780 edges, 447341 markings/sec, 65 secs
lola: 33595948 markings, 67192490 edges, 444462 markings/sec, 70 secs
lola: 36339395 markings, 72091808 edges, 548689 markings/sec, 75 secs
lola: 39189828 markings, 76902556 edges, 570087 markings/sec, 80 secs
lola: 41950408 markings, 81561185 edges, 552116 markings/sec, 85 secs
lola: 44610609 markings, 86050527 edges, 532040 markings/sec, 90 secs
lola: 47266902 markings, 90533302 edges, 531259 markings/sec, 95 secs
lola: 49842671 markings, 94880584 edges, 515154 markings/sec, 100 secs
lola: 52410199 markings, 99213270 edges, 513506 markings/sec, 105 secs
lola: 54895961 markings, 103408839 edges, 497152 markings/sec, 110 secs
lola: 57545661 markings, 107880352 edges, 529940 markings/sec, 115 secs
lola: 60192291 markings, 112346672 edges, 529326 markings/sec, 120 secs
lola: 62791455 markings, 116733216 edges, 519833 markings/sec, 125 secs
lola: 65203716 markings, 120804534 edges, 482452 markings/sec, 130 secs
lola: 67850120 markings, 125270446 edges, 529281 markings/sec, 135 secs
lola: 70306841 markings, 129416577 edges, 491344 markings/sec, 140 secs
lola: 72835653 markings, 133684647 edges, 505762 markings/sec, 145 secs
lola: 75363282 markings, 137950196 edges, 505526 markings/sec, 150 secs
lola: 77930383 markings, 142282450 edges, 513420 markings/sec, 155 secs
lola: 80436163 markings, 146511773 edges, 501156 markings/sec, 160 secs
lola: 82939195 markings, 150735765 edges, 500606 markings/sec, 165 secs
lola: 85392889 markings, 154876978 edges, 490739 markings/sec, 170 secs
lola: 87896203 markings, 159101389 edges, 500663 markings/sec, 175 secs
lola: 90382784 markings, 163297736 edges, 497316 markings/sec, 180 secs
lola: 92813529 markings, 167399963 edges, 486149 markings/sec, 185 secs
lola: 95267148 markings, 171541055 edges, 490724 markings/sec, 190 secs
lola: 97638651 markings, 175543447 edges, 474301 markings/sec, 195 secs
lola: 100177364 markings, 179827846 edges, 507743 markings/sec, 200 secs
lola: 102646815 markings, 183994892 edges, 493890 markings/sec, 205 secs
lola: 105101535 markings, 188137774 edges, 490944 markings/sec, 210 secs
lola: 107436511 markings, 192078515 edges, 466995 markings/sec, 215 secs
lola: 108981602 markings, 194686150 edges, 309018 markings/sec, 220 secs
lola: 110030169 markings, 196456004 edges, 209713 markings/sec, 225 secs
lola: 111310323 markings, 198615837 edges, 256031 markings/sec, 230 secs
lola: 112734209 markings, 201019425 edges, 284777 markings/sec, 235 secs
lola: 114548605 markings, 204081062 edges, 362879 markings/sec, 240 secs
lola: 115792902 markings, 206180969 edges, 248859 markings/sec, 245 secs
lola: 117046762 markings, 208297043 edges, 250772 markings/sec, 250 secs
lola: 118804432 markings, 211263307 edges, 351534 markings/sec, 255 secs
lola: 120176966 markings, 213579635 edges, 274507 markings/sec, 260 secs
lola: 121557776 markings, 215910379 edges, 276162 markings/sec, 265 secs
lola: 122954166 markings, 218267074 edges, 279278 markings/sec, 270 secs
lola: 124204094 markings, 220376469 edges, 249986 markings/sec, 275 secs
lola: 125623601 markings, 222771696 edges, 283901 markings/sec, 280 secs
lola: 126721122 markings, 224624428 edges, 219504 markings/sec, 285 secs
lola: 128114103 markings, 226975289 edges, 278596 markings/sec, 290 secs
lola: 129820691 markings, 229854979 edges, 341318 markings/sec, 295 secs
lola: 131023553 markings, 231885330 edges, 240572 markings/sec, 300 secs
lola: 132561139 markings, 234480132 edges, 307517 markings/sec, 305 secs
lola: 133373958 markings, 235851867 edges, 162564 markings/sec, 310 secs
lola: 133374045 markings, 235852020 edges, 17 markings/sec, 315 secs
lola: 133376031 markings, 235855494 edges, 397 markings/sec, 320 secs
lola: 133376069 markings, 235855562 edges, 8 markings/sec, 325 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (X (A (G ((p18 + 1 <= p25)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AG((p18 + 1 <= p25)))
lola: processed formula length: 24
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3618222 markings, 5457807 edges, 723644 markings/sec, 0 secs
lola: 6903033 markings, 10401680 edges, 656962 markings/sec, 5 secs
lola: 10238086 markings, 15418662 edges, 667011 markings/sec, 10 secs
lola: 13478658 markings, 20292015 edges, 648114 markings/sec, 15 secs
lola: 16858172 markings, 25373203 edges, 675903 markings/sec, 20 secs
lola: 20050426 markings, 30172117 edges, 638451 markings/sec, 25 secs
lola: 23318965 markings, 35085177 edges, 653708 markings/sec, 30 secs
lola: 26402369 markings, 39719521 edges, 616681 markings/sec, 35 secs
lola: 29600317 markings, 44525610 edges, 639590 markings/sec, 40 secs
lola: 32645605 markings, 49102117 edges, 609058 markings/sec, 45 secs
lola: 35810542 markings, 53858160 edges, 632987 markings/sec, 50 secs
lola: 38967053 markings, 58601074 edges, 631302 markings/sec, 55 secs
lola: 42235539 markings, 63512162 edges, 653697 markings/sec, 60 secs
lola: 45432625 markings, 68315721 edges, 639417 markings/sec, 65 secs
lola: 48595978 markings, 73068495 edges, 632671 markings/sec, 70 secs
lola: 51769454 markings, 77836172 edges, 634695 markings/sec, 75 secs
lola: 54867941 markings, 82491103 edges, 619697 markings/sec, 80 secs
lola: 57953695 markings, 87126591 edges, 617151 markings/sec, 85 secs
lola: 61010253 markings, 91718456 edges, 611312 markings/sec, 90 secs
lola: 64182921 markings, 96484522 edges, 634534 markings/sec, 95 secs
lola: 67198518 markings, 101014553 edges, 603119 markings/sec, 100 secs
lola: 70126709 markings, 105412933 edges, 585638 markings/sec, 105 secs
lola: 73155576 markings, 109962625 edges, 605773 markings/sec, 110 secs
lola: 76237554 markings, 114591993 edges, 616396 markings/sec, 115 secs
lola: 79291828 markings, 119179545 edges, 610855 markings/sec, 120 secs
lola: 82316854 markings, 123723334 edges, 605005 markings/sec, 125 secs
lola: 85331345 markings, 128250938 edges, 602898 markings/sec, 130 secs
lola: 88332219 markings, 132758236 edges, 600175 markings/sec, 135 secs
lola: 89916978 markings, 135138883 edges, 316952 markings/sec, 140 secs
lola: 92192512 markings, 138556188 edges, 455107 markings/sec, 145 secs
lola: 94785342 markings, 142451112 edges, 518566 markings/sec, 150 secs
lola: 94977450 markings, 142739106 edges, 38422 markings/sec, 155 secs
lola: 97044703 markings, 145843852 edges, 413451 markings/sec, 160 secs
lola: 97363743 markings, 146323063 edges, 63808 markings/sec, 165 secs
lola: 99787602 markings, 149963241 edges, 484772 markings/sec, 170 secs
lola: 100092200 markings, 150420944 edges, 60920 markings/sec, 175 secs
lola: 101783904 markings, 152961863 edges, 338341 markings/sec, 180 secs
lola: 103266801 markings, 155188657 edges, 296579 markings/sec, 185 secs
lola: 104368367 markings, 156843170 edges, 220313 markings/sec, 190 secs
lola: 106049025 markings, 159367155 edges, 336132 markings/sec, 195 secs
lola: 107242890 markings, 161160326 edges, 238773 markings/sec, 200 secs
lola: 109247233 markings, 164170423 edges, 400869 markings/sec, 205 secs
lola: 110259843 markings, 165691056 edges, 202522 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((p4 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (3 <= p4)
lola: processed formula length: 9
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p4 <= 2)
lola: state equation task get result unparse finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (3 <= p4)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-15-1.sara
lola: state equation: write sara problem file to CTLCardinality-15-0.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-15-1.sara.
sara: try reading problem file CTLCardinality-15-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3629288 markings, 5474437 edges, 725858 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7048673 markings, 10620901 edges, 683877 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10361753 markings, 15604717 edges, 662616 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 13734175 markings, 20676068 edges, 674484 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17126672 markings, 25776751 edges, 678499 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 20465507 markings, 30796129 edges, 667767 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 23809152 markings, 35822003 edges, 668729 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27126764 markings, 40808297 edges, 663522 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 30437078 markings, 45783355 edges, 662063 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 33621506 markings, 50568710 edges, 636886 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 36853997 markings, 55426019 edges, 646498 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 40121677 markings, 60335906 edges, 653536 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 43440335 markings, 65322337 edges, 663732 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 46623513 markings, 70104926 edges, 636636 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 49889726 markings, 75012107 edges, 653243 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 53033273 markings, 79734725 edges, 628709 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 56187556 markings, 84473547 edges, 630857 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 59194118 markings, 88990164 edges, 601312 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 62237779 markings, 93562440 edges, 608732 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 65401859 markings, 98315569 edges, 632816 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 68499769 markings, 102969233 edges, 619582 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 71399084 markings, 107324244 edges, 579863 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 74188985 markings, 111514757 edges, 557980 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 76984475 markings, 115713770 edges, 559098 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 80066419 markings, 120343064 edges, 616389 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 83188662 markings, 125032739 edges, 624449 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 86287795 markings, 129687596 edges, 619827 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 89349828 markings, 134286717 edges, 612407 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 92552359 markings, 139096696 edges, 640506 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 95712715 markings, 143843492 edges, 632071 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 98823353 markings, 148515302 edges, 622128 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 101925613 markings, 153174427 edges, 620452 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 104009459 markings, 156304098 edges, 416769 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 105359776 markings, 158332296 edges, 270063 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 106659287 markings, 160283597 edges, 259902 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 108119085 markings, 162476257 edges, 291960 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 109458649 markings, 164488181 edges, 267913 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 110933201 markings, 166702347 edges, 294910 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 112156860 markings, 168540192 edges, 244732 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 113645018 markings, 170775351 edges, 297632 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 115077477 markings, 172926347 edges, 286492 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 117020288 markings, 175843977 edges, 388562 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 118137593 markings, 177522055 edges, 223461 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 119921918 markings, 180201723 edges, 356865 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 121520659 markings, 182602544 edges, 319748 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 123461589 markings, 185517263 edges, 388186 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 124614732 markings, 187249268 edges, 230629 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 126367750 markings, 189881951 edges, 350604 markings/sec, 235 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F ((A (G ((3 <= p18))) AND E (G ((3 <= p3))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG((3 <= p18)) AND EG((3 <= p3))))
lola: processed formula length: 38
lola: 14 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1789088 markings, 6191401 edges, 357818 markings/sec, 0 secs
lola: 3495964 markings, 12127551 edges, 341375 markings/sec, 5 secs
lola: 5156866 markings, 17909322 edges, 332180 markings/sec, 10 secs
lola: 6805710 markings, 23652351 edges, 329769 markings/sec, 15 secs
lola: 8413186 markings, 29253397 edges, 321495 markings/sec, 20 secs
lola: 9985813 markings, 34734630 edges, 314525 markings/sec, 25 secs
lola: 11562753 markings, 40231983 edges, 315388 markings/sec, 30 secs
lola: 13178709 markings, 45866375 edges, 323191 markings/sec, 35 secs
lola: 14778532 markings, 51445210 edges, 319965 markings/sec, 40 secs
lola: 16361017 markings, 56964805 edges, 316497 markings/sec, 45 secs
lola: 17842539 markings, 62131792 edges, 296304 markings/sec, 50 secs
lola: 19325348 markings, 67305101 edges, 296562 markings/sec, 55 secs
lola: 20865593 markings, 72678538 edges, 308049 markings/sec, 60 secs
lola: 22421487 markings, 78106984 edges, 311179 markings/sec, 65 secs
lola: 23993352 markings, 83591309 edges, 314373 markings/sec, 70 secs
lola: 25508302 markings, 88878031 edges, 302990 markings/sec, 75 secs
lola: 27052460 markings, 94266782 edges, 308832 markings/sec, 80 secs
lola: 28557863 markings, 99520309 edges, 301081 markings/sec, 85 secs
lola: 30099035 markings, 104899121 edges, 308234 markings/sec, 90 secs
lola: 31562760 markings, 110007527 edges, 292745 markings/sec, 95 secs
lola: 32960054 markings, 114884416 edges, 279459 markings/sec, 100 secs
lola: 34464663 markings, 120136934 edges, 300922 markings/sec, 105 secs
lola: 35943299 markings, 125298389 edges, 295727 markings/sec, 110 secs
lola: 37413333 markings, 130429574 edges, 294007 markings/sec, 115 secs
lola: 38957051 markings, 135818342 edges, 308744 markings/sec, 120 secs
lola: 40508316 markings, 141234204 edges, 310253 markings/sec, 125 secs
lola: 41938076 markings, 146225802 edges, 285952 markings/sec, 130 secs
lola: 43465245 markings, 151557526 edges, 305434 markings/sec, 135 secs
lola: 44974794 markings, 156827720 edges, 301910 markings/sec, 140 secs
lola: 46468229 markings, 162042300 edges, 298687 markings/sec, 145 secs
lola: 47942218 markings, 167188513 edges, 294798 markings/sec, 150 secs
lola: 49471500 markings, 172528321 edges, 305856 markings/sec, 155 secs
lola: 50981707 markings, 177801597 edges, 302041 markings/sec, 160 secs
lola: 52482678 markings, 183042485 edges, 300194 markings/sec, 165 secs
lola: 53822116 markings, 187719085 edges, 267888 markings/sec, 170 secs
lola: 55319301 markings, 192947571 edges, 299437 markings/sec, 175 secs
lola: 56753416 markings, 197955152 edges, 286823 markings/sec, 180 secs
lola: 58220544 markings, 203078943 edges, 293426 markings/sec, 185 secs
lola: 59645450 markings, 208054938 edges, 284981 markings/sec, 190 secs
lola: 61161362 markings, 213347869 edges, 303182 markings/sec, 195 secs
lola: 62680492 markings, 218653327 edges, 303826 markings/sec, 200 secs
lola: 64127829 markings, 223708410 edges, 289467 markings/sec, 205 secs
lola: 65515182 markings, 228553766 edges, 277471 markings/sec, 210 secs
lola: 66887780 markings, 233346911 edges, 274520 markings/sec, 215 secs
lola: 68300347 markings, 238280680 edges, 282513 markings/sec, 220 secs
lola: 69675724 markings, 243083715 edges, 275075 markings/sec, 225 secs
lola: 70933428 markings, 247476794 edges, 251541 markings/sec, 230 secs
lola: 72359966 markings, 252459029 edges, 285308 markings/sec, 235 secs
lola: 73767600 markings, 257375587 edges, 281527 markings/sec, 240 secs
lola: 75266070 markings, 262609414 edges, 299694 markings/sec, 245 secs
lola: 76729761 markings, 267721759 edges, 292738 markings/sec, 250 secs
lola: 78191266 markings, 272826610 edges, 292301 markings/sec, 255 secs
lola: 79643992 markings, 277900712 edges, 290545 markings/sec, 260 secs
lola: 81072721 markings, 282890809 edges, 285746 markings/sec, 265 secs
lola: 82535592 markings, 288000835 edges, 292574 markings/sec, 270 secs
lola: 83990057 markings, 293081401 edges, 290893 markings/sec, 275 secs
lola: 85410313 markings, 298042202 edges, 284051 markings/sec, 280 secs
lola: 86854966 markings, 303087731 edges, 288931 markings/sec, 285 secs
lola: 88287302 markings, 308091000 edges, 286467 markings/sec, 290 secs
lola: 89685547 markings, 312977700 edges, 279649 markings/sec, 295 secs
lola: 91128964 markings, 318022043 edges, 288683 markings/sec, 300 secs
lola: 92537394 markings, 322939246 edges, 281686 markings/sec, 305 secs
lola: 93168813 markings, 325143648 edges, 126284 markings/sec, 310 secs
lola: 94336737 markings, 329223537 edges, 233585 markings/sec, 315 secs
lola: 94939578 markings, 331329661 edges, 120568 markings/sec, 320 secs
lola: 96054945 markings, 335225920 edges, 223073 markings/sec, 325 secs
lola: 96934996 markings, 338300130 edges, 176010 markings/sec, 330 secs
lola: 97748531 markings, 341142251 edges, 162707 markings/sec, 335 secs
lola: 98915784 markings, 345218725 edges, 233451 markings/sec, 340 secs
lola: 100023726 markings, 349090460 edges, 221588 markings/sec, 345 secs
lola: 100443921 markings, 350557995 edges, 84039 markings/sec, 350 secs
lola: 101724779 markings, 355032751 edges, 256172 markings/sec, 355 secs
lola: 102371595 markings, 357292512 edges, 129363 markings/sec, 360 secs
lola: 102565032 markings, 357967329 edges, 38687 markings/sec, 365 secs
lola: 103841176 markings, 362426361 edges, 255229 markings/sec, 370 secs
lola: 103841176 markings, 362426361 edges, 0 markings/sec, 375 secs
lola: 104198940 markings, 363675482 edges, 71553 markings/sec, 380 secs
lola: 105322492 markings, 367600665 edges, 224710 markings/sec, 385 secs
lola: 105322492 markings, 367600665 edges, 0 markings/sec, 390 secs
lola: 105972110 markings, 369870162 edges, 129924 markings/sec, 395 secs
lola: 106688371 markings, 372372173 edges, 143252 markings/sec, 400 secs
lola: 106794872 markings, 372744718 edges, 21300 markings/sec, 405 secs
lola: 108102002 markings, 377310828 edges, 261426 markings/sec, 410 secs
lola: 108102002 markings, 377310828 edges, 0 markings/sec, 415 secs
lola: 108745524 markings, 379559275 edges, 128704 markings/sec, 420 secs
lola: 109539649 markings, 382334370 edges, 158825 markings/sec, 425 secs
lola: 109539649 markings, 382334370 edges, 0 markings/sec, 430 secs
lola: 110318855 markings, 385055814 edges, 155841 markings/sec, 435 secs
lola: 110872027 markings, 386988979 edges, 110634 markings/sec, 440 secs
lola: 110948352 markings, 387254538 edges, 15265 markings/sec, 445 secs
lola: 110959934 markings, 387296109 edges, 2316 markings/sec, 450 secs
lola: 110960454 markings, 387297721 edges, 104 markings/sec, 455 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((p2 <= p19)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p19 + 1 <= p2)
lola: processed formula length: 15
lola: 15 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p2 <= p19)
lola: state equation task get result unparse finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p19 + 1 <= p2)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-17-0.sara
lola: state equation: write sara problem file to CTLCardinality-17-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-17-0.sara.
sara: try reading problem file CTLCardinality-17-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic

lola: state equation 0: solution produced

lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3634867 markings, 5482831 edges, 726973 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7218381 markings, 10876185 edges, 716703 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10694763 markings, 16105480 edges, 695276 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 14230514 markings, 21422551 edges, 707150 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17709873 markings, 26653710 edges, 695872 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 21103283 markings, 31754832 edges, 678682 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 24517217 markings, 36886356 edges, 682787 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27847297 markings, 41891045 edges, 666016 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 31196487 markings, 46924421 edges, 669838 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 34450013 markings, 51813788 edges, 650705 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 37673883 markings, 56657912 edges, 644774 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 41078395 markings, 61773476 edges, 680902 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 44402445 markings, 66768010 edges, 664810 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 47633947 markings, 71622987 edges, 646300 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 50936736 markings, 76585238 edges, 660558 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 54178482 markings, 81455304 edges, 648349 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 57370739 markings, 86251061 edges, 638451 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 60571466 markings, 91059340 edges, 640145 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 63861633 markings, 96001860 edges, 658033 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 67006137 markings, 100725421 edges, 628901 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 70174588 markings, 105484771 edges, 633690 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 73299847 markings, 110179167 edges, 625052 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 76493737 markings, 114976700 edges, 638778 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 79661742 markings, 119735322 edges, 633601 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 82788193 markings, 124431205 edges, 625290 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 85912348 markings, 129123788 edges, 624831 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 89033439 markings, 133811534 edges, 624218 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 92405265 markings, 138876045 edges, 674365 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 95744033 markings, 143890472 edges, 667754 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 99034768 markings, 148832952 edges, 658147 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 102299829 markings, 153736507 edges, 653012 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 105509984 markings, 158557703 edges, 642031 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 108540411 markings, 163108771 edges, 606085 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 109353564 markings, 164330317 edges, 162631 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 110850091 markings, 166577707 edges, 299305 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 113956324 markings, 171242649 edges, 621247 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 116573101 markings, 175172459 edges, 523355 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 118959214 markings, 178755950 edges, 477223 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 119800989 markings, 180020125 edges, 168355 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 121331519 markings, 182318622 edges, 306106 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 122753076 markings, 184453329 edges, 284311 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 124547336 markings, 187148124 edges, 358852 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 126156287 markings, 189564092 edges, 321790 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 127425153 markings, 191469675 edges, 253773 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 129258953 markings, 194223682 edges, 366760 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 131134575 markings, 197040482 edges, 375124 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 132810477 markings, 199557030 edges, 335180 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 132968161 markings, 199793958 edges, 31537 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 132982256 markings, 199815098 edges, 2819 markings/sec, 240 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (A (((3 <= p22) U (p22 <= p10)))))
lola: ========================================
lola: SUBTASK
lola: checking a universal CTL formula with single counterexample path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((3 <= p22) U (p22 <= p10)))
lola: processed formula length: 31
lola: 13 rewrites
lola: closed formula file CTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 2444725 markings, 4888483 edges, 488945 markings/sec, 0 secs
lola: 4931852 markings, 9863062 edges, 497425 markings/sec, 5 secs
lola: 7261320 markings, 14522096 edges, 465894 markings/sec, 10 secs
lola: 9520737 markings, 19041028 edges, 451883 markings/sec, 15 secs
lola: 11802475 markings, 23604603 edges, 456348 markings/sec, 20 secs
lola: 14093605 markings, 28186961 edges, 458226 markings/sec, 25 secs
lola: 16367650 markings, 32735151 edges, 454809 markings/sec, 30 secs
lola: 18657174 markings, 37314299 edges, 457905 markings/sec, 35 secs
lola: 20880233 markings, 41760511 edges, 444612 markings/sec, 40 secs
lola: 23155538 markings, 46311219 edges, 455061 markings/sec, 45 secs
lola: 25521934 markings, 51044112 edges, 473279 markings/sec, 50 secs
lola: 27857839 markings, 55716024 edges, 467181 markings/sec, 55 secs
lola: 30180274 markings, 60360995 edges, 464487 markings/sec, 60 secs
lola: 32476331 markings, 64953210 edges, 459211 markings/sec, 65 secs
lola: 34846765 markings, 69572926 edges, 474087 markings/sec, 70 secs
lola: 37865788 markings, 74667594 edges, 603805 markings/sec, 75 secs
lola: 40743761 markings, 79524894 edges, 575595 markings/sec, 80 secs
lola: 43521944 markings, 84213042 edges, 555637 markings/sec, 85 secs
lola: 46268325 markings, 88848092 edges, 549276 markings/sec, 90 secs
lola: 48753313 markings, 93042304 edges, 496998 markings/sec, 95 secs
lola: 51384715 markings, 97482629 edges, 526280 markings/sec, 100 secs
lola: 53843012 markings, 101631322 edges, 491659 markings/sec, 105 secs
lola: 56390403 markings, 105930890 edges, 509478 markings/sec, 110 secs
lola: 58999828 markings, 110334465 edges, 521885 markings/sec, 115 secs
lola: 61596215 markings, 114716539 edges, 519277 markings/sec, 120 secs
lola: 64151110 markings, 119028144 edges, 510979 markings/sec, 125 secs
lola: 66657852 markings, 123258596 edges, 501348 markings/sec, 130 secs
lola: 69203698 markings, 127554753 edges, 509169 markings/sec, 135 secs
lola: 71653499 markings, 131689573 edges, 489960 markings/sec, 140 secs
lola: 73968557 markings, 135596524 edges, 463012 markings/sec, 145 secs
lola: 76136673 markings, 139255710 edges, 433623 markings/sec, 150 secs
lola: 78406053 markings, 143085503 edges, 453876 markings/sec, 155 secs
lola: 80923715 markings, 147334340 edges, 503532 markings/sec, 160 secs
lola: 83391565 markings, 151499092 edges, 493570 markings/sec, 165 secs
lola: 85788285 markings, 155543872 edges, 479344 markings/sec, 170 secs
lola: 88198763 markings, 159612291 edges, 482096 markings/sec, 175 secs
lola: 90634327 markings, 163722613 edges, 487113 markings/sec, 180 secs
lola: 93025504 markings, 167757765 edges, 478235 markings/sec, 185 secs
lola: 95345840 markings, 171674051 edges, 464067 markings/sec, 190 secs
lola: 97663821 markings, 175585758 edges, 463596 markings/sec, 195 secs
lola: 99998097 markings, 179525217 edges, 466855 markings/sec, 200 secs
lola: 102337419 markings, 183472879 edges, 467864 markings/sec, 205 secs
lola: 104615744 markings, 187317904 edges, 455665 markings/sec, 210 secs
lola: 106914167 markings, 191197120 edges, 459685 markings/sec, 215 secs
lola: 109112608 markings, 194907841 edges, 439688 markings/sec, 220 secs
lola: 109867460 markings, 196181339 edges, 150970 markings/sec, 225 secs
lola: 111133311 markings, 198317560 edges, 253170 markings/sec, 230 secs
lola: 112568556 markings, 200739846 edges, 287049 markings/sec, 235 secs
lola: 113361295 markings, 202077336 edges, 158548 markings/sec, 240 secs
lola: 114922843 markings, 204712995 edges, 312310 markings/sec, 245 secs
lola: 115803696 markings, 206199577 edges, 176171 markings/sec, 250 secs
lola: 117322423 markings, 208762664 edges, 303745 markings/sec, 255 secs
lola: 118803273 markings, 211261423 edges, 296170 markings/sec, 260 secs
lola: 120201876 markings, 213621836 edges, 279721 markings/sec, 265 secs
lola: 121818473 markings, 216349998 edges, 323319 markings/sec, 270 secs
lola: 123004231 markings, 218351010 edges, 237152 markings/sec, 275 secs
lola: 123663307 markings, 219463528 edges, 131815 markings/sec, 280 secs
lola: 125405445 markings, 222403723 edges, 348428 markings/sec, 285 secs
lola: 125798016 markings, 223066460 edges, 78514 markings/sec, 290 secs
lola: 127252131 markings, 225520495 edges, 290823 markings/sec, 295 secs
lola: 128205537 markings, 227128999 edges, 190681 markings/sec, 300 secs
lola: 130219191 markings, 230527686 edges, 402731 markings/sec, 305 secs
lola: 130402690 markings, 230837312 edges, 36700 markings/sec, 310 secs
lola: 131115212 markings, 232039533 edges, 142504 markings/sec, 315 secs
lola: 132636960 markings, 234608094 edges, 304350 markings/sec, 320 secs
lola: 132636960 markings, 234608094 edges, 0 markings/sec, 325 secs
lola: 133364413 markings, 235835490 edges, 145491 markings/sec, 330 secs
lola: 133364452 markings, 235835554 edges, 8 markings/sec, 335 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes yes yes no no no yes unknown yes unknown unknown unknown yes unknown
lola:
preliminary result: yes yes yes no no no yes unknown yes unknown unknown unknown yes unknown
lola: memory consumption: 3524 KB
lola: time consumption: 3281 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
rslt: finished

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudOpsManagement-PT-02560by01280"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is CloudOpsManagement-PT-02560by01280, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-smll-158987806700443"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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