Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r070-smll-167814397200419.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is CloudDeployment-PT-5b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-167814397200419
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.8K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 5 18:22 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 CloudDeployment-PT-5b-LTLCardinality-00
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-01
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-02
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-03
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-04
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-05
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-06
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-07
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-08
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-09
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-10
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-11
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-12
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-13
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-14
FORMULA_NAME CloudDeployment-PT-5b-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1678347705336

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=LTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudDeployment-PT-5b
Not applying reductions.
Model is PT
LTLCardinality PT
starting LoLA
BK_INPUT CloudDeployment-PT-5b
BK_EXAMINATION: LTLCardinality
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
LTLCardinality

FORMULA CloudDeployment-PT-5b-LTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-5b-LTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-5b-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-5b-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-5b-LTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-5b-LTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-5b-LTLCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-5b-LTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-5b-LTLCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA CloudDeployment-PT-5b-LTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1678348311864

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

lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/LTLCardinality.xml
lola: rewrite Frontend/Parser/formula_rewrite.k:421
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:430
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:433
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:379
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:436
lola: rewrite Frontend/Parser/formula_rewrite.k:373
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:349
lola: rewrite Frontend/Parser/formula_rewrite.k:524
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:376
lola: rewrite Frontend/Parser/formula_rewrite.k:370
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:250
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:433
lola: rewrite Frontend/Parser/formula_rewrite.k:499
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:349
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:373
lola: rewrite Frontend/Parser/formula_rewrite.k:433
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:376
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:373
lola: rewrite Frontend/Parser/formula_rewrite.k:346
lola: rewrite Frontend/Parser/formula_rewrite.k:490
lola: rewrite Frontend/Parser/formula_rewrite.k:535
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:355
lola: rewrite Frontend/Parser/formula_rewrite.k:346
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:331
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:349
lola: rewrite Frontend/Parser/formula_rewrite.k:352
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:299
lola: rewrite Frontend/Parser/formula_rewrite.k:524
lola: rewrite Frontend/Parser/formula_rewrite.k:334
lola: rewrite Frontend/Parser/formula_rewrite.k:314
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:317
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: rewrite Frontend/Parser/formula_rewrite.k:328
lola: rewrite Frontend/Parser/formula_rewrite.k:296
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 64 (type EXCL) for 21 CloudDeployment-PT-5b-LTLCardinality-07
lola: time limit : 128 sec
lola: memory limit: 32 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:735
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 64 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-07
lola: result : false
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 65 (type EXCL) for 21 CloudDeployment-PT-5b-LTLCardinality-07
lola: time limit : 133 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 0 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 0 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-04: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 0 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 3 0 0 0
CloudDeployment-PT-5b-LTLCardinality-08: CONJ 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 0 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 0 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 1 0 0 0 0 0 0
CloudDeployment-PT-5b-LTLCardinality-13: CONJ 0 0 0 0 0 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 0 0 0 0 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 0 0 0 0 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
65 ER EXCL 0/133 1/32 CloudDeployment-PT-5b-LTLCardinality-07 --

