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.r087-tall-171620521900284.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 gold2023
Input is ClientsAndServers-PT-N0020P1, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r087-tall-171620521900284
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 5.9K May 14 13:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K May 14 13:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K May 14 13:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K 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.6K May 18 16:42 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K May 19 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 19 15:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 19 07:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 19 18:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Apr 12 22:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Apr 12 22:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Apr 12 22:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Apr 12 22:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 22 14:33 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:33 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 18 16:42 equiv_col
-rw-r--r-- 1 mcc users 8 May 18 16:42 instance
-rw-r--r-- 1 mcc users 6 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 9.2K 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 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14
FORMULA_NAME ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15

=== Now, execution of the tool begins

BK_START 1716255338761

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=ReachabilityCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ClientsAndServers-PT-N0020P1
Applying reductions before tool lola
Invoking reducer
Running Version 202304061127
[2024-05-21 01:35:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -timeout, 360, -rebuildPNML]
[2024-05-21 01:35:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-21 01:35:40] [INFO ] Load time of PNML (sax parser for PT used): 20 ms
[2024-05-21 01:35:40] [INFO ] Transformed 25 places.
[2024-05-21 01:35:40] [INFO ] Transformed 18 transitions.
[2024-05-21 01:35:40] [INFO ] Parsed PT model containing 25 places and 18 transitions and 54 arcs in 73 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 16 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10036 steps, including 2 resets, run finished after 58 ms. (steps per millisecond=173 ) properties (out of 16) seen :6
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=81 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 37 ms. (steps per millisecond=270 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 62 ms. (steps per millisecond=161 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 62 ms. (steps per millisecond=161 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 41 ms. (steps per millisecond=243 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 56 ms. (steps per millisecond=178 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 48 ms. (steps per millisecond=208 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=109 ) properties (out of 10) seen :1
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14 TRUE TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Running SMT prover for 9 properties.
// Phase 1: matrix 18 rows 25 cols
[2024-05-21 01:35:40] [INFO ] Computed 8 invariants in 6 ms
[2024-05-21 01:35:41] [INFO ] After 176ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:9
[2024-05-21 01:35:41] [INFO ] [Nat]Absence check using 5 positive place invariants in 1 ms returned sat
[2024-05-21 01:35:41] [INFO ] [Nat]Absence check using 5 positive and 3 generalized place invariants in 2 ms returned sat
[2024-05-21 01:35:41] [INFO ] After 27ms SMT Verify possible using state equation in natural domain returned unsat :7 sat :2
[2024-05-21 01:35:41] [INFO ] After 47ms SMT Verify possible using trap constraints in natural domain returned unsat :7 sat :2
Attempting to minimize the solution found.
Minimization took 24 ms.
[2024-05-21 01:35:41] [INFO ] After 138ms SMT Verify possible using all constraints in natural domain returned unsat :7 sat :2
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 9 Parikh solutions to 2 different solutions.
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Finished Parikh walk after 2139 steps, including 0 resets, run visited all 1 properties in 7 ms. (steps per millisecond=305 )
FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Parikh walk visited 2 properties in 28 ms.
All properties solved without resorting to model-checking.
Total runtime 1164 ms.
starting LoLA
BK_INPUT ClientsAndServers-PT-N0020P1
BK_EXAMINATION: ReachabilityCardinality
bin directory: /home/mcc/BenchKit/bin//../reducer/bin//../../lola/bin/
current directory: /home/mcc/execution
ReachabilityCardinality

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

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

BK_STOP 1716255668798

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination ReachabilityCardinality -timeout 360 -rebuildPNML
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: Reading formula.
lola: Using XML format (--xmlformula)
lola: reading XML formula
lola: reading formula from /home/mcc/execution/ReachabilityCardinality.xml
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Rule S: 0 transitions removed,0 places removed
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: Created skeleton in 0.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: LAUNCH task # 73 (type EXCL) for 24 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08
lola: time limit : 189 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 57 (type FNDP) for 9 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 58 (type EQUN) for 9 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 60 (type SRCH) for 9 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 57 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03
lola: result : true
lola: fired transitions : 1682
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: CANCELED task # 58 (type EQUN) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03 (obsolete)
lola: CANCELED task # 60 (type SRCH) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03 (obsolete)
lola: LAUNCH task # 51 (type FNDP) for 6 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 52 (type EQUN) for 6 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH task # 81 (type SRCH) for 6 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-58.sara.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: Created skeleton in 1.000000 secs.
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: FINISHED task # 81 (type SRCH) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02
lola: result : true
lola: markings : 131
lola: fired transitions : 130
lola: time used : 1.000000
lola: memory pages used : 1
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: CANCELED task # 51 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02 (obsolete)
lola: CANCELED task # 52 (type EQUN) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02 (obsolete)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 49 (type FNDP) for 0 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 53 (type EQUN) for 0 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: Created skeleton in 0.000000 secs.
lola: LAUNCH task # 95 (type SRCH) for 0 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 51 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02
lola: result : true
lola: fired transitions : 129
lola: tried executions : 1
lola: time used : 1.000000
lola: memory pages used : 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: FINISHED task # 73 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08
lola: result : false
lola: markings : 36869
lola: fired transitions : 46900
lola: time used : 1.000000
lola: memory pages used : 1
lola: LAUNCH task # 128 (type EXCL) for 45 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15
lola: time limit : 276 sec
lola: memory limit: 32 pages
lola: FINISHED task # 128 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15
lola: result : true
lola: markings : 4044
lola: fired transitions : 4719
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 100 (type EXCL) for 21 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07
lola: time limit : 299 sec
lola: memory limit: 32 pages
lola: FINISHED task # 100 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07
lola: result : false
lola: markings : 36045
lola: fired transitions : 45296
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 67 (type EXCL) for 18 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06
lola: time limit : 327 sec
lola: memory limit: 32 pages

lola: FINISHED task # 58 (type EQUN) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03
lola: result : true
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-52.sara.
sara: place or transition ordering is non-deterministic
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-53.sara.
lola: FINISHED task # 67 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06
lola: result : false
lola: markings : 507300
lola: fired transitions : 703772
lola: time used : 0.000000
lola: memory pages used : 2
lola: LAUNCH task # 144 (type EXCL) for 3 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01
lola: time limit : 359 sec
lola: memory limit: 32 pages
lola: FINISHED task # 144 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01
lola: result : true
lola: markings : 86
lola: fired transitions : 85
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 91 (type EXCL) for 30 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10
lola: time limit : 399 sec
lola: memory limit: 32 pages
lola: FINISHED task # 91 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10
lola: result : true
lola: markings : 505
lola: fired transitions : 504
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 141 (type EXCL) for 36 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12
lola: time limit : 449 sec
lola: memory limit: 32 pages
lola: FINISHED task # 141 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12
lola: result : false
lola: markings : 2222315
lola: fired transitions : 2924791
lola: time used : 3.000000
lola: memory pages used : 9
lola: LAUNCH task # 77 (type EXCL) for 12 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04
lola: time limit : 513 sec
lola: memory limit: 32 pages
lola: CANCELED task # 95 (type SRCH) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 (memory limit exceeded)
lola: FINISHED task # 77 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04
lola: result : false
lola: markings : 73145
lola: fired transitions : 91648
lola: time used : 0.000000
lola: memory pages used : 1
lola: LAUNCH task # 111 (type EXCL) for 27 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09
lola: time limit : 599 sec
lola: memory limit: 32 pages
lola: LAUNCH task # 146 (type FNDP) for 33 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 146 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11
lola: result : true
lola: fired transitions : 37
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 130 (type FNDP) for 42 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 130 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14
lola: result : true
lola: fired transitions : 397
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 113 (type FNDP) for 15 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 113 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05
lola: result : true
lola: fired transitions : 551
lola: tried executions : 1
lola: time used : 0.000000
lola: memory pages used : 0
lola: LAUNCH task # 98 (type FNDP) for 39 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 2 2 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 1 0 1 0 0 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 4/1196 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 9618736 t fired, 2262 attempts, .
53 EF STEQ 4/896 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 1/899 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 1721064 t fired, 2 attempts, .
111 EF EXCL 1/1198 3/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 633606 m, 126721 m/sec, 710523 t fired, .

Time elapsed: 5 secs. Pages in use: 14
# running tasks: 4 of 4 Visible: 16

lola: FINISHED task # 52 (type EQUN) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02
lola: result : true
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 2 2 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 1 0 1 0 0 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 9/1194 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 11866017 t fired, 2825 attempts, .
53 EF STEQ 9/894 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 6/897 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 6052075 t fired, 7 attempts, .
111 EF EXCL 6/1198 15/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 3769702 m, 627219 m/sec, 4613326 t fired, .

Time elapsed: 10 secs. Pages in use: 15
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 2 2 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 1 0 1 0 0 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 14/1190 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 14080249 t fired, 3384 attempts, .
53 EF STEQ 14/890 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 11/893 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 10171176 t fired, 11 attempts, .
111 EF EXCL 11/1198 26/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 6610636 m, 568186 m/sec, 8398032 t fired, .

Time elapsed: 15 secs. Pages in use: 26
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 111 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 2 2 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 4 1 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 19/1185 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 16041416 t fired, 3871 attempts, .
53 EF STEQ 19/885 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 16/888 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 12569302 t fired, 13 attempts, .

Time elapsed: 20 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 107 (type EXCL) for 39 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13
lola: time limit : 1790 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 2 2 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 24/1180 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 17985618 t fired, 4362 attempts, .
53 EF STEQ 24/880 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 21/883 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 14994958 t fired, 15 attempts, .
107 EF EXCL 5/1790 13/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 3261740 m, 652348 m/sec, 4410452 t fired, .

Time elapsed: 25 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 2 2 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 2 0 1 0 0 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 29/1175 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 19980822 t fired, 4867 attempts, .
53 EF STEQ 29/875 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 26/878 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 18125439 t fired, 19 attempts, .
107 EF EXCL 10/1790 24/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 6247132 m, 597078 m/sec, 8655565 t fired, .

Time elapsed: 30 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 107 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 2 2 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 34/1170 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 21990883 t fired, 5379 attempts, .
53 EF STEQ 34/870 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 31/873 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 22171599 t fired, 23 attempts, .

Time elapsed: 35 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 96 (type EXCL) for 0 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00
lola: time limit : 3565 sec
lola: memory limit: 32 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 3 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 39/1165 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 23944388 t fired, 5877 attempts, .
53 EF STEQ 39/865 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
96 EF EXCL 5/3565 7/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 1635204 m, 327040 m/sec, 2566288 t fired, .
98 EF FNDP 36/868 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 26341704 t fired, 27 attempts, .

Time elapsed: 40 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 3 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 44/1160 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 25887348 t fired, 6374 attempts, .
53 EF STEQ 44/860 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
96 EF EXCL 10/3565 12/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 3034874 m, 279934 m/sec, 4872766 t fired, .
98 EF FNDP 41/863 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 30504651 t fired, 31 attempts, .

Time elapsed: 45 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 3 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 49/1155 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 27841400 t fired, 6879 attempts, .
53 EF STEQ 49/855 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
96 EF EXCL 15/3565 17/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 4379848 m, 268994 m/sec, 7108633 t fired, .
98 EF FNDP 46/858 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 34639340 t fired, 35 attempts, .

Time elapsed: 50 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 3 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 54/1150 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 29793654 t fired, 7382 attempts, .
53 EF STEQ 54/850 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
96 EF EXCL 20/3565 22/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 5670950 m, 258220 m/sec, 9288367 t fired, .
98 EF FNDP 51/853 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 38760849 t fired, 39 attempts, .

Time elapsed: 55 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 3 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 59/1145 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 31753184 t fired, 7886 attempts, .
53 EF STEQ 59/845 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
96 EF EXCL 25/3565 27/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 6944108 m, 254631 m/sec, 11459413 t fired, .
98 EF FNDP 56/848 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 42868453 t fired, 43 attempts, .

Time elapsed: 60 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 3 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 64/1140 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 33711550 t fired, 8391 attempts, .
53 EF STEQ 64/840 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
96 EF EXCL 30/3565 32/32 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 8211438 m, 253466 m/sec, 13627821 t fired, .
98 EF FNDP 61/843 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 47021835 t fired, 48 attempts, .

Time elapsed: 65 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: CANCELED task # 96 (type EXCL) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 (memory limit exceeded)
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 4 0 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 69/1135 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 35717044 t fired, 8907 attempts, .
53 EF STEQ 69/835 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 66/838 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 50862932 t fired, 51 attempts, .

Time elapsed: 70 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: LAUNCH task # 101 (type FNDP) for 27 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 74/1130 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 36794949 t fired, 9185 attempts, .
53 EF STEQ 74/1730 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 71/1132 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 53416439 t fired, 54 attempts, .
101 EF FNDP 5/1176 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 1789683 t fired, 2 attempts, .

Time elapsed: 75 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 79/1125 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 37877826 t fired, 9464 attempts, .
53 EF STEQ 79/1725 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 76/1127 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 56005635 t fired, 57 attempts, .
101 EF FNDP 10/1171 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 3513007 t fired, 4 attempts, .

Time elapsed: 80 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 84/1120 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 38955449 t fired, 9728 attempts, .
53 EF STEQ 84/1720 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 81/1122 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 58599061 t fired, 59 attempts, .
101 EF FNDP 15/1166 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 5261220 t fired, 6 attempts, .

Time elapsed: 85 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 89/1115 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 40021429 t fired, 10004 attempts, .
53 EF STEQ 89/1715 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 86/1117 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 61195293 t fired, 62 attempts, .
101 EF FNDP 20/1161 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 6981720 t fired, 7 attempts, .

Time elapsed: 90 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 94/1110 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 41087721 t fired, 10286 attempts, .
53 EF STEQ 94/1710 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 91/1112 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 63787252 t fired, 64 attempts, .
101 EF FNDP 25/1156 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 8696696 t fired, 9 attempts, .

Time elapsed: 95 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 99/1105 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 42158146 t fired, 10561 attempts, .
53 EF STEQ 99/1705 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 96/1107 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 66396391 t fired, 67 attempts, .
101 EF FNDP 30/1151 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 10385852 t fired, 11 attempts, .

Time elapsed: 100 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 104/1100 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 43228073 t fired, 10830 attempts, .
53 EF STEQ 104/1700 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 101/1102 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 69003949 t fired, 70 attempts, .
101 EF FNDP 35/1146 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 12109182 t fired, 13 attempts, .

Time elapsed: 105 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 109/1095 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 44291369 t fired, 11105 attempts, .
53 EF STEQ 109/1695 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 106/1097 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 71594773 t fired, 72 attempts, .
101 EF FNDP 40/1141 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 13835731 t fired, 14 attempts, .

Time elapsed: 110 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 114/1090 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 45356849 t fired, 11378 attempts, .
53 EF STEQ 114/1690 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 111/1092 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 74197557 t fired, 75 attempts, .
101 EF FNDP 45/1136 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 15553105 t fired, 16 attempts, .

Time elapsed: 115 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 119/1085 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 46434684 t fired, 11657 attempts, .
53 EF STEQ 119/1685 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 116/1087 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 76806008 t fired, 77 attempts, .
101 EF FNDP 50/1131 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 17255212 t fired, 18 attempts, .

Time elapsed: 120 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 125/1080 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 47510179 t fired, 11933 attempts, .
53 EF STEQ 125/1680 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 122/1082 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 79429105 t fired, 80 attempts, .
101 EF FNDP 56/1126 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 18947374 t fired, 19 attempts, .

Time elapsed: 126 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 130/1074 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 48572352 t fired, 12206 attempts, .
53 EF STEQ 130/1674 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 127/1076 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 82056947 t fired, 83 attempts, .
101 EF FNDP 61/1120 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 20631514 t fired, 21 attempts, .

Time elapsed: 131 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 135/1069 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 49644881 t fired, 12486 attempts, .
53 EF STEQ 135/1669 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 132/1071 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 84660110 t fired, 85 attempts, .
101 EF FNDP 66/1115 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 22327853 t fired, 23 attempts, .

Time elapsed: 136 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 140/1064 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 50703584 t fired, 12757 attempts, .
53 EF STEQ 140/1664 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 137/1066 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 87260170 t fired, 88 attempts, .
101 EF FNDP 71/1110 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 24009172 t fired, 25 attempts, .

Time elapsed: 141 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 145/1059 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 51773274 t fired, 13033 attempts, .
53 EF STEQ 145/1659 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 142/1061 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 89853903 t fired, 90 attempts, .
101 EF FNDP 76/1105 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 25694194 t fired, 26 attempts, .

Time elapsed: 146 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 150/1054 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 52836961 t fired, 13309 attempts, .
53 EF STEQ 150/1654 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 147/1056 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 92438464 t fired, 93 attempts, .
101 EF FNDP 81/1100 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 27401804 t fired, 28 attempts, .

Time elapsed: 151 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 155/1049 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 53914205 t fired, 13588 attempts, .
53 EF STEQ 155/1649 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 152/1051 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 94982023 t fired, 95 attempts, .
101 EF FNDP 86/1095 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 29138233 t fired, 30 attempts, .

Time elapsed: 156 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 160/1044 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 54996360 t fired, 13863 attempts, .
53 EF STEQ 160/1644 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 157/1046 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 97502610 t fired, 98 attempts, .
101 EF FNDP 91/1090 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 30869586 t fired, 31 attempts, .

Time elapsed: 161 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 165/1039 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 56079652 t fired, 14146 attempts, .
53 EF STEQ 165/1639 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 162/1041 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 100028304 t fired, 101 attempts, .
101 EF FNDP 96/1085 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 32612656 t fired, 33 attempts, .

Time elapsed: 166 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 170/1034 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 57146939 t fired, 14422 attempts, .
53 EF STEQ 170/1634 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 167/1036 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 102595944 t fired, 103 attempts, .
101 EF FNDP 101/1080 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 34335036 t fired, 35 attempts, .

Time elapsed: 171 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 175/1029 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 58204592 t fired, 14699 attempts, .
53 EF STEQ 175/1629 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 172/1031 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 105226789 t fired, 106 attempts, .
101 EF FNDP 106/1075 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 36025029 t fired, 37 attempts, .

Time elapsed: 176 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 180/1024 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 59240816 t fired, 14968 attempts, .
53 EF STEQ 180/1624 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 177/1026 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 107962443 t fired, 108 attempts, .
101 EF FNDP 111/1070 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 37711680 t fired, 38 attempts, .

Time elapsed: 181 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 185/1019 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 60300547 t fired, 15206 attempts, .
53 EF STEQ 185/1619 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 182/1021 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 110703714 t fired, 111 attempts, .
101 EF FNDP 116/1065 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 39405396 t fired, 40 attempts, .

Time elapsed: 186 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 190/1014 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 61333547 t fired, 15475 attempts, .
53 EF STEQ 190/1614 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 187/1016 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 113440216 t fired, 114 attempts, .
101 EF FNDP 121/1060 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 41082536 t fired, 42 attempts, .

Time elapsed: 191 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 195/1009 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 62393828 t fired, 15753 attempts, .
53 EF STEQ 195/1609 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 192/1011 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 115982185 t fired, 116 attempts, .
101 EF FNDP 126/1055 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 42824676 t fired, 43 attempts, .

Time elapsed: 196 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 200/1004 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 63452991 t fired, 16026 attempts, .
53 EF STEQ 200/1604 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 197/1006 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 118532923 t fired, 119 attempts, .
101 EF FNDP 131/1050 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 44573643 t fired, 45 attempts, .

Time elapsed: 201 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 205/999 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 64524610 t fired, 16298 attempts, .
53 EF STEQ 205/1599 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 202/1001 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 121084165 t fired, 122 attempts, .
101 EF FNDP 136/1045 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 46327705 t fired, 47 attempts, .

Time elapsed: 206 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 210/994 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 65592203 t fired, 16572 attempts, .
53 EF STEQ 210/1594 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 207/996 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 123629503 t fired, 124 attempts, .
101 EF FNDP 141/1040 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 48072851 t fired, 49 attempts, .

Time elapsed: 211 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 215/989 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 66650975 t fired, 16843 attempts, .
53 EF STEQ 215/1589 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 212/991 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 126219337 t fired, 127 attempts, .
101 EF FNDP 146/1035 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 49791289 t fired, 50 attempts, .

Time elapsed: 216 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 220/984 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 67698402 t fired, 17117 attempts, .
53 EF STEQ 220/1584 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 217/986 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 128825244 t fired, 129 attempts, .
101 EF FNDP 151/1030 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 51489270 t fired, 52 attempts, .

Time elapsed: 221 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 225/979 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 68757865 t fired, 17394 attempts, .
53 EF STEQ 225/1579 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 222/981 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 131424394 t fired, 132 attempts, .
101 EF FNDP 156/1025 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 53194811 t fired, 54 attempts, .

Time elapsed: 226 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 230/974 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 69812270 t fired, 17665 attempts, .
53 EF STEQ 230/1574 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 227/976 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 134014353 t fired, 135 attempts, .
101 EF FNDP 161/1020 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 54921950 t fired, 55 attempts, .

Time elapsed: 231 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 235/969 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 70880899 t fired, 17929 attempts, .
53 EF STEQ 235/1569 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 232/971 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 136598179 t fired, 137 attempts, .
101 EF FNDP 166/1015 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 56669199 t fired, 57 attempts, .

Time elapsed: 236 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 240/964 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 71928716 t fired, 18200 attempts, .
53 EF STEQ 240/1564 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 237/966 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 139203230 t fired, 140 attempts, .
101 EF FNDP 171/1010 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 58369193 t fired, 59 attempts, .

Time elapsed: 241 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 245/959 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 72982159 t fired, 18479 attempts, .
53 EF STEQ 245/1559 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 242/961 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 141800551 t fired, 142 attempts, .
101 EF FNDP 176/1005 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 60090183 t fired, 61 attempts, .

Time elapsed: 246 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 250/954 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 74076466 t fired, 18767 attempts, .
53 EF STEQ 250/1554 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 247/956 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 144366551 t fired, 145 attempts, .
101 EF FNDP 181/1000 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 61880607 t fired, 62 attempts, .

Time elapsed: 251 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 255/949 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 75164332 t fired, 19047 attempts, .
53 EF STEQ 255/1549 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 252/951 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 146913534 t fired, 147 attempts, .
101 EF FNDP 186/995 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 63688703 t fired, 64 attempts, .

Time elapsed: 256 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 260/944 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 76258518 t fired, 19335 attempts, .
53 EF STEQ 260/1544 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 257/946 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 149463294 t fired, 150 attempts, .
101 EF FNDP 191/990 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 65505345 t fired, 66 attempts, .

Time elapsed: 261 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 265/939 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 77355008 t fired, 19620 attempts, .
53 EF STEQ 265/1539 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 262/941 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 152001521 t fired, 153 attempts, .
101 EF FNDP 196/985 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 67329148 t fired, 68 attempts, .

Time elapsed: 266 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 270/934 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 78445878 t fired, 19903 attempts, .
53 EF STEQ 270/1534 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 267/936 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 154558056 t fired, 155 attempts, .
101 EF FNDP 201/980 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 69144048 t fired, 70 attempts, .

Time elapsed: 271 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 275/929 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 79541933 t fired, 20188 attempts, .
53 EF STEQ 275/1529 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 272/931 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 157121842 t fired, 158 attempts, .
101 EF FNDP 206/975 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 70947957 t fired, 71 attempts, .

Time elapsed: 276 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 280/924 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 80626973 t fired, 20468 attempts, .
53 EF STEQ 280/1524 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 277/926 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 159698579 t fired, 160 attempts, .
101 EF FNDP 211/970 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 72757286 t fired, 73 attempts, .

Time elapsed: 281 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 285/919 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 81721713 t fired, 20748 attempts, .
53 EF STEQ 285/1519 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 282/921 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 162277754 t fired, 163 attempts, .
101 EF FNDP 216/965 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 74582387 t fired, 75 attempts, .

Time elapsed: 286 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 290/914 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 82807694 t fired, 21027 attempts, .
53 EF STEQ 290/1514 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 287/916 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 164872333 t fired, 165 attempts, .
101 EF FNDP 221/960 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 76398935 t fired, 77 attempts, .

Time elapsed: 291 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 295/909 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 83898564 t fired, 21289 attempts, .
53 EF STEQ 295/1509 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 292/911 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 167538905 t fired, 168 attempts, .
101 EF FNDP 226/955 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 78197549 t fired, 79 attempts, .

Time elapsed: 296 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 300/904 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 85004771 t fired, 21559 attempts, .
53 EF STEQ 300/1504 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 297/906 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 170135042 t fired, 171 attempts, .
101 EF FNDP 231/950 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 80014603 t fired, 81 attempts, .

Time elapsed: 301 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 305/899 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 86097876 t fired, 21845 attempts, .
53 EF STEQ 305/1499 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 302/901 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 172709645 t fired, 173 attempts, .
101 EF FNDP 236/945 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 81839944 t fired, 82 attempts, .

Time elapsed: 306 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 310/894 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 87186982 t fired, 22125 attempts, .
53 EF STEQ 310/1494 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 307/896 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 175284821 t fired, 176 attempts, .
101 EF FNDP 241/940 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 83649057 t fired, 84 attempts, .

Time elapsed: 311 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed

PENDING FORMULAS: CATEGORY IDL ACT RUN SUS FIN C/T C/M OBS
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG 0 1 2 0 1 0 2 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG 0 3 1 0 1 0 1 0
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG 0 3 1 0 1 0 1 0

TASK CATEGORY TYPE TIME/TLIMIT MEM PG/PGLIMIT FORMULA STATUS
49 EF FNDP 315/889 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 88271991 t fired, 22406 attempts, .
53 EF STEQ 315/1489 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 sara is running.
98 EF FNDP 312/891 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 177870362 t fired, 178 attempts, .
101 EF FNDP 246/935 0/5 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 85454533 t fired, 86 attempts, .

Time elapsed: 316 secs. Pages in use: 32
# running tasks: 4 of 4 Visible: 16
lola: FINISHED task # 49 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00
lola: result : true
lola: fired transitions : 89364766
lola: tried executions : 22689
lola: time used : 319.000000
lola: memory pages used : 0
lola: CANCELED task # 53 (type EQUN) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00 (obsolete)
lola: LAUNCH task # 102 (type EQUN) for 39 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: LAUNCH task # 106 (type SRCH) for 39 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 53 (type EQUN) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00
lola: result : unknown
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-102.sara.
sara: place or transition ordering is non-deterministic

lola: FINISHED task # 102 (type EQUN) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13
lola: result : false
lola: CANCELED task # 98 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 (obsolete)
lola: CANCELED task # 106 (type SRCH) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13 (obsolete)
lola: LAUNCH task # 104 (type EQUN) for 27 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: LAUNCH task # 110 (type SRCH) for 27 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: LAUNCH task # 112 (type SRCH) for 27 ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09
lola: time limit : 32000000 sec
lola: memory limit: 5 pages
lola: FINISHED task # 98 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13
lola: result : unknown
lola: fired transitions : 180262010
lola: tried executions : 182
lola: time used : 316.000000
lola: memory pages used : 0
sara: try reading problem file /home/mcc/execution/ReachabilityCardinality-104.sara.
sara: place or transition ordering is non-deterministic
lola: FINISHED task # 112 (type SRCH) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09
lola: result : unknown
lola: markings : 15
lola: fired transitions : 15
lola: time used : 0.000000
lola: memory pages used : 1

lola: FINISHED task # 104 (type EQUN) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09
lola: result : false
lola: CANCELED task # 101 (type FNDP) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 (obsolete)
lola: CANCELED task # 110 (type SRCH) for ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09 (obsolete)
lola: Portfolio finished: no open formulas

FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-00: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-01: AG false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-02: AG false tandem / insertion
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-03: AG false findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-04: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-05: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-06: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-07: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-08: EF false tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-09: AG true state equation
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-10: EF true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-11: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-12: AG true tandem / relaxed
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-13: AG true state equation
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-14: EF true findpath
ClientsAndServers-PT-N0020P1-ReachabilityCardinality-2024-15: AG false tandem / relaxed


Time elapsed: 320 secs. Pages in use: 32

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ClientsAndServers-PT-N0020P1"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="gold2023"
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 gold2023"
echo " Input is ClientsAndServers-PT-N0020P1, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r087-tall-171620521900284"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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