Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r115-smll-171624276500147.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool lola
Input is DLCround-PT-05a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r115-smll-171624276500147
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 804K
-rw-r--r-- 1 mcc users 7.1K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K May 14 13:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K Apr 22 14:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 22 14:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 22 14:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 22 14:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 13 13:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 150K Apr 13 13:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 13 13:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 120K Apr 13 13:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 22 14:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 22 14:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 4 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 259K May 18 16:42 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 DLCround-PT-05a-LTLCardinality-00
FORMULA_NAME DLCround-PT-05a-LTLCardinality-01
FORMULA_NAME DLCround-PT-05a-LTLCardinality-02
FORMULA_NAME DLCround-PT-05a-LTLCardinality-03
FORMULA_NAME DLCround-PT-05a-LTLCardinality-04
FORMULA_NAME DLCround-PT-05a-LTLCardinality-05
FORMULA_NAME DLCround-PT-05a-LTLCardinality-06
FORMULA_NAME DLCround-PT-05a-LTLCardinality-07
FORMULA_NAME DLCround-PT-05a-LTLCardinality-08
FORMULA_NAME DLCround-PT-05a-LTLCardinality-09
FORMULA_NAME DLCround-PT-05a-LTLCardinality-10
FORMULA_NAME DLCround-PT-05a-LTLCardinality-11
FORMULA_NAME DLCround-PT-05a-LTLCardinality-12
FORMULA_NAME DLCround-PT-05a-LTLCardinality-13
FORMULA_NAME DLCround-PT-05a-LTLCardinality-14
FORMULA_NAME DLCround-PT-05a-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1717063919917

FORMULA DLCround-PT-05a-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-08 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA DLCround-PT-05a-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
[lola] FINAL RESULTS
[lola]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola] DLCround-PT-05a-LTLCardinality-00: LTL true skeleton: LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-01: LTL/CTL true LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-02: LTL false LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola] DLCround-PT-05a-LTLCardinality-04: LTL/CTL true LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-05: LTL false LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-06: LTL/CTL true LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola] DLCround-PT-05a-LTLCardinality-09: LTL false LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-10: LTL/CTL true LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-11: LTL false LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-12: LTL true LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-14: LTL false LTL model checker
[lola] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola]
[lola] Time elapsed: 236 secs. Pages in use: 85

BK_STOP 1717064157372

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