Time elapsed: 8 secs. Pages in use: 1
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 65 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-07
lola: result : false
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 13 (type EXCL) for 12 CloudDeployment-PT-5b-LTLCardinality-04
lola: time limit : 143 sec
lola: memory limit: 32 pages
lola: FINISHED task # 13 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-04
lola: result : false
lola: markings : 6
lola: fired transitions : 6
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 49 (type EXCL) for 48 CloudDeployment-PT-5b-LTLCardinality-12
lola: time limit : 149 sec
lola: memory limit: 32 pages
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 70 (type FNDP) for 32 CloudDeployment-PT-5b-LTLCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 71 (type EQUN) for 32 CloudDeployment-PT-5b-LTLCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 74 (type SRCH) for 32 CloudDeployment-PT-5b-LTLCardinality-08
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 70 (type FNDP) for CloudDeployment-PT-5b-LTLCardinality-08
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 71 (type EQUN) for CloudDeployment-PT-5b-LTLCardinality-08 (obsolete)
lola: CANCELED task # 74 (type SRCH) for CloudDeployment-PT-5b-LTLCardinality-08 (obsolete)
lola: LAUNCH task # 67 (type FNDP) for 51 CloudDeployment-PT-5b-LTLCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 69 (type EQUN) for 51 CloudDeployment-PT-5b-LTLCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 75 (type SRCH) for 51 CloudDeployment-PT-5b-LTLCardinality-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: FINISHED task # 74 (type SRCH) for CloudDeployment-PT-5b-LTLCardinality-08
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
lola: FINISHED task # 67 (type FNDP) for CloudDeployment-PT-5b-LTLCardinality-13
lola: result : true
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 69 (type EQUN) for CloudDeployment-PT-5b-LTLCardinality-13 (obsolete)
lola: CANCELED task # 75 (type SRCH) for CloudDeployment-PT-5b-LTLCardinality-13 (obsolete)
lola: FINISHED task # 75 (type SRCH) for CloudDeployment-PT-5b-LTLCardinality-13
lola: result : unknown
lola: time used : 0.000000
lola: memory pages used : 1
sara: try reading problem file /home/mcc/execution/LTLCardinality-71.sara.
sara: try reading problem file /home/mcc/execution/LTLCardinality-69.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic


lola: Created skeleton in 1.000000 secs.
lola: FINISHED task # 69 (type EQUN) for CloudDeployment-PT-5b-LTLCardinality-13
lola: result : true
lola: FINISHED task # 71 (type EQUN) for CloudDeployment-PT-5b-LTLCardinality-08
lola: result : true
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 1.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 5/276 1/32 CloudDeployment-PT-5b-LTLCardinality-12 136305 m, 27261 m/sec, 531056 t fired, .

Time elapsed: 13 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 10/276 2/32 CloudDeployment-PT-5b-LTLCardinality-12 262136 m, 25166 m/sec, 1131206 t fired, .

Time elapsed: 18 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 15/276 3/32 CloudDeployment-PT-5b-LTLCardinality-12 400645 m, 27701 m/sec, 1896852 t fired, .

Time elapsed: 23 secs. Pages in use: 3
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 20/276 4/32 CloudDeployment-PT-5b-LTLCardinality-12 523704 m, 24611 m/sec, 2582326 t fired, .

Time elapsed: 28 secs. Pages in use: 4
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 25/276 5/32 CloudDeployment-PT-5b-LTLCardinality-12 649638 m, 25186 m/sec, 3256579 t fired, .

Time elapsed: 33 secs. Pages in use: 5
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 30/276 6/32 CloudDeployment-PT-5b-LTLCardinality-12 780700 m, 26212 m/sec, 3838387 t fired, .

Time elapsed: 38 secs. Pages in use: 6
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 35/276 6/32 CloudDeployment-PT-5b-LTLCardinality-12 906258 m, 25111 m/sec, 4366726 t fired, .

Time elapsed: 43 secs. Pages in use: 6
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 40/276 7/32 CloudDeployment-PT-5b-LTLCardinality-12 1046009 m, 27950 m/sec, 5095287 t fired, .

Time elapsed: 48 secs. Pages in use: 7
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 45/276 8/32 CloudDeployment-PT-5b-LTLCardinality-12 1206541 m, 32106 m/sec, 5725629 t fired, .

Time elapsed: 53 secs. Pages in use: 8
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 50/276 9/32 CloudDeployment-PT-5b-LTLCardinality-12 1339028 m, 26497 m/sec, 6305685 t fired, .

Time elapsed: 58 secs. Pages in use: 9
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 55/276 10/32 CloudDeployment-PT-5b-LTLCardinality-12 1477975 m, 27789 m/sec, 7010639 t fired, .

