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-158987806800468.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-20480by10240, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806800468
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:11 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.0K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K 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 17K 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-20480by10240-CTLFireability-00
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-01
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-02
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-03
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-04
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-05
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-06
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-07
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-08
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-09
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-10
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-11
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-12
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-13
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-14
FORMULA_NAME CloudOpsManagement-PT-20480by10240-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591383001007

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

FORMULA CloudOpsManagement-PT-20480by10240-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-CTLFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-CTLFireability-01 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-CTLFireability-02 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudOpsManagement-PT-20480by10240-CTLFireability-06 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ CloudOpsManagement-PT-20480by10240

{
"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=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 18:50:08 2020
",
"timelimit": 3570
},
"child":
[

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((1 <= p7) OR ((1 <= p1) AND (1 <= p2)))",
"processed_size": 40,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 345
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"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": 3,
"visible_transitions": 0
},
"processed": "EX(AG(((1 <= p22) AND (1 <= p1) AND (1 <= p2))))",
"processed_size": 48,
"rewrites": 49
},
"net":
{
"conflict_clusters": 11,
"singleton_clusters": 0
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 6,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 345
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"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": "((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7))",
"processed_size": 54,
"rewrites": 47
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 414
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 3,
"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": 3,
"visible_transitions": 0
},
"processed": "EX(((1 <= p18) AND (1 <= p3) AND (1 <= p4)))",
"processed_size": 44,
"rewrites": 48
},
"net":
{
"conflict_clusters": 11,
"singleton_clusters": 0
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 7,
"type": "boolean"
}
},

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 582
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "(((1 <= p8) AND (1 <= p9) AND (1 <= p12)) OR ((1 <= p7) AND (1 <= p3)))",
"processed_size": 71,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

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

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

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1165
},
"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": "(1 <= p3)",
"processed_size": 9,
"rewrites": 47
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"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": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "E (F ((p14 <= 0)))",
"processed_size": 18,
"rewrites": 48
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "reachability",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (((1 <= p0) AND (1 <= p26))))",
"processed_size": 34,
"rewrites": 49
},
"result":
{
"edges": 10240,
"markings": 10241,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 752,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "(A(G(*)) OR (E(F(*)) OR (** OR **))) : E(X(E(F(A(G(**)))))) : E((A(F(**)) U (A(G(**)) AND E(X(**))))) : (E(F(*)) AND (E(F(*)) AND (** AND (** OR A(G(**)))))) : E(F(A((* R *)))) : E(F((* AND A(G(*))))) : A(G((A(X(**)) OR **))) : A(G(E(F(**)))) : A(G(E(X(**)))) : A(F(A(X(A(G(**)))))) : E(F((A(G(**)) AND E(X(**))))) : (E(X(A(G(**)))) OR (** OR **)) : (E(X(*)) OR (** AND E(X(*))))"
},
"net":
{
"arcs": 94,
"conflict_clusters": 11,
"places": 27,
"places_significant": 16,
"singleton_clusters": 0,
"transitions": 29
},
"result":
{
"interim_value": "unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown no no ",
"preliminary_value": "unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 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 CTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p23)
lola: LP says that atomic proposition is always true: (1 <= p16)
lola: LP says that atomic proposition is always true: (1 <= p23)
lola: LP says that atomic proposition is always true: (1 <= p16)
lola: (((NOT(E (F (((1 <= p18) OR ((1 <= p21)))))) OR NOT(A (G ((((1 <= p8) AND (1 <= p9)) OR ((1 <= p10) AND (1 <= p25))))))) OR ((1 <= p8) AND (1 <= p9) AND (1 <= p12))) OR ((1 <= p7) AND (1 <= p3))) : E (X (E (F (A (G (((1 <= p3) AND (1 <= p4)))))))) : E ((A (F ((p22 <= 0))) U (A (G ((1 <= p3))) AND E (X ((1 <= p14)))))) : (((NOT(A (G ((1 <= p14)))) AND NOT(A (G (((1 <= p13)))))) AND ((p21 <= 0) OR (p13 <= 0) OR (p5 <= 0) OR (p7 <= 0) OR (p26 <= 0) OR ((p24 <= 0) AND ((p6 <= 0) OR (p26 <= 0))))) AND ((1 <= p3) OR A (G (((1 <= p0) AND (1 <= p26)))))) : NOT(A (G (E ((((1 <= p6) AND (1 <= p26)) U (1 <= p15)))))) : NOT(A (G ((((p22 <= 0)) OR E (F ((1 <= p11))))))) : A (G ((A (X ((p22 <= 0))) OR ((1 <= p0) AND (1 <= p26))))) : NOT(E (F (NOT(E (F ((1 <= p18))))))) : A (G (E (X (((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0)))))) : A (F (A (G (A (X (((1 <= p6) AND (1 <= p26)))))))) : E (F ((A (G (((p10 <= 0) OR (p25 <= 0)))) AND E (X (((1 <= p0) AND (1 <= p26))))))) : ((E (X (A (G (((1 <= p22) AND (1 <= p1) AND (1 <= p2)))))) OR (1 <= p7)) OR ((1 <= p1) AND (1 <= p2))) : (NOT(A (X (((p18 <= 0) OR (p3 <= 0) OR (p4 <= 0))))) OR (((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7)) AND NOT(A (X (((p5 <= 0) OR (p7 <= 0) OR (p26 <= 0)))))))
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: 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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (((1 <= p3) AND (1 <= p4))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG(((1 <= p3) AND (1 <= p4)))))
lola: processed formula length: 37
lola: 50 rewrites
lola: closed formula file CTLFireability.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 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2296261 markings, 5758504 edges, 459252 markings/sec, 0 secs
lola: 4595732 markings, 11520605 edges, 459894 markings/sec, 5 secs
lola: 6901028 markings, 17295230 edges, 461059 markings/sec, 10 secs
lola: 9130262 markings, 22878081 edges, 445847 markings/sec, 15 secs
lola: 11197086 markings, 28053465 edges, 413365 markings/sec, 20 secs
lola: 13439845 markings, 33668847 edges, 448552 markings/sec, 25 secs
lola: 15618015 markings, 39122140 edges, 435634 markings/sec, 30 secs
lola: 17694788 markings, 44321168 edges, 415355 markings/sec, 35 secs
lola: 19849685 markings, 49715456 edges, 430979 markings/sec, 40 secs
lola: 21798631 markings, 54594106 edges, 389789 markings/sec, 45 secs
lola: 23815013 markings, 59641410 edges, 403276 markings/sec, 50 secs
lola: 25857332 markings, 64753356 edges, 408464 markings/sec, 55 secs
lola: 27942248 markings, 69971603 edges, 416983 markings/sec, 60 secs
lola: 30021523 markings, 75175820 edges, 415855 markings/sec, 65 secs
lola: 32057473 markings, 80271414 edges, 407190 markings/sec, 70 secs
lola: 34072070 markings, 85313288 edges, 402919 markings/sec, 75 secs
lola: 36115944 markings, 90428458 edges, 408775 markings/sec, 80 secs
lola: 38027166 markings, 95211512 edges, 382244 markings/sec, 85 secs
lola: 40062328 markings, 100304782 edges, 407032 markings/sec, 90 secs
lola: 42073146 markings, 105336692 edges, 402164 markings/sec, 95 secs
lola: 44161959 markings, 110564119 edges, 417763 markings/sec, 100 secs
lola: 46185047 markings, 115626767 edges, 404618 markings/sec, 105 secs
lola: 48225151 markings, 120732038 edges, 408021 markings/sec, 110 secs
lola: 50196553 markings, 125665251 edges, 394280 markings/sec, 115 secs
lola: 52214681 markings, 130715247 edges, 403626 markings/sec, 120 secs
lola: 54062359 markings, 135338732 edges, 369536 markings/sec, 125 secs
lola: 56054088 markings, 140322600 edges, 398346 markings/sec, 130 secs
lola: 58028080 markings, 145261980 edges, 394798 markings/sec, 135 secs
lola: 59991557 markings, 150175232 edges, 392695 markings/sec, 140 secs
lola: 62105826 markings, 155465696 edges, 422854 markings/sec, 145 secs
lola: 64129459 markings, 160529038 edges, 404727 markings/sec, 150 secs
lola: 66150675 markings, 165586384 edges, 404243 markings/sec, 155 secs
lola: 68153048 markings, 170596793 edges, 400475 markings/sec, 160 secs
lola: 70095905 markings, 175457989 edges, 388571 markings/sec, 165 secs
lola: 72072951 markings, 180404868 edges, 395409 markings/sec, 170 secs
lola: 74023982 markings, 185286476 edges, 390206 markings/sec, 175 secs
lola: 76037259 markings, 190323846 edges, 402655 markings/sec, 180 secs
lola: 78027028 markings, 195302289 edges, 397954 markings/sec, 185 secs
lola: 79990282 markings, 200214553 edges, 392651 markings/sec, 190 secs
lola: 81921539 markings, 205046535 edges, 386251 markings/sec, 195 secs
lola: 83911834 markings, 210026385 edges, 398059 markings/sec, 200 secs
lola: 85739344 markings, 214598655 edges, 365502 markings/sec, 205 secs
lola: 87574558 markings, 219190504 edges, 367043 markings/sec, 210 secs
lola: 89119551 markings, 223056643 edges, 308999 markings/sec, 215 secs
lola: 89997366 markings, 225252477 edges, 175563 markings/sec, 220 secs
lola: 91343688 markings, 228620742 edges, 269264 markings/sec, 225 secs
lola: 92356723 markings, 231155122 edges, 202607 markings/sec, 230 secs
lola: 93156953 markings, 233157081 edges, 160046 markings/sec, 235 secs
lola: 95025501 markings, 237832238 edges, 373710 markings/sec, 240 secs
lola: 95441408 markings, 238872814 edges, 83181 markings/sec, 245 secs
lola: 97004432 markings, 242783230 edges, 312605 markings/sec, 250 secs
lola: 98299858 markings, 246024445 edges, 259085 markings/sec, 255 secs
lola: 99528917 markings, 249099560 edges, 245812 markings/sec, 260 secs
lola: 100545010 markings, 251641592 edges, 203219 markings/sec, 265 secs
lola: 101955719 markings, 255170822 edges, 282142 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (F ((p22 <= 0))) U (A (G ((1 <= p3))) AND E (X ((1 <= p14))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AF((p22 <= 0)) U (AG((1 <= p3)) AND EX((1 <= p14))))
lola: processed formula length: 54
lola: 51 rewrites
lola: closed formula file CTLFireability.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: 1683444 markings, 5905594 edges, 336689 markings/sec, 0 secs
lola: 3380559 markings, 11856529 edges, 339423 markings/sec, 5 secs
lola: 5087013 markings, 17838359 edges, 341291 markings/sec, 10 secs
lola: 6795616 markings, 23826815 edges, 341721 markings/sec, 15 secs
lola: 8459841 markings, 29658984 edges, 332845 markings/sec, 20 secs
lola: 10073182 markings, 35312442 edges, 322668 markings/sec, 25 secs
lola: 11700635 markings, 41014985 edges, 325491 markings/sec, 30 secs
lola: 13353084 markings, 46804814 edges, 330490 markings/sec, 35 secs
lola: 14964165 markings, 52449377 edges, 322216 markings/sec, 40 secs
lola: 16555102 markings, 58023185 edges, 318187 markings/sec, 45 secs
lola: 18162245 markings, 63653653 edges, 321429 markings/sec, 50 secs
lola: 19735195 markings, 69164165 edges, 314590 markings/sec, 55 secs
lola: 21293777 markings, 74624190 edges, 311716 markings/sec, 60 secs
lola: 22774579 markings, 79811748 edges, 296160 markings/sec, 65 secs
lola: 24378962 markings, 85431807 edges, 320877 markings/sec, 70 secs
lola: 25948854 markings, 90931135 edges, 313978 markings/sec, 75 secs
lola: 27497149 markings, 96354887 edges, 309659 markings/sec, 80 secs
lola: 29008911 markings, 101650198 edges, 302352 markings/sec, 85 secs
lola: 30563106 markings, 107094375 edges, 310839 markings/sec, 90 secs
lola: 32028245 markings, 112226487 edges, 293028 markings/sec, 95 secs
lola: 33544614 markings, 117537727 edges, 303274 markings/sec, 100 secs
lola: 35073570 markings, 122893279 edges, 305791 markings/sec, 105 secs
lola: 36575367 markings, 128153405 edges, 300359 markings/sec, 110 secs
lola: 38045937 markings, 133304241 edges, 294114 markings/sec, 115 secs
lola: 39653533 markings, 138935120 edges, 321519 markings/sec, 120 secs
lola: 41144216 markings, 144156347 edges, 298137 markings/sec, 125 secs
lola: 42698681 markings, 149600885 edges, 310893 markings/sec, 130 secs
lola: 44264139 markings, 155083851 edges, 313092 markings/sec, 135 secs
lola: 45777727 markings, 160385360 edges, 302718 markings/sec, 140 secs
lola: 47285487 markings, 165665842 edges, 301552 markings/sec, 145 secs
lola: 48812199 markings, 171013271 edges, 305342 markings/sec, 150 secs
lola: 50248433 markings, 176043381 edges, 287247 markings/sec, 155 secs
lola: 51774849 markings, 181389445 edges, 305283 markings/sec, 160 secs
lola: 53280806 markings, 186663941 edges, 301191 markings/sec, 165 secs
lola: 54775396 markings, 191898482 edges, 298918 markings/sec, 170 secs
lola: 56255756 markings, 197083171 edges, 296072 markings/sec, 175 secs
lola: 57720529 markings, 202213066 edges, 292955 markings/sec, 180 secs
lola: 59187991 markings, 207352386 edges, 293492 markings/sec, 185 secs
lola: 60703157 markings, 212658884 edges, 303033 markings/sec, 190 secs
lola: 62260507 markings, 218113172 edges, 311470 markings/sec, 195 secs
lola: 63763028 markings, 223375360 edges, 300504 markings/sec, 200 secs
lola: 65213123 markings, 228453774 edges, 290019 markings/sec, 205 secs
lola: 66639218 markings, 233448203 edges, 285219 markings/sec, 210 secs
lola: 68138753 markings, 238699876 edges, 299907 markings/sec, 215 secs
lola: 69600444 markings, 243818726 edges, 292338 markings/sec, 220 secs
lola: 71042815 markings, 248870078 edges, 288474 markings/sec, 225 secs
lola: 72507335 markings, 253999038 edges, 292904 markings/sec, 230 secs
lola: 73942450 markings, 259024982 edges, 287023 markings/sec, 235 secs
lola: 75341067 markings, 263923220 edges, 279723 markings/sec, 240 secs
lola: 76837326 markings, 269163185 edges, 299252 markings/sec, 245 secs
lola: 78307950 markings, 274313314 edges, 294125 markings/sec, 250 secs
lola: 79759522 markings, 279396775 edges, 290314 markings/sec, 255 secs
lola: 81176453 markings, 284358982 edges, 283386 markings/sec, 260 secs
lola: 82653760 markings, 289532435 edges, 295461 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((A (X ((p22 <= 0))) OR ((1 <= p0) AND (1 <= p26)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((AX((p22 <= 0)) OR ((1 <= p0) AND (1 <= p26))))
lola: processed formula length: 50
lola: 49 rewrites
lola: closed formula file CTLFireability.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: 1317004 markings, 1986184 edges, 263401 markings/sec, 0 secs
lola: 2713581 markings, 4090964 edges, 279315 markings/sec, 5 secs
lola: 4100334 markings, 6179151 edges, 277351 markings/sec, 10 secs
lola: 5436550 markings, 8190438 edges, 267243 markings/sec, 15 secs
lola: 6820214 markings, 10272527 edges, 276733 markings/sec, 20 secs
lola: 8193458 markings, 12338640 edges, 274649 markings/sec, 25 secs
lola: 9557321 markings, 14390193 edges, 272773 markings/sec, 30 secs
lola: 10915964 markings, 16433570 edges, 271729 markings/sec, 35 secs
lola: 12297886 markings, 18511877 edges, 276384 markings/sec, 40 secs
lola: 13677595 markings, 20586558 edges, 275942 markings/sec, 45 secs
lola: 15043764 markings, 22640864 edges, 273234 markings/sec, 50 secs
lola: 16401960 markings, 24682815 edges, 271639 markings/sec, 55 secs
lola: 17770081 markings, 26739704 edges, 273624 markings/sec, 60 secs
lola: 19115705 markings, 28762508 edges, 269125 markings/sec, 65 secs
lola: 20451015 markings, 30769667 edges, 267062 markings/sec, 70 secs
lola: 21782763 markings, 32771686 edges, 266350 markings/sec, 75 secs
lola: 23135758 markings, 34805345 edges, 270599 markings/sec, 80 secs
lola: 24379437 markings, 36674689 edges, 248736 markings/sec, 85 secs
lola: 25728886 markings, 38702822 edges, 269890 markings/sec, 90 secs
lola: 26990914 markings, 40599716 edges, 252406 markings/sec, 95 secs
lola: 28325595 markings, 42605487 edges, 266936 markings/sec, 100 secs
lola: 29669803 markings, 44625732 edges, 268842 markings/sec, 105 secs
lola: 31007210 markings, 46635590 edges, 267481 markings/sec, 110 secs
lola: 32279060 markings, 48546904 edges, 254370 markings/sec, 115 secs
lola: 33610313 markings, 50547305 edges, 266251 markings/sec, 120 secs
lola: 34943520 markings, 52550719 edges, 266641 markings/sec, 125 secs
lola: 36270648 markings, 54544856 edges, 265426 markings/sec, 130 secs
lola: 37599998 markings, 56542518 edges, 265870 markings/sec, 135 secs
lola: 38949549 markings, 58570285 edges, 269910 markings/sec, 140 secs
lola: 40311331 markings, 60616643 edges, 272356 markings/sec, 145 secs
lola: 41657108 markings, 62638522 edges, 269155 markings/sec, 150 secs
lola: 42995623 markings, 64649588 edges, 267703 markings/sec, 155 secs
lola: 44341926 markings, 66672402 edges, 269261 markings/sec, 160 secs
lola: 45670542 markings, 68668724 edges, 265723 markings/sec, 165 secs
lola: 47004981 markings, 70673580 edges, 266888 markings/sec, 170 secs
lola: 48334065 markings, 72670428 edges, 265817 markings/sec, 175 secs
lola: 49677013 markings, 74688142 edges, 268590 markings/sec, 180 secs
lola: 51010789 markings, 76691961 edges, 266755 markings/sec, 185 secs
lola: 52332726 markings, 78677926 edges, 264387 markings/sec, 190 secs
lola: 53654967 markings, 80664291 edges, 264448 markings/sec, 195 secs
lola: 54978625 markings, 82652950 edges, 264732 markings/sec, 200 secs
lola: 56297708 markings, 84634648 edges, 263817 markings/sec, 205 secs
lola: 57601416 markings, 86593049 edges, 260742 markings/sec, 210 secs
lola: 58921212 markings, 88575752 edges, 263959 markings/sec, 215 secs
lola: 60233223 markings, 90546683 edges, 262402 markings/sec, 220 secs
lola: 61571939 markings, 92557632 edges, 267743 markings/sec, 225 secs
lola: 62842498 markings, 94466732 edges, 254112 markings/sec, 230 secs
lola: 63473945 markings, 95415010 edges, 126289 markings/sec, 235 secs
lola: 64623976 markings, 97142984 edges, 230006 markings/sec, 240 secs
lola: 65173532 markings, 97968114 edges, 109911 markings/sec, 245 secs
lola: 66057029 markings, 99295300 edges, 176699 markings/sec, 250 secs
lola: 66471950 markings, 99918426 edges, 82984 markings/sec, 255 secs
lola: 67396140 markings, 101306754 edges, 184838 markings/sec, 260 secs
lola: 68048220 markings, 102286266 edges, 130416 markings/sec, 265 secs
lola: 68788466 markings, 103398162 edges, 148049 markings/sec, 270 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X (((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0))))))
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(((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0))))
lola: processed formula length: 48
lola: 49 rewrites
lola: closed formula file CTLFireability.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: 3040897 markings, 4583902 edges, 608179 markings/sec, 0 secs
lola: 5819273 markings, 8766455 edges, 555675 markings/sec, 5 secs
lola: 8735233 markings, 13153589 edges, 583192 markings/sec, 10 secs
lola: 11598636 markings, 17460304 edges, 572681 markings/sec, 15 secs
lola: 14495443 markings, 21816308 edges, 579361 markings/sec, 20 secs
lola: 17334614 markings, 26084919 edges, 567834 markings/sec, 25 secs
lola: 20146132 markings, 30311525 edges, 562304 markings/sec, 30 secs
lola: 22949624 markings, 34525620 edges, 560698 markings/sec, 35 secs
lola: 25757015 markings, 38744982 edges, 561478 markings/sec, 40 secs
lola: 28521555 markings, 42900006 edges, 552908 markings/sec, 45 secs
lola: 31265706 markings, 47024045 edges, 548830 markings/sec, 50 secs
lola: 33883553 markings, 50957960 edges, 523569 markings/sec, 55 secs
lola: 36582167 markings, 55012894 edges, 539723 markings/sec, 60 secs
lola: 39249429 markings, 59020711 edges, 533452 markings/sec, 65 secs
lola: 42035618 markings, 63207192 edges, 557238 markings/sec, 70 secs
lola: 44677880 markings, 67177286 edges, 528452 markings/sec, 75 secs
lola: 47405139 markings, 71274873 edges, 545452 markings/sec, 80 secs
lola: 49933250 markings, 75073032 edges, 505622 markings/sec, 85 secs
lola: 52623525 markings, 79114650 edges, 538055 markings/sec, 90 secs
lola: 55141806 markings, 82897969 edges, 503656 markings/sec, 95 secs
lola: 57782947 markings, 86865864 edges, 528228 markings/sec, 100 secs
lola: 60225470 markings, 90535182 edges, 488505 markings/sec, 105 secs
lola: 62831601 markings, 94451090 edges, 521226 markings/sec, 110 secs
lola: 63707174 markings, 95766047 edges, 175115 markings/sec, 115 secs
lola: 64797510 markings, 97403264 edges, 218067 markings/sec, 120 secs
lola: 65906238 markings, 99068792 edges, 221746 markings/sec, 125 secs
lola: 67731073 markings, 101809895 edges, 364967 markings/sec, 130 secs
lola: 68461807 markings, 102907602 edges, 146147 markings/sec, 135 secs
lola: 69180724 markings, 103987479 edges, 143783 markings/sec, 140 secs
lola: 70750153 markings, 106344913 edges, 313886 markings/sec, 145 secs
lola: 70837338 markings, 106475886 edges, 17437 markings/sec, 150 secs
lola: 71994581 markings, 108214122 edges, 231449 markings/sec, 155 secs
lola: 73723265 markings, 110810749 edges, 345737 markings/sec, 160 secs
lola: 75329103 markings, 113222996 edges, 321168 markings/sec, 165 secs
lola: 76378103 markings, 114798635 edges, 209800 markings/sec, 170 secs
lola: 77052354 markings, 115811311 edges, 134850 markings/sec, 175 secs
lola: 77460861 markings, 116424810 edges, 81701 markings/sec, 180 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 282 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (X (A (G (((1 <= p6) AND (1 <= p26))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF(AX(AG(((1 <= p6) AND (1 <= p26)))))
lola: processed formula length: 38
lola: 50 rewrites
lola: closed formula file CTLFireability.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 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3399072 markings, 5123261 edges, 679814 markings/sec, 0 secs
lola: 6800187 markings, 10242423 edges, 680223 markings/sec, 5 secs
lola: 9967101 markings, 15006488 edges, 633383 markings/sec, 10 secs
lola: 13269352 markings, 19972658 edges, 660450 markings/sec, 15 secs
lola: 16502716 markings, 24834241 edges, 646673 markings/sec, 20 secs
lola: 19708191 markings, 29653099 edges, 641095 markings/sec, 25 secs
lola: 22883672 markings, 34426339 edges, 635096 markings/sec, 30 secs
lola: 26076511 markings, 39225364 edges, 638568 markings/sec, 35 secs
lola: 29191360 markings, 43906769 edges, 622970 markings/sec, 40 secs
lola: 32305142 markings, 48586052 edges, 622756 markings/sec, 45 secs
lola: 35373314 markings, 53196528 edges, 613634 markings/sec, 50 secs
lola: 38469723 markings, 57849288 edges, 619282 markings/sec, 55 secs
lola: 41648813 markings, 62626117 edges, 635818 markings/sec, 60 secs
lola: 44779648 markings, 67330229 edges, 626167 markings/sec, 65 secs
lola: 47838353 markings, 71925768 edges, 611741 markings/sec, 70 secs
lola: 50784359 markings, 76351567 edges, 589201 markings/sec, 75 secs
lola: 53860467 markings, 80972972 edges, 615222 markings/sec, 80 secs
lola: 56890111 markings, 85524480 edges, 605929 markings/sec, 85 secs
lola: 59901480 markings, 90048262 edges, 602274 markings/sec, 90 secs
lola: 63051606 markings, 94780587 edges, 630025 markings/sec, 95 secs
lola: 66125157 markings, 99397506 edges, 614710 markings/sec, 100 secs
lola: 69169745 markings, 103970862 edges, 608918 markings/sec, 105 secs
lola: 72154524 markings, 108454509 edges, 596956 markings/sec, 110 secs
lola: 75128123 markings, 112920880 edges, 594720 markings/sec, 115 secs
lola: 78152463 markings, 117463925 edges, 604868 markings/sec, 120 secs
lola: 81096395 markings, 121885874 edges, 588786 markings/sec, 125 secs
lola: 84117883 markings, 126424020 edges, 604298 markings/sec, 130 secs
lola: 87060500 markings, 130843787 edges, 588523 markings/sec, 135 secs
lola: 89452741 markings, 134436827 edges, 478448 markings/sec, 140 secs
lola: 91142671 markings, 136975869 edges, 337986 markings/sec, 145 secs
lola: 93674771 markings, 140778361 edges, 506420 markings/sec, 150 secs
lola: 93833234 markings, 141016095 edges, 31693 markings/sec, 155 secs
lola: 94787137 markings, 142448663 edges, 190781 markings/sec, 160 secs
lola: 96335874 markings, 144774788 edges, 309747 markings/sec, 165 secs
lola: 96485775 markings, 144999780 edges, 29980 markings/sec, 170 secs
lola: 98950400 markings, 148701658 edges, 492925 markings/sec, 175 secs
lola: 99027033 markings, 148816788 edges, 15327 markings/sec, 180 secs
lola: 101070132 markings, 151885033 edges, 408620 markings/sec, 185 secs
lola: 101565909 markings, 152629553 edges, 99155 markings/sec, 190 secs
lola: 103056552 markings, 154868582 edges, 298129 markings/sec, 195 secs
lola: 104631922 markings, 157234604 edges, 315074 markings/sec, 200 secs
lola: 104720056 markings, 157367068 edges, 17627 markings/sec, 205 secs
lola: 107258109 markings, 161178591 edges, 507611 markings/sec, 210 secs
lola: 107274512 markings, 161203266 edges, 3281 markings/sec, 215 secs
lola: 109330611 markings, 164291228 edges, 411220 markings/sec, 220 secs
lola: 110045118 markings, 165364335 edges, 142901 markings/sec, 225 secs
lola: 110386124 markings, 165876248 edges, 68201 markings/sec, 230 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 287 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G (((p10 <= 0) OR (p25 <= 0)))) AND E (X (((1 <= p0) AND (1 <= p26)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG(((p10 <= 0) OR (p25 <= 0))) AND EX(((1 <= p0) AND (1 <= p26)))))
lola: processed formula length: 72
lola: 50 rewrites
lola: closed formula file CTLFireability.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 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3562241 markings, 5379251 edges, 712448 markings/sec, 0 secs
lola: 7000461 markings, 10554017 edges, 687644 markings/sec, 5 secs
lola: 10329575 markings, 15561887 edges, 665823 markings/sec, 10 secs
lola: 13551192 markings, 20406782 edges, 644323 markings/sec, 15 secs
lola: 16673542 markings, 25101329 edges, 624470 markings/sec, 20 secs
lola: 19887366 markings, 29932658 edges, 642765 markings/sec, 25 secs
lola: 23106669 markings, 34771708 edges, 643861 markings/sec, 30 secs
lola: 26329823 markings, 39616392 edges, 644631 markings/sec, 35 secs
lola: 29490684 markings, 44366678 edges, 632172 markings/sec, 40 secs
lola: 32617216 markings, 49065183 edges, 625306 markings/sec, 45 secs
lola: 35715382 markings, 53720761 edges, 619633 markings/sec, 50 secs
lola: 38864010 markings, 58451948 edges, 629726 markings/sec, 55 secs
lola: 42068845 markings, 63267464 edges, 640967 markings/sec, 60 secs
lola: 45214148 markings, 67993139 edges, 629061 markings/sec, 65 secs
lola: 48331300 markings, 72676427 edges, 623430 markings/sec, 70 secs
lola: 51465938 markings, 77385873 edges, 626928 markings/sec, 75 secs
lola: 54536988 markings, 81999529 edges, 614210 markings/sec, 80 secs
lola: 57557801 markings, 86537599 edges, 604163 markings/sec, 85 secs
lola: 60613890 markings, 91128896 edges, 611218 markings/sec, 90 secs
lola: 63729033 markings, 95808357 edges, 623029 markings/sec, 95 secs
lola: 66806857 markings, 100431849 edges, 615565 markings/sec, 100 secs
lola: 69820710 markings, 104959023 edges, 602771 markings/sec, 105 secs
lola: 72796434 markings, 109428764 edges, 595145 markings/sec, 110 secs
lola: 75830364 markings, 113986301 edges, 606786 markings/sec, 115 secs
lola: 78838954 markings, 118505256 edges, 601718 markings/sec, 120 secs
lola: 81785865 markings, 122931403 edges, 589382 markings/sec, 125 secs
lola: 84786711 markings, 127438744 edges, 600169 markings/sec, 130 secs
lola: 87757148 markings, 131900294 edges, 594087 markings/sec, 135 secs
lola: 90017850 markings, 135296435 edges, 452140 markings/sec, 140 secs
lola: 91736066 markings, 137877771 edges, 343643 markings/sec, 145 secs
lola: 93397462 markings, 140372599 edges, 332279 markings/sec, 150 secs
lola: 94634174 markings, 142229203 edges, 247342 markings/sec, 155 secs
lola: 95903608 markings, 144135735 edges, 253887 markings/sec, 160 secs
lola: 97520742 markings, 146564609 edges, 323427 markings/sec, 165 secs
lola: 98379759 markings, 147854883 edges, 171803 markings/sec, 170 secs
lola: 100161655 markings, 150530981 edges, 356379 markings/sec, 175 secs
lola: 101169840 markings, 152045319 edges, 201637 markings/sec, 180 secs
lola: 102678848 markings, 154311231 edges, 301802 markings/sec, 185 secs
lola: 104579369 markings, 157165734 edges, 380104 markings/sec, 190 secs
lola: 106124214 markings, 159485743 edges, 308969 markings/sec, 195 secs
lola: 107442684 markings, 161465937 edges, 263694 markings/sec, 200 secs
lola: 109031221 markings, 163851832 edges, 317707 markings/sec, 205 secs
lola: 110344546 markings, 165823935 edges, 262665 markings/sec, 210 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (A (G (((1 <= p22) AND (1 <= p1) AND (1 <= p2)))))) OR ((1 <= p7) OR ((1 <= p1) AND (1 <= p2))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p7) OR ((1 <= p1) AND (1 <= p2)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: ((1 <= p7) OR ((1 <= p1) AND (1 <= p2)))
lola: processed formula length: 40
lola: 48 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (G (((1 <= p22) AND (1 <= p1) AND (1 <= p2))))))
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(((1 <= p22) AND (1 <= p1) AND (1 <= p2))))
lola: processed formula length: 48
lola: 49 rewrites
lola: closed formula file CTLFireability.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: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 3 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (X (((1 <= p18) AND (1 <= p3) AND (1 <= p4)))) OR (((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7)) AND E (X (((1 <= p5) AND (1 <= p7) AND (1 <= p26))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 345 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p12) AND (1 <= p3) AND (1 <= p4) AND (1 <= p7))
lola: processed formula length: 54
lola: 47 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 4 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (((1 <= p18) AND (1 <= p3) AND (1 <= p4))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(((1 <= p18) AND (1 <= p3) AND (1 <= p4)))
lola: processed formula length: 44
lola: 48 rewrites
lola: closed formula file CTLFireability.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 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 414 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((1 <= p18)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (1 <= p18)
lola: processed formula length: 10
lola: 50 rewrites
lola: closed formula file CTLFireability.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:787
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 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p18 <= 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 task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (1 <= p18)
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 CTLFireability-8-0.sara
lola: state equation: write sara problem file to CTLFireability-8-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-8-0.sara.
sara: try reading problem file CTLFireability-8-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 3753856 markings, 5664841 edges, 750771 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 7305654 markings, 11006479 edges, 710360 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 10758868 markings, 16197748 edges, 690643 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 13889006 markings, 20902222 edges, 626028 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 17187276 markings, 25858666 edges, 659654 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 20465942 markings, 30785198 edges, 655733 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 23794839 markings, 35786732 edges, 665779 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 27062743 markings, 40696229 edges, 653581 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 30264391 markings, 45505955 edges, 640330 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 33497853 markings, 50363083 edges, 646692 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 36688502 markings, 55155777 edges, 638130 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 39871746 markings, 59937061 edges, 636649 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 43046494 markings, 64705601 edges, 634950 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 46169712 markings, 69396449 edges, 624644 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 49435502 markings, 74301485 edges, 653158 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 52495596 markings, 78897115 edges, 612019 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 55637302 markings, 83615481 edges, 628341 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 58829610 markings, 88409682 edges, 638462 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 61947696 markings, 93092198 edges, 623617 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 65014854 markings, 97698240 edges, 613432 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 68170630 markings, 102437380 edges, 631155 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 71243033 markings, 107051081 edges, 614481 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 74237607 markings, 111547941 edges, 598915 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 77039017 markings, 115754425 edges, 560282 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 80033310 markings, 120250795 edges, 598859 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 82924879 markings, 124592674 edges, 578314 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 85788271 markings, 128892336 edges, 572678 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 88589579 markings, 133098699 edges, 560262 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 91537849 markings, 137525660 edges, 589654 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 94648420 markings, 142196222 edges, 622114 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 97647261 markings, 146699026 edges, 599768 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 100587490 markings, 151113614 edges, 588046 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 103470401 markings, 155442340 edges, 576582 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 106447158 markings, 159911709 edges, 595351 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 109431898 markings, 164393216 edges, 596948 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 112372506 markings, 168808406 edges, 588122 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 115283214 markings, 173178492 edges, 582142 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 118173672 markings, 177518332 edges, 578092 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 121154115 markings, 181993271 edges, 596089 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 123923704 markings, 186151407 edges, 553918 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 124946032 markings, 187686392 edges, 204466 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 127191958 markings, 191058344 edges, 449185 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 128211329 markings, 192588721 edges, 203874 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 130189683 markings, 195558967 edges, 395671 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 130962949 markings, 196719916 edges, 154653 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 133110207 markings, 199943816 edges, 429452 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 134015572 markings, 201303057 edges, 181073 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 135768609 markings, 203935028 edges, 350607 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 137504382 markings, 206540838 edges, 347155 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 138914673 markings, 208658267 edges, 282058 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 140267519 markings, 210689356 edges, 270569 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 141815297 markings, 213013098 edges, 309556 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 143262056 markings, 215184929 edges, 289352 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 144848069 markings, 217566214 edges, 317203 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 146342784 markings, 219810150 edges, 298943 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 148309936 markings, 222763662 edges, 393430 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 149930335 markings, 225196084 edges, 324080 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 151145602 markings, 227020544 edges, 243053 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 151248944 markings, 227175929 edges, 20668 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 151249094 markings, 227176079 edges, 30 markings/sec, 295 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 442 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p22)) AND A (G ((p11 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((((1 <= p22)) AND AG((p11 <= 0))))
lola: processed formula length: 37
lola: 49 rewrites
lola: closed formula file CTLFireability.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 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3296347 markings, 4968558 edges, 659269 markings/sec, 0 secs
lola: 6630575 markings, 9987179 edges, 666846 markings/sec, 5 secs
lola: 9861185 markings, 14847195 edges, 646122 markings/sec, 10 secs
lola: 13084896 markings, 19695388 edges, 644742 markings/sec, 15 secs
lola: 16252739 markings, 24458401 edges, 633569 markings/sec, 20 secs
lola: 19404949 markings, 29197465 edges, 630442 markings/sec, 25 secs
lola: 22507509 markings, 33861069 edges, 620512 markings/sec, 30 secs
lola: 25648823 markings, 38582681 edges, 628263 markings/sec, 35 secs
lola: 28715635 markings, 43191771 edges, 613362 markings/sec, 40 secs
lola: 31764453 markings, 47773636 edges, 609764 markings/sec, 45 secs
lola: 34780121 markings, 52305317 edges, 603134 markings/sec, 50 secs
lola: 37758115 markings, 56779963 edges, 595599 markings/sec, 55 secs
lola: 40894675 markings, 61492980 edges, 627312 markings/sec, 60 secs
lola: 43965261 markings, 66106448 edges, 614117 markings/sec, 65 secs
lola: 46868611 markings, 70468637 edges, 580670 markings/sec, 70 secs
lola: 49899910 markings, 75023073 edges, 606260 markings/sec, 75 secs
lola: 52695788 markings, 79223365 edges, 559176 markings/sec, 80 secs
lola: 55659355 markings, 83675434 edges, 592713 markings/sec, 85 secs
lola: 58580447 markings, 88063889 edges, 584218 markings/sec, 90 secs
lola: 61589599 markings, 92584158 edges, 601830 markings/sec, 95 secs
lola: 64383452 markings, 96781282 edges, 558771 markings/sec, 100 secs
lola: 67355650 markings, 101245932 edges, 594440 markings/sec, 105 secs
lola: 70259831 markings, 105608339 edges, 580836 markings/sec, 110 secs
lola: 73160639 markings, 109965699 edges, 580162 markings/sec, 115 secs
lola: 76101186 markings, 114382598 edges, 588109 markings/sec, 120 secs
lola: 79011293 markings, 118753715 edges, 582021 markings/sec, 125 secs
lola: 81835027 markings, 122995043 edges, 564747 markings/sec, 130 secs
lola: 84762481 markings, 127392199 edges, 585491 markings/sec, 135 secs
lola: 87425299 markings, 131391666 edges, 532564 markings/sec, 140 secs
lola: 89939544 markings, 135168165 edges, 502849 markings/sec, 145 secs
lola: 91455493 markings, 137444830 edges, 303190 markings/sec, 150 secs
lola: 93945751 markings, 141192481 edges, 498052 markings/sec, 155 secs
lola: 96388523 markings, 144853728 edges, 488554 markings/sec, 160 secs
lola: 96568597 markings, 145124314 edges, 36015 markings/sec, 165 secs
lola: 98760679 markings, 148416452 edges, 438416 markings/sec, 170 secs
lola: 99663350 markings, 149772430 edges, 180534 markings/sec, 175 secs
lola: 101518226 markings, 152558026 edges, 370975 markings/sec, 180 secs
lola: 102492673 markings, 154021534 edges, 194889 markings/sec, 185 secs
lola: 104298492 markings, 156733660 edges, 361164 markings/sec, 190 secs
lola: 105005011 markings, 157794704 edges, 141304 markings/sec, 195 secs
lola: 107019024 markings, 160819618 edges, 402803 markings/sec, 200 secs
lola: 107730289 markings, 161887907 edges, 142253 markings/sec, 205 secs
lola: 109159260 markings, 164033816 edges, 285794 markings/sec, 210 secs
lola: 110335006 markings, 165799502 edges, 235149 markings/sec, 215 secs
lola: 110395430 markings, 165890319 edges, 12085 markings/sec, 220 secs
lola: 110396803 markings, 165892447 edges, 275 markings/sec, 225 secs
lola: 110396906 markings, 165892550 edges, 21 markings/sec, 230 secs
lola: 110399233 markings, 165895982 edges, 465 markings/sec, 235 secs
lola: 110399338 markings, 165896087 edges, 21 markings/sec, 240 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A ((((p6 <= 0) OR (p26 <= 0)) R (p15 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:815
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(A(((p6 <= 0) OR (p26 <= 0)) R (p15 <= 0)))
lola: processed formula length: 46
lola: 49 rewrites
lola: closed formula file CTLFireability.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 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2104397 markings, 5352846 edges, 420879 markings/sec, 0 secs
lola: 4304896 markings, 10907424 edges, 440100 markings/sec, 5 secs
lola: 6471268 markings, 16366778 edges, 433274 markings/sec, 10 secs
lola: 8580023 markings, 21676447 edges, 421751 markings/sec, 15 secs
lola: 10641580 markings, 26863707 edges, 412311 markings/sec, 20 secs
lola: 12668458 markings, 31962181 edges, 405376 markings/sec, 25 secs
lola: 14776458 markings, 37262923 edges, 421600 markings/sec, 30 secs
lola: 16840804 markings, 42453456 edges, 412869 markings/sec, 35 secs
lola: 18893030 markings, 47610671 edges, 410445 markings/sec, 40 secs
lola: 20914034 markings, 52690193 edges, 404201 markings/sec, 45 secs
lola: 22962220 markings, 57836410 edges, 409637 markings/sec, 50 secs
lola: 25015477 markings, 62993574 edges, 410651 markings/sec, 55 secs
lola: 27036890 markings, 68071659 edges, 404283 markings/sec, 60 secs
lola: 29026445 markings, 73067756 edges, 397911 markings/sec, 65 secs
lola: 31032513 markings, 78105868 edges, 401214 markings/sec, 70 secs
lola: 33005209 markings, 83060418 edges, 394539 markings/sec, 75 secs
lola: 34988259 markings, 88039017 edges, 396610 markings/sec, 80 secs
lola: 36947179 markings, 92957352 edges, 391784 markings/sec, 85 secs
lola: 38966394 markings, 98026869 edges, 403843 markings/sec, 90 secs
lola: 41012421 markings, 103161385 edges, 409205 markings/sec, 95 secs
lola: 43024321 markings, 108212953 edges, 402380 markings/sec, 100 secs
lola: 45022691 markings, 113228334 edges, 399674 markings/sec, 105 secs
lola: 47002893 markings, 118198444 edges, 396040 markings/sec, 110 secs
lola: 48986297 markings, 123174293 edges, 396681 markings/sec, 115 secs
lola: 50963887 markings, 128138230 edges, 395518 markings/sec, 120 secs
lola: 52936040 markings, 133086142 edges, 394431 markings/sec, 125 secs
lola: 54864095 markings, 137923597 edges, 385611 markings/sec, 130 secs
lola: 56766647 markings, 142697415 edges, 380510 markings/sec, 135 secs
lola: 58694603 markings, 147535084 edges, 385591 markings/sec, 140 secs
lola: 60631713 markings, 152395649 edges, 387422 markings/sec, 145 secs
lola: 62633385 markings, 157417902 edges, 400334 markings/sec, 150 secs
lola: 64576825 markings, 162294445 edges, 388688 markings/sec, 155 secs
lola: 66522987 markings, 167175026 edges, 389232 markings/sec, 160 secs
lola: 68451466 markings, 172014522 edges, 385696 markings/sec, 165 secs
lola: 70346738 markings, 176768022 edges, 379054 markings/sec, 170 secs
lola: 72242622 markings, 181523207 edges, 379177 markings/sec, 175 secs
lola: 74108565 markings, 186203314 edges, 373189 markings/sec, 180 secs
lola: 76043683 markings, 191056608 edges, 387024 markings/sec, 185 secs
lola: 77949728 markings, 195837341 edges, 381209 markings/sec, 190 secs
lola: 79834160 markings, 200564184 edges, 376886 markings/sec, 195 secs
lola: 81675973 markings, 205184512 edges, 368363 markings/sec, 200 secs
lola: 83584022 markings, 209970428 edges, 381610 markings/sec, 205 secs
lola: 85395171 markings, 214513874 edges, 362230 markings/sec, 210 secs
lola: 87289285 markings, 219262117 edges, 378823 markings/sec, 215 secs
lola: 89140606 markings, 223906703 edges, 370264 markings/sec, 220 secs
lola: 90646769 markings, 227684198 edges, 301233 markings/sec, 225 secs
lola: 92298731 markings, 231827184 edges, 330392 markings/sec, 230 secs
lola: 92360166 markings, 231980086 edges, 12287 markings/sec, 235 secs
lola: 93721628 markings, 235392300 edges, 272292 markings/sec, 240 secs
lola: 94390233 markings, 237071463 edges, 133721 markings/sec, 245 secs
lola: 95443310 markings, 239712451 edges, 210615 markings/sec, 250 secs
lola: 96467620 markings, 242278427 edges, 204862 markings/sec, 255 secs
lola: 97861158 markings, 245774547 edges, 278708 markings/sec, 260 secs
lola: 99398874 markings, 249631059 edges, 307543 markings/sec, 265 secs
lola: 100048898 markings, 251260708 edges, 130005 markings/sec, 270 secs
lola: 101471917 markings, 254827112 edges, 284604 markings/sec, 275 secs
lola: 102286506 markings, 256871736 edges, 162918 markings/sec, 280 secs
lola: 103902030 markings, 260923111 edges, 323105 markings/sec, 285 secs
lola: 104538289 markings, 262518184 edges, 127252 markings/sec, 290 secs
lola: 105779714 markings, 265630678 edges, 248285 markings/sec, 295 secs
lola: 106786322 markings, 268155323 edges, 201322 markings/sec, 300 secs
lola: 107582769 markings, 270151388 edges, 159289 markings/sec, 305 secs
lola: 108405611 markings, 272213248 edges, 164568 markings/sec, 310 secs
lola: 109846070 markings, 275826829 edges, 288092 markings/sec, 315 secs
lola: 110743063 markings, 278074238 edges, 179399 markings/sec, 320 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((p18 <= 0) AND ((p21 <= 0))))) OR (E (F ((((p8 <= 0) OR (p9 <= 0)) AND ((p10 <= 0) OR (p25 <= 0))))) OR (((1 <= p8) AND (1 <= p9) AND (1 <= p12)) OR ((1 <= p7) AND (1 <= p3)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p8) AND (1 <= p9) AND (1 <= p12)) OR ((1 <= p7) AND (1 <= p3)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: (((1 <= p8) AND (1 <= p9) AND (1 <= p12)) OR ((1 <= p7) AND (1 <= p3)))
lola: processed formula length: 71
lola: 48 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 5 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 1165 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p18 <= 0) AND ((p21 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((p18 <= 0) AND ((p21 <= 0)))))
lola: processed formula length: 37
lola: 49 rewrites
lola: closed formula file CTLFireability.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:788
lola: state equation task get result rewrite finished id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p18) OR ((1 <= p21)))
lola: 4 markings, 3 edges
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 12 will run for 1165 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((p14 <= 0))) AND (E (F (((p13 <= 0)))) AND (((p21 <= 0) OR (p13 <= 0) OR (p5 <= 0) OR (p7 <= 0) OR (p26 <= 0) OR ((p24 <= 0) AND ((p6 <= 0) OR (p26 <= 0)))) AND ((1 <= p3) OR A (G (((1 <= p0) AND (1 <= p26))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 1165 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p3)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p3)
lola: processed formula length: 9
lola: 47 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((p14 <= 0)))
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 ((p14 <= 0)))
lola: processed formula length: 18
lola: 48 rewrites
lola: closed formula file CTLFireability.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: (p14 <= 0)
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
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p0) AND (1 <= p26))))
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 (((1 <= p0) AND (1 <= p26))))
lola: processed formula length: 34
lola: 49 rewrites
lola: closed formula file CTLFireability.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: ((p0 <= 0) OR (p26 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 10241 markings, 10240 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (((1 <= p3) AND (1 <= p4))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG(((1 <= p3) AND (1 <= p4)))))
lola: processed formula length: 37
lola: 50 rewrites
lola: closed formula file CTLFireability.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 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2241329 markings, 5620772 edges, 448266 markings/sec, 0 secs
lola: 4555213 markings, 11419135 edges, 462777 markings/sec, 5 secs
lola: 6835770 markings, 17131699 edges, 456111 markings/sec, 10 secs
lola: 9042139 markings, 22657450 edges, 441274 markings/sec, 15 secs
lola: 11213105 markings, 28093606 edges, 434193 markings/sec, 20 secs
lola: 13447756 markings, 33688720 edges, 446930 markings/sec, 25 secs
lola: 15583348 markings, 39035380 edges, 427118 markings/sec, 30 secs
lola: 17742462 markings, 44440595 edges, 431823 markings/sec, 35 secs
lola: 19759026 markings, 49488699 edges, 403313 markings/sec, 40 secs
lola: 21831036 markings, 54675158 edges, 414402 markings/sec, 45 secs
lola: 23913049 markings, 59886791 edges, 416403 markings/sec, 50 secs
lola: 26024472 markings, 65171632 edges, 422285 markings/sec, 55 secs
lola: 28094673 markings, 70353145 edges, 414040 markings/sec, 60 secs
lola: 30175447 markings, 75560964 edges, 416155 markings/sec, 65 secs
lola: 32212822 markings, 80660107 edges, 407475 markings/sec, 70 secs
lola: 34252953 markings, 85765982 edges, 408026 markings/sec, 75 secs
lola: 36204309 markings, 90649568 edges, 390271 markings/sec, 80 secs
lola: 38252357 markings, 95775048 edges, 409610 markings/sec, 85 secs
lola: 40373280 markings, 101082966 edges, 424185 markings/sec, 90 secs
lola: 42456498 markings, 106296137 edges, 416644 markings/sec, 95 secs
lola: 44453561 markings, 111293905 edges, 399413 markings/sec, 100 secs
lola: 46484765 markings, 116376866 edges, 406241 markings/sec, 105 secs
lola: 48473281 markings, 121353000 edges, 397703 markings/sec, 110 secs
lola: 50327247 markings, 125992303 edges, 370793 markings/sec, 115 secs
lola: 52201098 markings, 130681315 edges, 374770 markings/sec, 120 secs
lola: 54193549 markings, 135667019 edges, 398490 markings/sec, 125 secs
lola: 56010511 markings, 140213587 edges, 363392 markings/sec, 130 secs
lola: 57931370 markings, 145020079 edges, 384172 markings/sec, 135 secs
lola: 59891074 markings, 149923699 edges, 391941 markings/sec, 140 secs
lola: 61984931 markings, 155162895 edges, 418771 markings/sec, 145 secs
lola: 64009490 markings, 160228794 edges, 404912 markings/sec, 150 secs
lola: 66037319 markings, 165302946 edges, 405566 markings/sec, 155 secs
lola: 68022108 markings, 170269105 edges, 396958 markings/sec, 160 secs
lola: 69986416 markings, 175184045 edges, 392862 markings/sec, 165 secs
lola: 71938659 markings, 180068687 edges, 390449 markings/sec, 170 secs
lola: 73873084 markings, 184908950 edges, 386885 markings/sec, 175 secs
lola: 75898775 markings, 189977465 edges, 405138 markings/sec, 180 secs
lola: 77874590 markings, 194920890 edges, 395163 markings/sec, 185 secs
lola: 79830025 markings, 199813415 edges, 391087 markings/sec, 190 secs
lola: 81750038 markings, 204617364 edges, 384003 markings/sec, 195 secs
lola: 83730602 markings, 209572946 edges, 396113 markings/sec, 200 secs
lola: 85662931 markings, 214407645 edges, 386466 markings/sec, 205 secs
lola: 87608927 markings, 219276443 edges, 389199 markings/sec, 210 secs
lola: 89391106 markings, 223736106 edges, 356436 markings/sec, 215 secs
lola: 90507664 markings, 226529497 edges, 223312 markings/sec, 220 secs
lola: 91770144 markings, 229687594 edges, 252496 markings/sec, 225 secs
lola: 92588283 markings, 231734371 edges, 163628 markings/sec, 230 secs
lola: 93768208 markings, 234686391 edges, 235985 markings/sec, 235 secs
lola: 94734367 markings, 237103737 edges, 193232 markings/sec, 240 secs
lola: 95833288 markings, 239853115 edges, 219784 markings/sec, 245 secs
lola: 96752381 markings, 242152879 edges, 183819 markings/sec, 250 secs
lola: 97858541 markings, 244920358 edges, 221232 markings/sec, 255 secs
lola: 98905148 markings, 247538925 edges, 209321 markings/sec, 260 secs
lola: 99912821 markings, 250059869 edges, 201535 markings/sec, 265 secs
lola: 101034695 markings, 252866603 edges, 224375 markings/sec, 270 secs
lola: 102168833 markings, 255704080 edges, 226828 markings/sec, 275 secs
lola: 103336666 markings, 258625921 edges, 233567 markings/sec, 280 secs
lola: 104469761 markings, 261460632 edges, 226619 markings/sec, 285 secs
lola: 105515901 markings, 264077899 edges, 209228 markings/sec, 290 secs
lola: 106771921 markings, 267220330 edges, 251204 markings/sec, 295 secs
lola: 108268050 markings, 270963471 edges, 299226 markings/sec, 300 secs
lola: 109543909 markings, 274155432 edges, 255172 markings/sec, 305 secs
lola: 110285264 markings, 276009976 edges, 148271 markings/sec, 310 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E ((A (F ((p22 <= 0))) U (A (G ((1 <= p3))) AND E (X ((1 <= p14))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(AF((p22 <= 0)) U (AG((1 <= p3)) AND EX((1 <= p14))))
lola: processed formula length: 54
lola: 51 rewrites
lola: closed formula file CTLFireability.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: 1685517 markings, 5912812 edges, 337103 markings/sec, 0 secs
lola: 3446292 markings, 12087007 edges, 352155 markings/sec, 5 secs
lola: 5136095 markings, 18010442 edges, 337961 markings/sec, 10 secs
lola: 6731024 markings, 23600378 edges, 318986 markings/sec, 15 secs
lola: 8392470 markings, 29422966 edges, 332289 markings/sec, 20 secs
lola: 10011931 markings, 35097791 edges, 323892 markings/sec, 25 secs
lola: 11622325 markings, 40740555 edges, 322079 markings/sec, 30 secs
lola: 13283870 markings, 46562179 edges, 332309 markings/sec, 35 secs
lola: 14906384 markings, 52247012 edges, 324503 markings/sec, 40 secs
lola: 16502366 markings, 57838543 edges, 319196 markings/sec, 45 secs
lola: 18117401 markings, 63496551 edges, 323007 markings/sec, 50 secs
lola: 19695555 markings, 69025276 edges, 315631 markings/sec, 55 secs
lola: 21249455 markings, 74468883 edges, 310780 markings/sec, 60 secs
lola: 22847973 markings, 80068707 edges, 319704 markings/sec, 65 secs
lola: 24437718 markings, 85637696 edges, 317949 markings/sec, 70 secs
lola: 26017373 markings, 91171083 edges, 315931 markings/sec, 75 secs
lola: 27572548 markings, 96618852 edges, 311035 markings/sec, 80 secs
lola: 29098260 markings, 101963158 edges, 305142 markings/sec, 85 secs
lola: 30656019 markings, 107419826 edges, 311552 markings/sec, 90 secs
lola: 32176536 markings, 112745829 edges, 304103 markings/sec, 95 secs
lola: 33700722 markings, 118084704 edges, 304837 markings/sec, 100 secs
lola: 35213216 markings, 123382418 edges, 302499 markings/sec, 105 secs
lola: 36656324 markings, 128437190 edges, 288622 markings/sec, 110 secs
lola: 38183618 markings, 133786686 edges, 305459 markings/sec, 115 secs
lola: 39714952 markings, 139150338 edges, 306267 markings/sec, 120 secs
lola: 41273648 markings, 144609742 edges, 311739 markings/sec, 125 secs
lola: 42747247 markings, 149770995 edges, 294720 markings/sec, 130 secs
lola: 44304460 markings, 155225090 edges, 311443 markings/sec, 135 secs
lola: 45714573 markings, 160164012 edges, 282023 markings/sec, 140 secs
lola: 47237680 markings, 165498498 edges, 304621 markings/sec, 145 secs
lola: 48680100 markings, 170550534 edges, 288484 markings/sec, 150 secs
lola: 50204083 markings, 175888152 edges, 304797 markings/sec, 155 secs
lola: 51719148 markings, 181194554 edges, 303013 markings/sec, 160 secs
lola: 53219884 markings, 186450578 edges, 300147 markings/sec, 165 secs
lola: 54627099 markings, 191379044 edges, 281443 markings/sec, 170 secs
lola: 55992577 markings, 196161135 edges, 273096 markings/sec, 175 secs
lola: 57348075 markings, 200908695 edges, 271100 markings/sec, 180 secs
lola: 58818338 markings, 206057916 edges, 294053 markings/sec, 185 secs
lola: 60283332 markings, 211188534 edges, 292999 markings/sec, 190 secs
lola: 61840525 markings, 216642365 edges, 311439 markings/sec, 195 secs
lola: 63327301 markings, 221849161 edges, 297355 markings/sec, 200 secs
lola: 64825089 markings, 227094751 edges, 299558 markings/sec, 205 secs
lola: 66311864 markings, 232301668 edges, 297355 markings/sec, 210 secs
lola: 67789572 markings, 237476961 edges, 295542 markings/sec, 215 secs
lola: 69236300 markings, 242543414 edges, 289346 markings/sec, 220 secs
lola: 70667010 markings, 247553964 edges, 286142 markings/sec, 225 secs
lola: 72122625 markings, 252651919 edges, 291123 markings/sec, 230 secs
lola: 73540810 markings, 257618496 edges, 283637 markings/sec, 235 secs
lola: 75024625 markings, 262814819 edges, 296763 markings/sec, 240 secs
lola: 76501017 markings, 267985303 edges, 295278 markings/sec, 245 secs
lola: 77957199 markings, 273084798 edges, 291236 markings/sec, 250 secs
lola: 79395970 markings, 278123353 edges, 287754 markings/sec, 255 secs
lola: 80825501 markings, 283129661 edges, 285906 markings/sec, 260 secs
lola: 82267804 markings, 288180650 edges, 288461 markings/sec, 265 secs
lola: 83728878 markings, 293297486 edges, 292215 markings/sec, 270 secs
lola: 85152983 markings, 298284634 edges, 284821 markings/sec, 275 secs
lola: 86515421 markings, 303055997 edges, 272488 markings/sec, 280 secs
lola: 87959328 markings, 308112207 edges, 288781 markings/sec, 285 secs
lola: 89356157 markings, 313004385 edges, 279366 markings/sec, 290 secs
lola: 90460162 markings, 316872462 edges, 220801 markings/sec, 295 secs
lola: 91389137 markings, 320123604 edges, 185795 markings/sec, 300 secs
lola: 92534653 markings, 324134874 edges, 229103 markings/sec, 305 secs
lola: 93461186 markings, 327379701 edges, 185307 markings/sec, 310 secs
lola: 94419521 markings, 330735538 edges, 191667 markings/sec, 315 secs
lola: 95206382 markings, 333491287 edges, 157372 markings/sec, 320 secs
lola: 96018353 markings, 336334539 edges, 162394 markings/sec, 325 secs
lola: 96908559 markings, 339452146 edges, 178041 markings/sec, 330 secs
lola: 97902748 markings, 342933647 edges, 198838 markings/sec, 335 secs
lola: 98748173 markings, 345894016 edges, 169085 markings/sec, 340 secs
lola: 99832193 markings, 349690221 edges, 216804 markings/sec, 345 secs
lola: 101001249 markings, 353784134 edges, 233811 markings/sec, 350 secs
lola: 101918984 markings, 356998146 edges, 183547 markings/sec, 355 secs
lola: 103247154 markings, 361648861 edges, 265634 markings/sec, 360 secs
lola: 104311444 markings, 365376004 edges, 212858 markings/sec, 365 secs
lola: 105229252 markings, 368590248 edges, 183562 markings/sec, 370 secs
lola: 106186421 markings, 371941971 edges, 191434 markings/sec, 375 secs
lola: 107381646 markings, 376127228 edges, 239045 markings/sec, 380 secs
lola: 108437954 markings, 379826288 edges, 211262 markings/sec, 385 secs
lola: 109411997 markings, 383237598 edges, 194809 markings/sec, 390 secs
lola: 110279917 markings, 386277083 edges, 173584 markings/sec, 395 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G ((A (X ((p22 <= 0))) OR ((1 <= p0) AND (1 <= p26)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((AX((p22 <= 0)) OR ((1 <= p0) AND (1 <= p26))))
lola: processed formula length: 50
lola: 49 rewrites
lola: closed formula file CTLFireability.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: 1346224 markings, 2030224 edges, 269245 markings/sec, 0 secs
lola: 2681861 markings, 4043131 edges, 267127 markings/sec, 5 secs
lola: 4065701 markings, 6127077 edges, 276768 markings/sec, 10 secs
lola: 5400367 markings, 8136026 edges, 266933 markings/sec, 15 secs
lola: 6783212 markings, 10216985 edges, 276569 markings/sec, 20 secs
lola: 8153283 markings, 12278187 edges, 274014 markings/sec, 25 secs
lola: 9516973 markings, 14329495 edges, 272738 markings/sec, 30 secs
lola: 10876983 markings, 16375031 edges, 272002 markings/sec, 35 secs
lola: 12256596 markings, 18449696 edges, 275923 markings/sec, 40 secs
lola: 13637309 markings, 20526066 edges, 276143 markings/sec, 45 secs
lola: 15003023 markings, 22579510 edges, 273143 markings/sec, 50 secs
lola: 16368935 markings, 24633202 edges, 273182 markings/sec, 55 secs
lola: 17737518 markings, 26690720 edges, 273717 markings/sec, 60 secs
lola: 19091959 markings, 28726843 edges, 270888 markings/sec, 65 secs
lola: 20433409 markings, 30743281 edges, 268290 markings/sec, 70 secs
lola: 21776308 markings, 32761956 edges, 268580 markings/sec, 75 secs
lola: 23133517 markings, 34801910 edges, 271442 markings/sec, 80 secs
lola: 24485340 markings, 36833817 edges, 270365 markings/sec, 85 secs
lola: 25824395 markings, 38846460 edges, 267811 markings/sec, 90 secs
lola: 27163482 markings, 40858835 edges, 267817 markings/sec, 95 secs
lola: 28499000 markings, 42866114 edges, 267104 markings/sec, 100 secs
lola: 29824009 markings, 44857308 edges, 265002 markings/sec, 105 secs
lola: 31145272 markings, 46843018 edges, 264253 markings/sec, 110 secs
lola: 32411247 markings, 48745326 edges, 253195 markings/sec, 115 secs
lola: 33730352 markings, 50727746 edges, 263821 markings/sec, 120 secs
lola: 35064688 markings, 52732852 edges, 266867 markings/sec, 125 secs
lola: 36388358 markings, 54721848 edges, 264734 markings/sec, 130 secs
lola: 37710992 markings, 56709228 edges, 264527 markings/sec, 135 secs
lola: 39074722 markings, 58758401 edges, 272746 markings/sec, 140 secs
lola: 40421360 markings, 60781738 edges, 269328 markings/sec, 145 secs
lola: 41755353 markings, 62786110 edges, 266799 markings/sec, 150 secs
lola: 43089102 markings, 64790180 edges, 266750 markings/sec, 155 secs
lola: 44423352 markings, 66794926 edges, 266850 markings/sec, 160 secs
lola: 45737826 markings, 68769818 edges, 262895 markings/sec, 165 secs
lola: 47060536 markings, 70757100 edges, 264542 markings/sec, 170 secs
lola: 48387518 markings, 72750694 edges, 265396 markings/sec, 175 secs
lola: 49714017 markings, 74743694 edges, 265300 markings/sec, 180 secs
lola: 51038106 markings, 76733060 edges, 264818 markings/sec, 185 secs
lola: 52349028 markings, 78702455 edges, 262184 markings/sec, 190 secs
lola: 53658711 markings, 80669965 edges, 261937 markings/sec, 195 secs
lola: 54971890 markings, 82642788 edges, 262636 markings/sec, 200 secs
lola: 56181415 markings, 84459909 edges, 241905 markings/sec, 205 secs
lola: 57485598 markings, 86419028 edges, 260837 markings/sec, 210 secs
lola: 58793461 markings, 88383817 edges, 261573 markings/sec, 215 secs
lola: 60049987 markings, 90271453 edges, 251305 markings/sec, 220 secs
lola: 61399393 markings, 92298529 edges, 269881 markings/sec, 225 secs
lola: 62581439 markings, 94074249 edges, 236409 markings/sec, 230 secs
lola: 63605201 markings, 95612267 edges, 204752 markings/sec, 235 secs
lola: 64758044 markings, 97343948 edges, 230569 markings/sec, 240 secs
lola: 65648044 markings, 98680855 edges, 178000 markings/sec, 245 secs
lola: 66556520 markings, 100045462 edges, 181695 markings/sec, 250 secs
lola: 67618955 markings, 101641579 edges, 212487 markings/sec, 255 secs
lola: 68052156 markings, 102292126 edges, 86640 markings/sec, 260 secs
lola: 68858086 markings, 103502843 edges, 161186 markings/sec, 265 secs
lola: 69772128 markings, 104875893 edges, 182808 markings/sec, 270 secs
lola: 70393688 markings, 105809527 edges, 124312 markings/sec, 275 secs
lola: 71207547 markings, 107031957 edges, 162772 markings/sec, 280 secs
lola: 71921921 markings, 108105058 edges, 142875 markings/sec, 285 secs
lola: 72807477 markings, 109435148 edges, 177111 markings/sec, 290 secs
lola: 73876834 markings, 111041547 edges, 213871 markings/sec, 295 secs
lola: 74622473 markings, 112161562 edges, 149128 markings/sec, 300 secs
lola: 75383330 markings, 113304530 edges, 152171 markings/sec, 305 secs
lola: 76175836 markings, 114494780 edges, 158501 markings/sec, 310 secs
lola: 76938868 markings, 115640758 edges, 152606 markings/sec, 315 secs
lola: 77432272 markings, 116381957 edges, 98681 markings/sec, 320 secs
lola: 77513603 markings, 116504074 edges, 16266 markings/sec, 325 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (E (X (((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0))))))
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(((p1 <= 0) OR (p2 <= 0) OR (p15 <= 0))))
lola: processed formula length: 48
lola: 49 rewrites
lola: closed formula file CTLFireability.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: 3020547 markings, 4553279 edges, 604109 markings/sec, 0 secs
lola: 5819296 markings, 8766498 edges, 559750 markings/sec, 5 secs
lola: 8697622 markings, 13097009 edges, 575665 markings/sec, 10 secs
lola: 11525257 markings, 17350024 edges, 565527 markings/sec, 15 secs
lola: 14274559 markings, 21484175 edges, 549860 markings/sec, 20 secs
lola: 17086217 markings, 25711481 edges, 562332 markings/sec, 25 secs
lola: 19574960 markings, 29452899 edges, 497749 markings/sec, 30 secs
lola: 22325266 markings, 33587123 edges, 550061 markings/sec, 35 secs
lola: 25124748 markings, 37794889 edges, 559896 markings/sec, 40 secs
lola: 27882798 markings, 41939962 edges, 551610 markings/sec, 45 secs
lola: 30342498 markings, 45636581 edges, 491940 markings/sec, 50 secs
lola: 33018976 markings, 49658621 edges, 535296 markings/sec, 55 secs
lola: 35606040 markings, 53546304 edges, 517413 markings/sec, 60 secs
lola: 38287995 markings, 57576304 edges, 536391 markings/sec, 65 secs
lola: 41027835 markings, 61693015 edges, 547968 markings/sec, 70 secs
lola: 43770680 markings, 65814309 edges, 548569 markings/sec, 75 secs
lola: 46468048 markings, 69867038 edges, 539474 markings/sec, 80 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown no no
lola:
preliminary result: unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown no no
lola: memory consumption: 752 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.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-20480by10240"
export BK_EXAMINATION="CTLFireability"
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-20480by10240, examination is CTLFireability"
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-158987806800468"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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