[lola][I] LoLA will run for 3600 seconds at most (--timelimit)
[lola][W] unknown unit in memory specification: using default
[lola][I] MEM LIMIT 5
[lola][I] NET
[lola][I] reading net from model.pnml
[lola][I] input: PNML file (--pnmlnet)
[lola][I] reading pnml
[lola][I] PNML file contains place/transition net
[lola][I] closed net file model.pnml
[lola][I] finished parsing
[lola][I] Reading formula.
[lola][I] Using XML format (--xmlformula)
[lola][I] reading XML formula
[lola][I] reading formula from LTLCardinality.xml
[lola][I] NOTDEADLOCKFREE
[lola][I] NOTDEADLOCKFREE
[lola][I] LAUNCH task # 48 (type SKEL/SRCH) for 0 DLCround-PT-05a-LTLCardinality-00
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 49 (type SKEL/SRCH) for 3 DLCround-PT-05a-LTLCardinality-01
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] Rule S: 0 transitions removed,0 places removed
[lola][I] NOTDEADLOCKFREE
[lola][I] FINISHED task # 49 (type SKEL/SRCH) for DLCround-PT-05a-LTLCardinality-01
[lola][I] result : true
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 46 (type CNST) for 45 DLCround-PT-05a-LTLCardinality-15
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 46 (type CNST) for DLCround-PT-05a-LTLCardinality-15
[lola][I] result : false
[lola][I] NOTDEADLOCKFREE
[lola][I] LAUNCH task # 50 (type SKEL/SRCH) for 12 DLCround-PT-05a-LTLCardinality-04
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 50 (type SKEL/SRCH) for DLCround-PT-05a-LTLCardinality-04
[lola][I] result : true
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] NOTDEADLOCKFREE
[lola][I] LAUNCH task # 10 (type CNST) for 9 DLCround-PT-05a-LTLCardinality-03
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] LAUNCH task # 51 (type SKEL/SRCH) for 18 DLCround-PT-05a-LTLCardinality-06
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] LAUNCH task # 22 (type CNST) for 21 DLCround-PT-05a-LTLCardinality-07
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 51 (type SKEL/SRCH) for DLCround-PT-05a-LTLCardinality-06
[lola][I] result : true
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] NOTDEADLOCKFREE
[lola][I] LAUNCH task # 25 (type CNST) for 24 DLCround-PT-05a-LTLCardinality-08
[lola][I] time limit : 0 sec
[lola][I] memory limit: 0 pages
[lola][I] FINISHED task # 10 (type CNST) for DLCround-PT-05a-LTLCardinality-03
[lola][I] result : true
[lola][I] FINISHED task # 25 (type CNST) for DLCround-PT-05a-LTLCardinality-08
[lola][I] result : true
[lola][I] FINISHED task # 22 (type CNST) for DLCround-PT-05a-LTLCardinality-07
[lola][I] result : false
[lola][I] NOTDEADLOCKFREE
[lola][I] LAUNCH task # 52 (type SKEL/SRCH) for 30 DLCround-PT-05a-LTLCardinality-10
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 52 (type SKEL/SRCH) for DLCround-PT-05a-LTLCardinality-10
[lola][I] result : true
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] NOTDEADLOCKFREE
[lola][I] LAUNCH task # 1 (type EXCL) for 0 DLCround-PT-05a-LTLCardinality-00
[lola][I] time limit : 257 sec
[lola][I] memory limit: 2000 pages
[lola][I] NOTDEADLOCKFREE
[lola][I] LAUNCH task # 53 (type SKEL/SRCH) for 39 DLCround-PT-05a-LTLCardinality-13
[lola][I] time limit : 32000000 sec
[lola][I] memory limit: 5 pages
[lola][I] FINISHED task # 53 (type SKEL/SRCH) for DLCround-PT-05a-LTLCardinality-13
[lola][I] result : false
[lola][I] markings : 3
[lola][I] fired transitions : 3
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 5/327 2/2000 DLCround-PT-05a-LTLCardinality-00 294588 m, 58917 m/sec, 6484725 t fired, .
[lola][.] 48 LTL SRCH 5/3599 1/5 DLCround-PT-05a-LTLCardinality-00 493012 m, 98602 m/sec, 6550643 t fired, .
[lola][.]
[lola][.] Time elapsed: 6 secs. Pages in use: 3
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 10/327 5/2000 DLCround-PT-05a-LTLCardinality-00 630320 m, 67146 m/sec, 12946842 t fired, .
[lola][.] 48 LTL SRCH 10/3599 1/5 DLCround-PT-05a-LTLCardinality-00 949546 m, 91306 m/sec, 13242770 t fired, .
[lola][.]
[lola][.] Time elapsed: 11 secs. Pages in use: 6
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 15/327 6/2000 DLCround-PT-05a-LTLCardinality-00 925019 m, 58939 m/sec, 19394988 t fired, .
[lola][.] 48 LTL SRCH 15/3599 1/5 DLCround-PT-05a-LTLCardinality-00 1378622 m, 85815 m/sec, 19688653 t fired, .
[lola][.]
[lola][.] Time elapsed: 16 secs. Pages in use: 7
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 20/327 8/2000 DLCround-PT-05a-LTLCardinality-00 1217832 m, 58562 m/sec, 25663588 t fired, .
[lola][.] 48 LTL SRCH 20/3599 1/5 DLCround-PT-05a-LTLCardinality-00 1776924 m, 79660 m/sec, 25839371 t fired, .
[lola][.]
[lola][.] Time elapsed: 21 secs. Pages in use: 9
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 25/327 10/2000 DLCround-PT-05a-LTLCardinality-00 1506235 m, 57680 m/sec, 32027339 t fired, .
[lola][.] 48 LTL SRCH 25/3599 1/5 DLCround-PT-05a-LTLCardinality-00 2153361 m, 75287 m/sec, 31815896 t fired, .
[lola][.]
[lola][.] Time elapsed: 26 secs. Pages in use: 11
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 30/327 12/2000 DLCround-PT-05a-LTLCardinality-00 1781764 m, 55105 m/sec, 38119748 t fired, .
[lola][.] 48 LTL SRCH 30/3599 1/5 DLCround-PT-05a-LTLCardinality-00 2514428 m, 72213 m/sec, 37613994 t fired, .
[lola][.]
[lola][.] Time elapsed: 31 secs. Pages in use: 13
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 35/327 14/2000 DLCround-PT-05a-LTLCardinality-00 2069737 m, 57594 m/sec, 44365254 t fired, .
[lola][.] 48 LTL SRCH 35/3599 1/5 DLCround-PT-05a-LTLCardinality-00 2866242 m, 70362 m/sec, 43280547 t fired, .
[lola][.]
[lola][.] Time elapsed: 36 secs. Pages in use: 15
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 40/327 16/2000 DLCround-PT-05a-LTLCardinality-00 2354201 m, 56892 m/sec, 50622972 t fired, .
[lola][.] 48 LTL SRCH 40/3599 1/5 DLCround-PT-05a-LTLCardinality-00 3210009 m, 68753 m/sec, 48878387 t fired, .
[lola][.]
[lola][.] Time elapsed: 41 secs. Pages in use: 17
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 45/327 18/2000 DLCround-PT-05a-LTLCardinality-00 2627740 m, 54707 m/sec, 56852398 t fired, .
[lola][.] 48 LTL SRCH 45/3599 1/5 DLCround-PT-05a-LTLCardinality-00 3538195 m, 65637 m/sec, 54311771 t fired, .
[lola][.]
[lola][.] Time elapsed: 46 secs. Pages in use: 19
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 50/327 19/2000 DLCround-PT-05a-LTLCardinality-00 2918495 m, 58151 m/sec, 62839251 t fired, .
[lola][.] 48 LTL SRCH 50/3599 1/5 DLCround-PT-05a-LTLCardinality-00 3857402 m, 63841 m/sec, 59662508 t fired, .
[lola][.]
[lola][.] Time elapsed: 51 secs. Pages in use: 20
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 55/327 21/2000 DLCround-PT-05a-LTLCardinality-00 3210403 m, 58381 m/sec, 68910470 t fired, .
[lola][.] 48 LTL SRCH 55/3599 1/5 DLCround-PT-05a-LTLCardinality-00 4175200 m, 63559 m/sec, 64935578 t fired, .
[lola][.]
[lola][.] Time elapsed: 56 secs. Pages in use: 22
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 60/327 23/2000 DLCround-PT-05a-LTLCardinality-00 3495303 m, 56980 m/sec, 75129466 t fired, .
[lola][.] 48 LTL SRCH 60/3599 1/5 DLCround-PT-05a-LTLCardinality-00 4481122 m, 61184 m/sec, 70130589 t fired, .
[lola][.]
[lola][.] Time elapsed: 61 secs. Pages in use: 24
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 65/327 25/2000 DLCround-PT-05a-LTLCardinality-00 3763047 m, 53548 m/sec, 81326617 t fired, .
[lola][.] 48 LTL SRCH 65/3599 1/5 DLCround-PT-05a-LTLCardinality-00 4778380 m, 59451 m/sec, 75210336 t fired, .
[lola][.]
[lola][.] Time elapsed: 66 secs. Pages in use: 26
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 70/327 27/2000 DLCround-PT-05a-LTLCardinality-00 4037144 m, 54819 m/sec, 87392601 t fired, .
[lola][.] 48 LTL SRCH 70/3599 1/5 DLCround-PT-05a-LTLCardinality-00 5065454 m, 57414 m/sec, 80186303 t fired, .
[lola][.]
[lola][.] Time elapsed: 71 secs. Pages in use: 28
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 75/327 28/2000 DLCround-PT-05a-LTLCardinality-00 4315419 m, 55655 m/sec, 93482886 t fired, .
[lola][.] 48 LTL SRCH 75/3599 1/5 DLCround-PT-05a-LTLCardinality-00 5355340 m, 57977 m/sec, 85165781 t fired, .
[lola][.]
[lola][.] Time elapsed: 76 secs. Pages in use: 29
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 80/327 30/2000 DLCround-PT-05a-LTLCardinality-00 4584951 m, 53906 m/sec, 99556663 t fired, .
[lola][.] 48 LTL SRCH 80/3599 1/5 DLCround-PT-05a-LTLCardinality-00 5637805 m, 56493 m/sec, 90078180 t fired, .
[lola][.]
[lola][.] Time elapsed: 81 secs. Pages in use: 31
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 85/327 32/2000 DLCround-PT-05a-LTLCardinality-00 4851710 m, 53351 m/sec, 105732078 t fired, .
[lola][.] 48 LTL SRCH 85/3599 1/5 DLCround-PT-05a-LTLCardinality-00 5913955 m, 55230 m/sec, 94936264 t fired, .
[lola][.]
[lola][.] Time elapsed: 86 secs. Pages in use: 33
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 90/327 34/2000 DLCround-PT-05a-LTLCardinality-00 5141908 m, 58039 m/sec, 111679567 t fired, .
[lola][.] 48 LTL SRCH 90/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6182134 m, 53635 m/sec, 99727962 t fired, .
[lola][.]
[lola][.] Time elapsed: 91 secs. Pages in use: 35
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 95/327 36/2000 DLCround-PT-05a-LTLCardinality-00 5439588 m, 59536 m/sec, 117634449 t fired, .
[lola][.] 48 LTL SRCH 95/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6448687 m, 53310 m/sec, 104517339 t fired, .
[lola][.]
[lola][.] Time elapsed: 96 secs. Pages in use: 37
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 100/327 38/2000 DLCround-PT-05a-LTLCardinality-00 5709433 m, 53969 m/sec, 123598493 t fired, .
[lola][.] 48 LTL SRCH 100/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6706561 m, 51574 m/sec, 109379255 t fired, .
[lola][.]
[lola][.] Time elapsed: 101 secs. Pages in use: 39
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 105/327 39/2000 DLCround-PT-05a-LTLCardinality-00 5967759 m, 51665 m/sec, 129623562 t fired, .
[lola][.] 48 LTL SRCH 105/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6718075 m, 2302 m/sec, 114497828 t fired, .
[lola][.]
[lola][.] Time elapsed: 106 secs. Pages in use: 40
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 110/327 41/2000 DLCround-PT-05a-LTLCardinality-00 6235873 m, 53622 m/sec, 135664613 t fired, .
[lola][.] 48 LTL SRCH 110/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6719519 m, 288 m/sec, 119405655 t fired, .
[lola][.]
[lola][.] Time elapsed: 111 secs. Pages in use: 42
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 115/327 43/2000 DLCround-PT-05a-LTLCardinality-00 6515761 m, 55977 m/sec, 141724430 t fired, .
[lola][.] 48 LTL SRCH 115/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6720508 m, 197 m/sec, 124257380 t fired, .
[lola][.]
[lola][.] Time elapsed: 116 secs. Pages in use: 44
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 120/327 44/2000 DLCround-PT-05a-LTLCardinality-00 6776710 m, 52189 m/sec, 147645024 t fired, .
[lola][.] 48 LTL SRCH 120/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6721210 m, 140 m/sec, 129131607 t fired, .
[lola][.]
[lola][.] Time elapsed: 121 secs. Pages in use: 45
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 125/327 46/2000 DLCround-PT-05a-LTLCardinality-00 7033232 m, 51304 m/sec, 153588778 t fired, .
[lola][.] 48 LTL SRCH 125/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6721790 m, 116 m/sec, 133997028 t fired, .
[lola][.]
[lola][.] Time elapsed: 126 secs. Pages in use: 47
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 130/327 48/2000 DLCround-PT-05a-LTLCardinality-00 7284357 m, 50225 m/sec, 159494790 t fired, .
[lola][.] 48 LTL SRCH 130/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6722289 m, 99 m/sec, 138902092 t fired, .
[lola][.]
[lola][.] Time elapsed: 131 secs. Pages in use: 49
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 135/327 49/2000 DLCround-PT-05a-LTLCardinality-00 7540673 m, 51263 m/sec, 165291232 t fired, .
[lola][.] 48 LTL SRCH 135/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6722707 m, 83 m/sec, 143839876 t fired, .
[lola][.]
[lola][.] Time elapsed: 136 secs. Pages in use: 50
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 140/327 51/2000 DLCround-PT-05a-LTLCardinality-00 7811906 m, 54246 m/sec, 171325558 t fired, .
[lola][.] 48 LTL SRCH 140/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6723096 m, 77 m/sec, 148696592 t fired, .
[lola][.]
[lola][.] Time elapsed: 141 secs. Pages in use: 52
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 145/327 53/2000 DLCround-PT-05a-LTLCardinality-00 8069322 m, 51483 m/sec, 177304247 t fired, .
[lola][.] 48 LTL SRCH 145/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6723481 m, 77 m/sec, 153607042 t fired, .
[lola][.]
[lola][.] Time elapsed: 146 secs. Pages in use: 54
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 150/327 55/2000 DLCround-PT-05a-LTLCardinality-00 8376532 m, 61442 m/sec, 183726514 t fired, .
[lola][.] 48 LTL SRCH 150/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6723767 m, 57 m/sec, 158577817 t fired, .
[lola][.]
[lola][.] Time elapsed: 151 secs. Pages in use: 56
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 155/327 57/2000 DLCround-PT-05a-LTLCardinality-00 8658495 m, 56392 m/sec, 189732374 t fired, .
[lola][.] 48 LTL SRCH 155/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6724048 m, 56 m/sec, 163620040 t fired, .
[lola][.]
[lola][.] Time elapsed: 156 secs. Pages in use: 58
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 160/327 58/2000 DLCround-PT-05a-LTLCardinality-00 8938228 m, 55946 m/sec, 195872731 t fired, .
[lola][.] 48 LTL SRCH 160/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6724308 m, 52 m/sec, 168712389 t fired, .
[lola][.]
[lola][.] Time elapsed: 161 secs. Pages in use: 59
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 165/327 60/2000 DLCround-PT-05a-LTLCardinality-00 9205831 m, 53520 m/sec, 201959362 t fired, .
[lola][.] 48 LTL SRCH 165/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6724551 m, 48 m/sec, 173782526 t fired, .
[lola][.]
[lola][.] Time elapsed: 166 secs. Pages in use: 61
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 170/327 62/2000 DLCround-PT-05a-LTLCardinality-00 9456531 m, 50140 m/sec, 207807207 t fired, .
[lola][.] 48 LTL SRCH 170/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6724744 m, 38 m/sec, 178937915 t fired, .
[lola][.]
[lola][.] Time elapsed: 171 secs. Pages in use: 63
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 175/327 64/2000 DLCround-PT-05a-LTLCardinality-00 9720338 m, 52761 m/sec, 213787361 t fired, .
[lola][.] 48 LTL SRCH 175/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6724955 m, 42 m/sec, 184112390 t fired, .
[lola][.]
[lola][.] Time elapsed: 176 secs. Pages in use: 65
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 180/327 65/2000 DLCround-PT-05a-LTLCardinality-00 9987766 m, 53485 m/sec, 219746884 t fired, .
[lola][.] 48 LTL SRCH 180/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6725161 m, 41 m/sec, 189412239 t fired, .
[lola][.]
[lola][.] Time elapsed: 181 secs. Pages in use: 66
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 185/327 67/2000 DLCround-PT-05a-LTLCardinality-00 10237878 m, 50022 m/sec, 225509621 t fired, .
[lola][.] 48 LTL SRCH 185/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6725326 m, 33 m/sec, 194793806 t fired, .
[lola][.]
[lola][.] Time elapsed: 186 secs. Pages in use: 68
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 190/327 69/2000 DLCround-PT-05a-LTLCardinality-00 10496984 m, 51821 m/sec, 231400651 t fired, .
[lola][.] 48 LTL SRCH 190/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6725480 m, 30 m/sec, 200202080 t fired, .
[lola][.]
[lola][.] Time elapsed: 191 secs. Pages in use: 70
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 195/327 70/2000 DLCround-PT-05a-LTLCardinality-00 10743671 m, 49337 m/sec, 237136052 t fired, .
[lola][.] 48 LTL SRCH 195/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6725656 m, 35 m/sec, 205677012 t fired, .
[lola][.]
[lola][.] Time elapsed: 196 secs. Pages in use: 71
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 200/327 72/2000 DLCround-PT-05a-LTLCardinality-00 11002398 m, 51745 m/sec, 243016157 t fired, .
[lola][.] 48 LTL SRCH 200/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6725803 m, 29 m/sec, 211224836 t fired, .
[lola][.]
[lola][.] Time elapsed: 201 secs. Pages in use: 73
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 205/327 73/2000 DLCround-PT-05a-LTLCardinality-00 11252284 m, 49977 m/sec, 248633927 t fired, .
[lola][.] 48 LTL SRCH 205/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6725943 m, 28 m/sec, 216902807 t fired, .
[lola][.]
[lola][.] Time elapsed: 206 secs. Pages in use: 74
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 210/327 75/2000 DLCround-PT-05a-LTLCardinality-00 11490592 m, 47661 m/sec, 254430290 t fired, .
[lola][.] 48 LTL SRCH 210/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6726094 m, 30 m/sec, 222708487 t fired, .
[lola][.]
[lola][.] Time elapsed: 211 secs. Pages in use: 76
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 215/327 77/2000 DLCround-PT-05a-LTLCardinality-00 11761565 m, 54194 m/sec, 260416829 t fired, .
[lola][.] 48 LTL SRCH 215/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6726252 m, 31 m/sec, 228686129 t fired, .
[lola][.]
[lola][.] Time elapsed: 216 secs. Pages in use: 78
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 220/327 78/2000 DLCround-PT-05a-LTLCardinality-00 12023851 m, 52457 m/sec, 266477006 t fired, .
[lola][.] 48 LTL SRCH 220/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6726418 m, 33 m/sec, 234792767 t fired, .
[lola][.]
[lola][.] Time elapsed: 221 secs. Pages in use: 79
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 225/327 80/2000 DLCround-PT-05a-LTLCardinality-00 12290073 m, 53244 m/sec, 272770325 t fired, .
[lola][.] 48 LTL SRCH 225/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6726526 m, 21 m/sec, 241190625 t fired, .
[lola][.]
[lola][.] Time elapsed: 226 secs. Pages in use: 81
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL 0 0 2 0 0 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 1 LTL EXCL 230/327 82/2000 DLCround-PT-05a-LTLCardinality-00 12567903 m, 55566 m/sec, 278997074 t fired, .
[lola][.] 48 LTL SRCH 230/3599 1/5 DLCround-PT-05a-LTLCardinality-00 6726629 m, 20 m/sec, 247881985 t fired, .
[lola][.]
[lola][.] Time elapsed: 231 secs. Pages in use: 83
[lola][.] # running tasks: 2 of 4. Visible: 16
[lola][I] FINISHED task # 48 (type SKEL/SRCH) for DLCround-PT-05a-LTLCardinality-00
[lola][I] result : true
[lola][I] markings : 6726721
[lola][I] fired transitions : 254886633
[lola][I] time used : 235
[lola][I] memory pages used : 1
[lola][W] CANCELED task # 1 (type EXCL) for DLCround-PT-05a-LTLCardinality-00 (obsolete)
[lola][I] LAUNCH task # 37 (type EXCL) for 36 DLCround-PT-05a-LTLCardinality-12
[lola][I] time limit : 336 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 37 (type EXCL) for DLCround-PT-05a-LTLCardinality-12
[lola][I] result : true
[lola][I] markings : 78
[lola][I] fired transitions : 434
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 34 (type EXCL) for 33 DLCround-PT-05a-LTLCardinality-11
[lola][I] time limit : 373 sec
[lola][I] memory limit: 2000 pages
[lola][I]  FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
[lola][.] DLCround-PT-05a-LTLCardinality-00: LTL true skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-03: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-07: INITIAL false preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-08: INITIAL true preprocessing
[lola][.] DLCround-PT-05a-LTLCardinality-12: LTL true LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-13: LTL/CTL false skeleton: LTL model checker
[lola][.] DLCround-PT-05a-LTLCardinality-15: INITIAL false preprocessing
[lola][.]
[lola][.]  PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
[lola][.] DLCround-PT-05a-LTLCardinality-01: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-02: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-04: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-05: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-06: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-09: LTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-10: LTL/CTL 0 1 0 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-11: LTL 0 0 1 0 1 0 0 0
[lola][.] DLCround-PT-05a-LTLCardinality-14: LTL 0 1 0 0 1 0 0 0
[lola][.]
[lola][.]  TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
[lola][.] 34 LTL EXCL 0/373 1/2000 DLCround-PT-05a-LTLCardinality-11 6453 m, 1290 m/sec, 164146 t fired, .
[lola][.]
[lola][.] Time elapsed: 236 secs. Pages in use: 85
[lola][.] # running tasks: 1 of 4. Visible: 16
[lola][I] FINISHED task # 34 (type EXCL) for DLCround-PT-05a-LTLCardinality-11
[lola][I] result : false
[lola][I] markings : 15291
[lola][I] fired transitions : 408058
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 31 (type EXCL) for 30 DLCround-PT-05a-LTLCardinality-10
[lola][I] time limit : 420 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 31 (type EXCL) for DLCround-PT-05a-LTLCardinality-10
[lola][I] result : true
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 28 (type EXCL) for 27 DLCround-PT-05a-LTLCardinality-09
[lola][I] time limit : 480 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 28 (type EXCL) for DLCround-PT-05a-LTLCardinality-09
[lola][I] result : false
[lola][I] markings : 7646
[lola][I] fired transitions : 191003
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 19 (type EXCL) for 18 DLCround-PT-05a-LTLCardinality-06
[lola][I] time limit : 560 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 19 (type EXCL) for DLCround-PT-05a-LTLCardinality-06
[lola][I] result : true
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 13 (type EXCL) for 12 DLCround-PT-05a-LTLCardinality-04
[lola][I] time limit : 672 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 13 (type EXCL) for DLCround-PT-05a-LTLCardinality-04
[lola][I] result : true
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 7 (type EXCL) for 6 DLCround-PT-05a-LTLCardinality-02
[lola][I] time limit : 841 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 7 (type EXCL) for DLCround-PT-05a-LTLCardinality-02
[lola][I] result : false
[lola][I] markings : 2
[lola][I] fired transitions : 2
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 4 (type EXCL) for 3 DLCround-PT-05a-LTLCardinality-01
[lola][I] time limit : 1121 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 4 (type EXCL) for DLCround-PT-05a-LTLCardinality-01
[lola][I] result : true
[lola][I] markings : 2
[lola][I] fired transitions : 1
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 16 (type EXCL) for 15 DLCround-PT-05a-LTLCardinality-05
[lola][I] time limit : 1682 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 16 (type EXCL) for DLCround-PT-05a-LTLCardinality-05
[lola][I] result : false
[lola][I] markings : 25
[lola][I] fired transitions : 183
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] LAUNCH task # 43 (type EXCL) for 42 DLCround-PT-05a-LTLCardinality-14
[lola][I] time limit : 3364 sec
[lola][I] memory limit: 2000 pages
[lola][I] FINISHED task # 43 (type EXCL) for DLCround-PT-05a-LTLCardinality-14
[lola][I] result : false
[lola][I] markings : 3
[lola][I] fired transitions : 4
[lola][I] time used : 0
[lola][I] memory pages used : 1
[lola][I] Portfolio finished: no open formulas

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="DLCround-PT-05a"
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-5568"
echo " Executing tool lola"
echo " Input is DLCround-PT-05a, 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 r115-smll-171624276500147"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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