Time elapsed: 63 secs. Pages in use: 10
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 60/276 11/32 CloudDeployment-PT-5b-LTLCardinality-12 1624319 m, 29268 m/sec, 7704612 t fired, .

Time elapsed: 68 secs. Pages in use: 11
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 65/276 12/32 CloudDeployment-PT-5b-LTLCardinality-12 1780866 m, 31309 m/sec, 8401294 t fired, .

Time elapsed: 73 secs. Pages in use: 12
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 70/276 13/32 CloudDeployment-PT-5b-LTLCardinality-12 1941996 m, 32226 m/sec, 9024567 t fired, .

Time elapsed: 78 secs. Pages in use: 13
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 75/276 14/32 CloudDeployment-PT-5b-LTLCardinality-12 2073694 m, 26339 m/sec, 9563715 t fired, .

Time elapsed: 83 secs. Pages in use: 14
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 80/276 15/32 CloudDeployment-PT-5b-LTLCardinality-12 2211453 m, 27551 m/sec, 10251991 t fired, .

Time elapsed: 88 secs. Pages in use: 15
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 85/276 16/32 CloudDeployment-PT-5b-LTLCardinality-12 2356344 m, 28978 m/sec, 10996827 t fired, .

Time elapsed: 93 secs. Pages in use: 16
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 90/276 17/32 CloudDeployment-PT-5b-LTLCardinality-12 2511633 m, 31057 m/sec, 11682620 t fired, .

Time elapsed: 98 secs. Pages in use: 17
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 95/276 18/32 CloudDeployment-PT-5b-LTLCardinality-12 2672202 m, 32113 m/sec, 12304385 t fired, .

Time elapsed: 103 secs. Pages in use: 18
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 100/276 19/32 CloudDeployment-PT-5b-LTLCardinality-12 2803800 m, 26319 m/sec, 12843324 t fired, .

Time elapsed: 108 secs. Pages in use: 19
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 105/276 20/32 CloudDeployment-PT-5b-LTLCardinality-12 2941481 m, 27536 m/sec, 13534608 t fired, .

Time elapsed: 113 secs. Pages in use: 20
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 110/276 21/32 CloudDeployment-PT-5b-LTLCardinality-12 3087545 m, 29212 m/sec, 14284542 t fired, .

Time elapsed: 118 secs. Pages in use: 21
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 115/276 22/32 CloudDeployment-PT-5b-LTLCardinality-12 3243750 m, 31241 m/sec, 14968778 t fired, .

Time elapsed: 123 secs. Pages in use: 22
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 120/276 23/32 CloudDeployment-PT-5b-LTLCardinality-12 3403252 m, 31900 m/sec, 15586516 t fired, .

Time elapsed: 128 secs. Pages in use: 23
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 125/276 23/32 CloudDeployment-PT-5b-LTLCardinality-12 3534711 m, 26291 m/sec, 16126840 t fired, .

Time elapsed: 133 secs. Pages in use: 23
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 130/276 24/32 CloudDeployment-PT-5b-LTLCardinality-12 3673159 m, 27689 m/sec, 16824449 t fired, .

Time elapsed: 138 secs. Pages in use: 24
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 135/276 25/32 CloudDeployment-PT-5b-LTLCardinality-12 3819393 m, 29246 m/sec, 17575571 t fired, .

Time elapsed: 143 secs. Pages in use: 25
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 140/276 26/32 CloudDeployment-PT-5b-LTLCardinality-12 3975833 m, 31288 m/sec, 18252891 t fired, .

Time elapsed: 148 secs. Pages in use: 26
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 145/276 27/32 CloudDeployment-PT-5b-LTLCardinality-12 4126887 m, 30210 m/sec, 18858396 t fired, .

Time elapsed: 153 secs. Pages in use: 27
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 150/276 28/32 CloudDeployment-PT-5b-LTLCardinality-12 4262810 m, 27184 m/sec, 19487116 t fired, .

Time elapsed: 158 secs. Pages in use: 28
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 155/276 29/32 CloudDeployment-PT-5b-LTLCardinality-12 4413905 m, 30219 m/sec, 20176386 t fired, .

Time elapsed: 163 secs. Pages in use: 29
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 160/276 30/32 CloudDeployment-PT-5b-LTLCardinality-12 4556739 m, 28566 m/sec, 20753435 t fired, .

Time elapsed: 168 secs. Pages in use: 30
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 165/276 31/32 CloudDeployment-PT-5b-LTLCardinality-12 4689460 m, 26544 m/sec, 21386483 t fired, .

Time elapsed: 173 secs. Pages in use: 31
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 LTL EXCL 170/276 32/32 CloudDeployment-PT-5b-LTLCardinality-12 4828748 m, 27857 m/sec, 22073657 t fired, .

Time elapsed: 178 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 49 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-12 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-10: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-15: LTL 0 1 0 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 183 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 62 (type EXCL) for 61 CloudDeployment-PT-5b-LTLCardinality-15
lola: time limit : 284 sec
lola: memory limit: 32 pages
lola: FINISHED task # 62 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-15
lola: result : false
lola: markings : 192
lola: fired transitions : 192
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 59 (type EXCL) for 58 CloudDeployment-PT-5b-LTLCardinality-14
lola: time limit : 310 sec
lola: memory limit: 32 pages
lola: FINISHED task # 59 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-14
lola: result : true
lola: markings : 25
lola: fired transitions : 37
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 43 (type EXCL) for 42 CloudDeployment-PT-5b-LTLCardinality-10
lola: time limit : 341 sec
lola: memory limit: 32 pages
lola: FINISHED task # 43 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-10
lola: result : false
lola: markings : 197
lola: fired transitions : 197
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 40 (type EXCL) for 39 CloudDeployment-PT-5b-LTLCardinality-09
lola: time limit : 379 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 5/379 3/32 CloudDeployment-PT-5b-LTLCardinality-09 189304 m, 37860 m/sec, 841460 t fired, .

Time elapsed: 188 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 10/379 4/32 CloudDeployment-PT-5b-LTLCardinality-09 375547 m, 37248 m/sec, 1806423 t fired, .

Time elapsed: 193 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 15/379 6/32 CloudDeployment-PT-5b-LTLCardinality-09 550605 m, 35011 m/sec, 2789908 t fired, .

Time elapsed: 198 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 20/379 7/32 CloudDeployment-PT-5b-LTLCardinality-09 719473 m, 33773 m/sec, 3793661 t fired, .

Time elapsed: 203 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 25/379 9/32 CloudDeployment-PT-5b-LTLCardinality-09 880104 m, 32126 m/sec, 4796372 t fired, .

Time elapsed: 208 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 30/379 10/32 CloudDeployment-PT-5b-LTLCardinality-09 1039246 m, 31828 m/sec, 5796961 t fired, .

Time elapsed: 213 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 35/379 12/32 CloudDeployment-PT-5b-LTLCardinality-09 1208256 m, 33802 m/sec, 6793528 t fired, .

Time elapsed: 218 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 40/379 13/32 CloudDeployment-PT-5b-LTLCardinality-09 1366796 m, 31708 m/sec, 7788961 t fired, .

Time elapsed: 223 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 45/379 15/32 CloudDeployment-PT-5b-LTLCardinality-09 1534344 m, 33509 m/sec, 8778400 t fired, .

Time elapsed: 228 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 50/379 17/32 CloudDeployment-PT-5b-LTLCardinality-09 1734780 m, 40087 m/sec, 9758426 t fired, .

Time elapsed: 233 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 55/379 18/32 CloudDeployment-PT-5b-LTLCardinality-09 1911198 m, 35283 m/sec, 10748040 t fired, .

Time elapsed: 238 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 60/379 20/32 CloudDeployment-PT-5b-LTLCardinality-09 2073579 m, 32476 m/sec, 11755822 t fired, .

Time elapsed: 243 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 65/379 21/32 CloudDeployment-PT-5b-LTLCardinality-09 2216377 m, 28559 m/sec, 12759531 t fired, .

Time elapsed: 248 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 70/379 23/32 CloudDeployment-PT-5b-LTLCardinality-09 2349281 m, 26580 m/sec, 13760661 t fired, .

Time elapsed: 253 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 75/379 24/32 CloudDeployment-PT-5b-LTLCardinality-09 2495888 m, 29321 m/sec, 14761803 t fired, .

Time elapsed: 258 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 80/379 26/32 CloudDeployment-PT-5b-LTLCardinality-09 2668666 m, 34555 m/sec, 15758326 t fired, .

Time elapsed: 263 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 85/379 27/32 CloudDeployment-PT-5b-LTLCardinality-09 2826431 m, 31553 m/sec, 16754381 t fired, .

Time elapsed: 268 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 90/379 29/32 CloudDeployment-PT-5b-LTLCardinality-09 2981744 m, 31062 m/sec, 17751499 t fired, .

Time elapsed: 273 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 95/379 30/32 CloudDeployment-PT-5b-LTLCardinality-09 3154425 m, 34536 m/sec, 18744025 t fired, .

Time elapsed: 278 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
40 LTL EXCL 100/379 32/32 CloudDeployment-PT-5b-LTLCardinality-09 3311950 m, 31505 m/sec, 19737135 t fired, .

Time elapsed: 283 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: CANCELED task # 40 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 1 0 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS

Time elapsed: 288 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: LAUNCH task # 28 (type EXCL) for 21 CloudDeployment-PT-5b-LTLCardinality-07
lola: time limit : 414 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 5/414 3/32 CloudDeployment-PT-5b-LTLCardinality-07 201158 m, 40231 m/sec, 893325 t fired, .

Time elapsed: 293 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 10/414 4/32 CloudDeployment-PT-5b-LTLCardinality-07 375756 m, 34919 m/sec, 1807477 t fired, .

Time elapsed: 298 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 15/414 6/32 CloudDeployment-PT-5b-LTLCardinality-07 553712 m, 35591 m/sec, 2805575 t fired, .

Time elapsed: 303 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 20/414 7/32 CloudDeployment-PT-5b-LTLCardinality-07 719916 m, 33240 m/sec, 3811239 t fired, .

Time elapsed: 308 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 25/414 9/32 CloudDeployment-PT-5b-LTLCardinality-07 882101 m, 32437 m/sec, 4817104 t fired, .

Time elapsed: 313 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 30/414 10/32 CloudDeployment-PT-5b-LTLCardinality-07 1043923 m, 32364 m/sec, 5821313 t fired, .

Time elapsed: 318 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 35/414 12/32 CloudDeployment-PT-5b-LTLCardinality-07 1210018 m, 33219 m/sec, 6822927 t fired, .

Time elapsed: 323 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 40/414 13/32 CloudDeployment-PT-5b-LTLCardinality-07 1370799 m, 32156 m/sec, 7822320 t fired, .

Time elapsed: 328 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 45/414 15/32 CloudDeployment-PT-5b-LTLCardinality-07 1540691 m, 33978 m/sec, 8817129 t fired, .

Time elapsed: 333 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 50/414 17/32 CloudDeployment-PT-5b-LTLCardinality-07 1743785 m, 40618 m/sec, 9799407 t fired, .

Time elapsed: 338 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 55/414 18/32 CloudDeployment-PT-5b-LTLCardinality-07 1919135 m, 35070 m/sec, 10794754 t fired, .

Time elapsed: 343 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 60/414 20/32 CloudDeployment-PT-5b-LTLCardinality-07 2081147 m, 32402 m/sec, 11808531 t fired, .

Time elapsed: 348 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 65/414 22/32 CloudDeployment-PT-5b-LTLCardinality-07 2224631 m, 28696 m/sec, 12817187 t fired, .

Time elapsed: 353 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 70/414 23/32 CloudDeployment-PT-5b-LTLCardinality-07 2355789 m, 26231 m/sec, 13822104 t fired, .

Time elapsed: 358 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 75/414 24/32 CloudDeployment-PT-5b-LTLCardinality-07 2509157 m, 30673 m/sec, 14826427 t fired, .

Time elapsed: 363 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 80/414 26/32 CloudDeployment-PT-5b-LTLCardinality-07 2675567 m, 33282 m/sec, 15828908 t fired, .

Time elapsed: 368 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-00: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-03: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-07: CONJ 0 0 1 0 5 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
28 LTL EXCL 85/414 27/32 CloudDeployment-PT-5b-LTLCardinality-07 2836937 m, 32274 m/sec, 16828158 t fired, .

Time elapsed: 373 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
lola: FINISHED task # 28 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-07
lola: result : false
lola: markings : 2933734
lola: fired transitions : 17538035
lola: time used : 89.000000
lola: memory pages used : 28
lola: LAUNCH task # 16 (type EXCL) for 15 CloudDeployment-PT-5b-LTLCardinality-05
lola: time limit : 460 sec
lola: memory limit: 32 pages
lola: FINISHED task # 16 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-05
lola: result : false
lola: markings : 218
lola: fired transitions : 218
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 10 (type EXCL) for 9 CloudDeployment-PT-5b-LTLCardinality-03
lola: time limit : 537 sec
lola: memory limit: 32 pages
lola: FINISHED task # 10 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-03
lola: result : true
lola: markings : 6
lola: fired transitions : 5
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 1 (type EXCL) for 0 CloudDeployment-PT-5b-LTLCardinality-00
lola: time limit : 644 sec
lola: memory limit: 32 pages
lola: FINISHED task # 1 (type EXCL) for CloudDeployment-PT-5b-LTLCardinality-00
lola: result : true
lola: markings : 1
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 19 (type EXCL) for 18 CloudDeployment-PT-5b-LTLCardinality-06
lola: time limit : 805 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 1/805 1/32 CloudDeployment-PT-5b-LTLCardinality-06 43669 m, 8733 m/sec, 174394 t fired, .

Time elapsed: 378 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 6/805 2/32 CloudDeployment-PT-5b-LTLCardinality-06 172326 m, 25731 m/sec, 798915 t fired, .

Time elapsed: 383 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 11/805 2/32 CloudDeployment-PT-5b-LTLCardinality-06 279607 m, 21456 m/sec, 1425309 t fired, .

Time elapsed: 388 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 16/805 3/32 CloudDeployment-PT-5b-LTLCardinality-06 383447 m, 20768 m/sec, 2051441 t fired, .

Time elapsed: 393 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 21/805 4/32 CloudDeployment-PT-5b-LTLCardinality-06 492785 m, 21867 m/sec, 2585482 t fired, .

Time elapsed: 398 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 26/805 5/32 CloudDeployment-PT-5b-LTLCardinality-06 618116 m, 25066 m/sec, 3199527 t fired, .

Time elapsed: 403 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 31/805 5/32 CloudDeployment-PT-5b-LTLCardinality-06 743541 m, 25085 m/sec, 3885186 t fired, .

Time elapsed: 408 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 36/805 6/32 CloudDeployment-PT-5b-LTLCardinality-06 869430 m, 25177 m/sec, 4572946 t fired, .

Time elapsed: 413 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 41/805 7/32 CloudDeployment-PT-5b-LTLCardinality-06 1028285 m, 31771 m/sec, 5298740 t fired, .

Time elapsed: 418 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 46/805 8/32 CloudDeployment-PT-5b-LTLCardinality-06 1155889 m, 25520 m/sec, 5975229 t fired, .

Time elapsed: 423 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 51/805 9/32 CloudDeployment-PT-5b-LTLCardinality-06 1288375 m, 26497 m/sec, 6663922 t fired, .

Time elapsed: 428 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 56/805 10/32 CloudDeployment-PT-5b-LTLCardinality-06 1423698 m, 27064 m/sec, 7344692 t fired, .

Time elapsed: 433 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 61/805 11/32 CloudDeployment-PT-5b-LTLCardinality-06 1550927 m, 25445 m/sec, 8058248 t fired, .

Time elapsed: 438 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 66/805 11/32 CloudDeployment-PT-5b-LTLCardinality-06 1680374 m, 25889 m/sec, 8792354 t fired, .

Time elapsed: 443 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 71/805 12/32 CloudDeployment-PT-5b-LTLCardinality-06 1810936 m, 26112 m/sec, 9508250 t fired, .

Time elapsed: 448 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 76/805 13/32 CloudDeployment-PT-5b-LTLCardinality-06 1919426 m, 21698 m/sec, 10190968 t fired, .

Time elapsed: 453 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 81/805 14/32 CloudDeployment-PT-5b-LTLCardinality-06 2045572 m, 25229 m/sec, 10896144 t fired, .

Time elapsed: 458 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 86/805 15/32 CloudDeployment-PT-5b-LTLCardinality-06 2159163 m, 22718 m/sec, 11678537 t fired, .

Time elapsed: 463 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 91/805 15/32 CloudDeployment-PT-5b-LTLCardinality-06 2277666 m, 23700 m/sec, 12345427 t fired, .

Time elapsed: 468 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 96/805 16/32 CloudDeployment-PT-5b-LTLCardinality-06 2405184 m, 25503 m/sec, 13099094 t fired, .

Time elapsed: 473 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 101/805 17/32 CloudDeployment-PT-5b-LTLCardinality-06 2520278 m, 23018 m/sec, 13895345 t fired, .

Time elapsed: 478 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 106/805 18/32 CloudDeployment-PT-5b-LTLCardinality-06 2622774 m, 20499 m/sec, 14578256 t fired, .

Time elapsed: 483 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 111/805 18/32 CloudDeployment-PT-5b-LTLCardinality-06 2679907 m, 11426 m/sec, 15059289 t fired, .

Time elapsed: 488 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 116/805 18/32 CloudDeployment-PT-5b-LTLCardinality-06 2755022 m, 15023 m/sec, 15547776 t fired, .

Time elapsed: 493 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 121/805 19/32 CloudDeployment-PT-5b-LTLCardinality-06 2815129 m, 12021 m/sec, 15951658 t fired, .

Time elapsed: 498 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 126/805 19/32 CloudDeployment-PT-5b-LTLCardinality-06 2875857 m, 12145 m/sec, 16321810 t fired, .

Time elapsed: 503 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 131/805 20/32 CloudDeployment-PT-5b-LTLCardinality-06 2980969 m, 21022 m/sec, 16912062 t fired, .

Time elapsed: 508 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 136/805 20/32 CloudDeployment-PT-5b-LTLCardinality-06 3026343 m, 9074 m/sec, 17227713 t fired, .

Time elapsed: 513 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 141/805 21/32 CloudDeployment-PT-5b-LTLCardinality-06 3090122 m, 12755 m/sec, 17649888 t fired, .

Time elapsed: 518 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 146/805 21/32 CloudDeployment-PT-5b-LTLCardinality-06 3188216 m, 19618 m/sec, 18189651 t fired, .

Time elapsed: 523 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 151/805 22/32 CloudDeployment-PT-5b-LTLCardinality-06 3251368 m, 12630 m/sec, 18534211 t fired, .

Time elapsed: 528 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 156/805 22/32 CloudDeployment-PT-5b-LTLCardinality-06 3322853 m, 14297 m/sec, 18943898 t fired, .

Time elapsed: 533 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 161/805 23/32 CloudDeployment-PT-5b-LTLCardinality-06 3395841 m, 14597 m/sec, 19490549 t fired, .

Time elapsed: 538 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 166/805 23/32 CloudDeployment-PT-5b-LTLCardinality-06 3438807 m, 8593 m/sec, 19764248 t fired, .

Time elapsed: 543 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 171/805 23/32 CloudDeployment-PT-5b-LTLCardinality-06 3516206 m, 15479 m/sec, 20182845 t fired, .

Time elapsed: 548 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 176/805 24/32 CloudDeployment-PT-5b-LTLCardinality-06 3573966 m, 11552 m/sec, 20716137 t fired, .

Time elapsed: 553 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 181/805 24/32 CloudDeployment-PT-5b-LTLCardinality-06 3626877 m, 10582 m/sec, 21085623 t fired, .

Time elapsed: 558 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 186/805 24/32 CloudDeployment-PT-5b-LTLCardinality-06 3693894 m, 13403 m/sec, 21523531 t fired, .

Time elapsed: 563 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 191/805 25/32 CloudDeployment-PT-5b-LTLCardinality-06 3775428 m, 16306 m/sec, 21912629 t fired, .

Time elapsed: 568 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 196/805 26/32 CloudDeployment-PT-5b-LTLCardinality-06 3868320 m, 18578 m/sec, 22333436 t fired, .

Time elapsed: 573 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 201/805 26/32 CloudDeployment-PT-5b-LTLCardinality-06 3991700 m, 24676 m/sec, 22787272 t fired, .

Time elapsed: 578 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 206/805 27/32 CloudDeployment-PT-5b-LTLCardinality-06 4137397 m, 29139 m/sec, 23321397 t fired, .

Time elapsed: 583 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 211/805 28/32 CloudDeployment-PT-5b-LTLCardinality-06 4232831 m, 19086 m/sec, 23688698 t fired, .

Time elapsed: 588 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 216/805 28/32 CloudDeployment-PT-5b-LTLCardinality-06 4303524 m, 14138 m/sec, 24054703 t fired, .

Time elapsed: 593 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 221/805 29/32 CloudDeployment-PT-5b-LTLCardinality-06 4399676 m, 19230 m/sec, 24550223 t fired, .

Time elapsed: 598 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
CloudDeployment-PT-5b-LTLCardinality-00: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-03: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-04: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-05: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-07: CONJ false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-08: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-10: LTL false LTL model checker
CloudDeployment-PT-5b-LTLCardinality-13: CONJ false findpath
CloudDeployment-PT-5b-LTLCardinality-14: LTL true LTL model checker
CloudDeployment-PT-5b-LTLCardinality-15: LTL false LTL model checker

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
CloudDeployment-PT-5b-LTLCardinality-01: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-06: LTL 0 0 1 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-09: LTL 0 0 0 0 1 0 1 0
CloudDeployment-PT-5b-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
CloudDeployment-PT-5b-LTLCardinality-12: LTL 0 0 0 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
19 LTL EXCL 226/805 29/32 CloudDeployment-PT-5b-LTLCardinality-06 4451424 m, 10349 m/sec, 24819369 t fired, .

Time elapsed: 603 secs. Pages in use: 32
# running tasks: 1 of 4 Visible: 16
/home/mcc/BenchKit/bin//../lola/bin//../BenchKit_head.sh: line 63: 375 Killed lola --conf=$BIN_DIR/configfiles/ltlcardinalityconf --formula=$DIR/LTLCardinality.xml --verdictfile=$DIR/GenericPropertiesVerdict.xml $DIR/model.pnml

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="CloudDeployment-PT-5b"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool lola"
echo " Input is CloudDeployment-PT-5b, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-167814397200419"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-5b.tgz
mv CloudDeployment-PT-5b execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;