Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2025-input.r088-smll-174860104600126.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2025-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-5832
Executing tool tapaal
Input is FamilyReunion-COL-L00100M0010C005P005G002, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r088-smll-174860104600126
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 8.0K May 29 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K May 29 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.8K May 29 14:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K May 29 14:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 29 14:32 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K May 29 14:32 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.9K May 29 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 29 14:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 29 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 29 14:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K May 29 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K May 29 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K May 29 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K May 29 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 29 14:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 29 14:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 29 14:32 equiv_pt
-rw-r--r-- 1 mcc users 24 May 29 14:32 instance
-rw-r--r-- 1 mcc users 5 May 29 14:32 iscolored
-rw-r--r-- 1 mcc users 140K May 29 14:32 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

echo here is the order used to build the result vector(from xml file)
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-00
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-01
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-02
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-03
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-04
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-05
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-06
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-07
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-08
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-09
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-10
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-11
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-12
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-13
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-14
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-15

=== Now, execution of the tool begins

BK_START 1748721664258

tapaal
Got BK_BIN_PATH=/home/mcc/BenchKit/bin/
---> tapaal --- TAPAAL 2025-v2
Setting MODEL_PATH=.
Setting VERIFYPN=/home/mcc/BenchKit/bin/verifypn
Got BK_TIME_CONFINEMENT=3600
Setting TEMPDIR=/home/mcc/BenchKit/bin/tmp
Got BK_MEMORY_CONFINEMENT=16384
Limiting to 16265216 kB
Total timeout: 3590
Time left: 3590

**********************************************
* TAPAAL verifying ReachabilityCardinality *
**********************************************
TEMPDIR=/home/mcc/BenchKit/bin/tmp
QF=/home/mcc/BenchKit/bin/tmp/tmp.ccTMI8pSNo
MF=/home/mcc/BenchKit/bin/tmp/tmp.qtUBdmPcMa
Time left: 3590
---------------------------------------------------
Step -1: Stripping Colors
---------------------------------------------------
Verifying stripped models (16 in total)
Solution found by stripping colors (step -1) for query index 1
Solution found by stripping colors (step -1) for query index 9

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-01 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX CPN_APPROX
Query index 1 was solved

Query is NOT satisfied.

Solved using CPN Approximation



FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-09 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX CPN_APPROX
Query index 9 was solved

Query is satisfied.

Solved using CPN Approximation



Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-15 is satisfied.

Query is MAYBE satisfied.


Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-04 is satisfied.

Query is MAYBE satisfied.


Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-11 is satisfied.

Query is MAYBE satisfied.


Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-08 is satisfied.

Query is MAYBE satisfied.
Time left: 2872
---------------------------------------------------
Step -0.5: Explicit parallel processing
---------------------------------------------------
Doing explicit parallel verification of individual queries (14 in total)
Each query is verified by 4 parallel strategies for 119 seconds
------------------- QUERY 1 ----------------------

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 1

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 1

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.002976 seconds
Reduced from 104 to 40 places (64, 61.5385%)
Reduced from 66 to 22 transitions (44, 66.6667%)
Applications of rule AtomicPreAgglomeration: 40
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 7
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1


Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 1

Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.002813 seconds
Reduced from 104 to 40 places (64, 61.5385%)
Reduced from 66 to 22 transitions (44, 66.6667%)
Applications of rule AtomicPreAgglomeration: 40
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 7
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1


Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 1

Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.002849 seconds
Reduced from 104 to 40 places (64, 61.5385%)
Reduced from 66 to 22 transitions (44, 66.6667%)
Applications of rule AtomicPreAgglomeration: 40
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 7
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1

Command terminated by signal 9
@@@48.55,8702312@@@
Command terminated by signal 9
@@@106.67,14785036@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s RDFS --colored-successor-generator even' ./model.pnml ./ReachabilityCardinality.xml -x 1
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s DFS --colored-successor-generator even -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 1
No solution found (step -0.5)


Time left: 2751
------------------- QUERY 3 ----------------------

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 3

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 3

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 3

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 3

Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.005046 seconds
Reduced from 104 to 75 places (29, 27.8846%)
Reduced from 66 to 47 transitions (19, 28.7879%)

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.015881 seconds
Reduced from 104 to 75 places (29, 27.8846%)
Reduced from 66 to 47 transitions (19, 28.7879%)
Applications of rule AtomicPreAgglomeration: 18
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 3
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1


Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.003776 seconds
Reduced from 104 to 75 places (29, 27.8846%)
Reduced from 66 to 47 transitions (19, 28.7879%)
Applications of rule AtomicPreAgglomeration: 18
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 3
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1

Applications of rule AtomicPreAgglomeration: 18
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 3
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1

parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s RDFS --colored-successor-generator even' ./model.pnml ./ReachabilityCardinality.xml -x 3
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 3
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s DFS --colored-successor-generator even -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 3
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BestFS --colored-successor-generator fixed -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 3
No solution found (step -0.5)


Time left: 2612
------------------- QUERY 4 ----------------------

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 4

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 4

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 4

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 4

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.005882 seconds
Reduced from 104 to 61 places (43, 41.3462%)
Reduced from 66 to 38 transitions (28, 42.4242%)
Applications of rule AtomicPreAgglomeration: 24
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 3
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1


Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.004047 seconds
Reduced from 104 to 61 places (43, 41.3462%)
Reduced from 66 to 38 transitions (28, 42.4242%)
Applications of rule AtomicPreAgglomeration: 24
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 3
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1

Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.004955 seconds
Reduced from 104 to 61 places (43, 41.3462%)
Reduced from 66 to 38 transitions (28, 42.4242%)
Applications of rule AtomicPreAgglomeration: 24
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 3
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1


Query index 0 was solved

Query is satisfied
STATS:
discovered states: 2789
explored states: 2789
peak waiting states: 2788
end waiting states: 2788
biggest encoded state: 793 bytes
@@@0.26,21060@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s DFS --colored-successor-generator even -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 4
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-03 TRUE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2611
------------------- QUERY 5 ----------------------

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 5

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 5

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.005388 seconds
Reduced from 104 to 39 places (65, 62.5%)
Reduced from 66 to 21 transitions (45, 68.1818%)
Applications of rule AtomicPreAgglomeration: 42
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1


Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 5

Query before reduction: EF (not ((not (21 <= p0)) and (not ((l36 <= 24) and ((not (l1 <= 98)) or (not (lm1 <= lg0)))))))
RWSTATS PRE:0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,0,0,0,
RWSTATS POST:0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,

Query after reduction: EF ((98 < l1) or (lg0 < lm1))
Query reduction finished after 0.001614 seconds.
Query size reduced from 21 to 8 nodes ( 61.9048 percent reduction).
Query index 0 was solved

Query is satisfied
STATS:
discovered states: 14
explored states: 14
peak waiting states: 13
end waiting states: 13
biggest encoded state: 182 bytes
@@@0.02,7156@@@

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 5
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s RDFS --colored-successor-generator even' ./model.pnml ./ReachabilityCardinality.xml -x 5
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-04 TRUE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2611
------------------- QUERY 6 ----------------------

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 6

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.000834 seconds
Reduced from 104 to 2 places (102, 98.0769%)
Reduced from 66 to 2 transitions (64, 96.9697%)
Applications of rule AtomicPreAgglomeration: 1
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 0
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 1
Applications of rule Relevance: 1


Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 6

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 6

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 6

Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.000812 seconds
Reduced from 104 to 2 places (102, 98.0769%)
Reduced from 66 to 2 transitions (64, 96.9697%)
Applications of rule AtomicPreAgglomeration: 1
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 0
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 1
Applications of rule Relevance: 1

Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 76
explored states: 76
peak waiting states: 75
end waiting states: 75
biggest encoded state: 284 bytes
Command exited with non-zero status 1
@@@0.01,6252@@@

Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.000736 seconds
Reduced from 104 to 2 places (102, 98.0769%)
Reduced from 66 to 2 transitions (64, 96.9697%)
Applications of rule AtomicPreAgglomeration: 1
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 0
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 1
Applications of rule Relevance: 1

parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s RDFS --colored-successor-generator even' ./model.pnml ./ReachabilityCardinality.xml -x 6
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 6
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BestFS --colored-successor-generator fixed -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 6
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-05 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2478
------------------- QUERY 7 ----------------------

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 7

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 7

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 7

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 7

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.00397 seconds
Reduced from 104 to 17 places (87, 83.6538%)
Reduced from 66 to 9 transitions (57, 86.3636%)

Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.004399 seconds
Reduced from 104 to 17 places (87, 83.6538%)
Reduced from 66 to 9 transitions (57, 86.3636%)
Applications of rule AtomicPreAgglomeration: 12
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 1
Applications of rule Relevance: 1
Applications of rule AtomicPreAgglomeration: 12
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 1
Applications of rule Relevance: 1

Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.006652 seconds
Reduced from 104 to 17 places (87, 83.6538%)
Reduced from 66 to 9 transitions (57, 86.3636%)
Applications of rule AtomicPreAgglomeration: 12
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 1
Applications of rule Relevance: 1



parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s RDFS --colored-successor-generator even' ./model.pnml ./ReachabilityCardinality.xml -x 7
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 7
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s DFS --colored-successor-generator even -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 7
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BestFS --colored-successor-generator fixed -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 7
No solution found (step -0.5)


Time left: 2311
------------------- QUERY 8 ----------------------

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 8

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 8

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 8

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 8

Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.00586 seconds
Reduced from 104 to 33 places (71, 68.2692%)
Reduced from 66 to 16 transitions (50, 75.7576%)
Applications of rule AtomicPreAgglomeration: 48
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 9
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.009633 seconds
Reduced from 104 to 33 places (71, 68.2692%)
Reduced from 66 to 16 transitions (50, 75.7576%)
Applications of rule AtomicPreAgglomeration: 48
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 9
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1


Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.010212 seconds
Reduced from 104 to 33 places (71, 68.2692%)
Reduced from 66 to 16 transitions (50, 75.7576%)
Applications of rule AtomicPreAgglomeration: 48
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 9
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1



Query before reduction: AG (l40 <= l18)
RWSTATS PRE:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
RWSTATS POST:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,

Query after reduction: (not EF (l18 < l40))
Query reduction finished after 0.007698 seconds.
Query size reduced from 4 to 5 nodes ( -25 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 351
explored states: 351
peak waiting states: 350
end waiting states: 350
biggest encoded state: 387 bytes
Command exited with non-zero status 1
@@@0.10,8140@@@
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 1017
explored states: 1017
peak waiting states: 1016
end waiting states: 1016
biggest encoded state: 967 bytes
Command exited with non-zero status 1
@@@0.10,10784@@@
Command terminated by signal 9
@@@55.21,8600024@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 8
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-07 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2184
------------------- QUERY 9 ----------------------

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 9

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 9

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 9

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 9

Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.015151 seconds
Reduced from 104 to 34 places (70, 67.3077%)
Reduced from 66 to 18 transitions (48, 72.7273%)
Applications of rule AtomicPreAgglomeration: 42
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1

Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.014663 seconds
Reduced from 104 to 34 places (70, 67.3077%)
Reduced from 66 to 18 transitions (48, 72.7273%)
Applications of rule AtomicPreAgglomeration: 42
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1


Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.014337 seconds
Reduced from 104 to 34 places (70, 67.3077%)
Reduced from 66 to 18 transitions (48, 72.7273%)
Applications of rule AtomicPreAgglomeration: 42
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1


Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 363
explored states: 363
peak waiting states: 362
end waiting states: 362
biggest encoded state: 962 bytes
Command exited with non-zero status 1
@@@0.09,7732@@@

Query before reduction: AG ((not ((34 <= g2) or (59 <= l4))) and (l12 <= 5))
RWSTATS PRE:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,
RWSTATS POST:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,

Query after reduction: (not EF ((59 <= l4) or (5 < l12)))
Query reduction finished after 0.004031 seconds.
Query size reduced from 13 to 9 nodes ( 30.7692 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 2520
explored states: 2520
peak waiting states: 2519
end waiting states: 2519
biggest encoded state: 561 bytes
Command exited with non-zero status 1
@@@0.22,17396@@@
Command terminated by signal 9
@@@45.91,9259476@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 9
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2050
------------------- QUERY 11 ----------------------

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 11

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 11

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 11

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 11

Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.006079 seconds
Reduced from 104 to 33 places (71, 68.2692%)
Reduced from 66 to 20 transitions (46, 69.697%)
Applications of rule AtomicPreAgglomeration: 32
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.006224 seconds
Reduced from 104 to 33 places (71, 68.2692%)
Reduced from 66 to 20 transitions (46, 69.697%)
Applications of rule AtomicPreAgglomeration: 32
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1



Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.007781 seconds
Reduced from 104 to 33 places (71, 68.2692%)
Reduced from 66 to 20 transitions (46, 69.697%)
Applications of rule AtomicPreAgglomeration: 32
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1


Query before reduction: AG ((not (((not (l20 <= p1)) and (not (96 <= l2))) or ((not (p6 <= 30)) and (55 <= lc2)))) or (47 <= p0))
RWSTATS PRE:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,
RWSTATS POST:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,

Query after reduction: (not EF (((p1 < l20) and (l2 < 96)) or ((30 < p6) and (55 <= lc2))))
Query reduction finished after 0.004905 seconds.
Query size reduced from 24 to 17 nodes ( 29.1667 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 264
explored states: 264
peak waiting states: 263
end waiting states: 263
biggest encoded state: 396 bytes
Command exited with non-zero status 1
@@@0.11,7628@@@
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 1316
explored states: 1316
peak waiting states: 1315
end waiting states: 1315
biggest encoded state: 964 bytes
Command exited with non-zero status 1
@@@0.16,12384@@@
Command terminated by signal 9
@@@74.71,8527444@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 11
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1928
------------------- QUERY 12 ----------------------

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 12

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 12

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 12

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 12

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.005813 seconds
Reduced from 104 to 22 places (82, 78.8462%)
Reduced from 66 to 12 transitions (54, 81.8182%)
Applications of rule AtomicPreAgglomeration: 38
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 9
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1


Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.016714 seconds
Reduced from 104 to 22 places (82, 78.8462%)
Reduced from 66 to 12 transitions (54, 81.8182%)
Applications of rule AtomicPreAgglomeration: 38
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 9
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1


Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.027457 seconds
Reduced from 104 to 22 places (82, 78.8462%)
Reduced from 66 to 12 transitions (54, 81.8182%)
Applications of rule AtomicPreAgglomeration: 38
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 9
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1


Query before reduction: AG (m5 <= l31)
RWSTATS PRE:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
RWSTATS POST:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,

Query after reduction: (not EF (l31 < m5))
Query reduction finished after 0.002563 seconds.
Query size reduced from 4 to 5 nodes ( -25 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 17
explored states: 17
peak waiting states: 16
end waiting states: 16
biggest encoded state: 271 bytes
Command exited with non-zero status 1
@@@0.11,6776@@@
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 406
explored states: 406
peak waiting states: 405
end waiting states: 405
biggest encoded state: 946 bytes
Command exited with non-zero status 1
@@@0.11,7716@@@
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 1064537
explored states: 1061076
peak waiting states: 1059360
end waiting states: 1059360
biggest encoded state: 719 bytes
Command exited with non-zero status 1
@@@17.53,3513988@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 12
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-11 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1799
------------------- QUERY 13 ----------------------

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 13

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 13

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 13

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 13

Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.006526 seconds
Reduced from 104 to 23 places (81, 77.8846%)
Reduced from 66 to 12 transitions (54, 81.8182%)
Applications of rule AtomicPreAgglomeration: 38
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1


Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.007533 seconds
Reduced from 104 to 23 places (81, 77.8846%)
Reduced from 66 to 12 transitions (54, 81.8182%)
Applications of rule AtomicPreAgglomeration: 38
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1


Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.004621 seconds
Reduced from 104 to 23 places (81, 77.8846%)
Reduced from 66 to 12 transitions (54, 81.8182%)
Applications of rule AtomicPreAgglomeration: 38
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 8
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1

parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s RDFS --colored-successor-generator even' ./model.pnml ./ReachabilityCardinality.xml -x 13
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 13
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s DFS --colored-successor-generator even -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 13
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BestFS --colored-successor-generator fixed -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 13
No solution found (step -0.5)


Time left: 1652
------------------- QUERY 14 ----------------------

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 14

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 14

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 14

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 14

Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.002682 seconds
Reduced from 104 to 95 places (9, 8.65385%)
Reduced from 66 to 63 transitions (3, 4.54545%)
Applications of rule AtomicPreAgglomeration: 2
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 0
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 2
Applications of rule Relevance: 1

Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.002279 seconds
Reduced from 104 to 95 places (9, 8.65385%)
Reduced from 66 to 63 transitions (3, 4.54545%)
Applications of rule AtomicPreAgglomeration: 2
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 0
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 2
Applications of rule Relevance: 1


Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.003853 seconds
Reduced from 104 to 95 places (9, 8.65385%)
Reduced from 66 to 63 transitions (3, 4.54545%)
Applications of rule AtomicPreAgglomeration: 2
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 0
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 2
Applications of rule Relevance: 1


Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 4459
explored states: 4459
peak waiting states: 4458
end waiting states: 4458
biggest encoded state: 1043 bytes
Command exited with non-zero status 1
@@@0.35,37148@@@

Query before reduction: AG ((not (cg0 <= 16)) or (96 <= l7) or ((((20 <= l22) and (p8 <= pl1)) or (not (ml4 <= c1))) and (l13 <= p9) and (87 <= lm4) and (not ((l18 <= c2) and (l22 <= 5))) and ((12 <= lc1) or (not ((l2 <= m8) and (m10 <= l29))))) or (((l35 <= l11) or (not ((not (lc2 <= ml2)) or (not (l37 <= 30)) or (not ((pl1 <= 48) and (c7 <= p2))))) or ((not (50 <= l0)) and (not (gl0 <= l13)) and (ml4 <= 82)) or ((75 <= m3) and (l8 <= 52) and (lc1 <= 18) and ((l31 <= l6) or (m5 <= p2)) and (58 <= ml3)) or (not (m9 <= l24))) and ((c5 <= 76) or (((m6 <= 42) or (28 <= lm0)) and (g1 <= m2) and (l14 <= 64) and (not (87 <= l1)) and ((not (26 <= lc3)) or (l28 <= 83) or (lg0 <= 29) or (p11 <= 93) or (13 <= p5))) or (lp1 <= 62))) or (not (((not ((((m3 <= ml2) or (55 <= pl1)) and (not (81 <= lg0))) or (not (59 <= l29)))) or ((not ((not (ml2 <= gl1)) and (not ((68 <= l36) or (cl1 <= l9))))) and (l4 <= l15))) and ((not (((41 <= l5) or (l9 <= 33)) and (89 <= lm0) and (73 <= p0))) or (not (lm0 <= m0))) and (l31 <= p1))))
RWSTATS PRE:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,15,0,0,0,0,
RWSTATS POST:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,

Query after reduction: (not EF ((cg0 <= 16) and (l7 < 96) and ((((l22 < 20) or (pl1 < p8)) and (ml4 <= c1)) or (p9 < l13) or (lm4 < 87) or ((l18 <= c2) and (l22 <= 5)) or ((lc1 < 12) and (l2 <= m8) and (m10 <= l29))) and (l11 < l35) and ((ml2 < lc2) or (48 < pl1) or (p2 < c7)) and ((50 <= l0) or (gl0 <= l13) or (82 < ml4)) and (m9 <= l24) and (((ml2 < m3) and (pl1 < 55) and (59 <= l29)) or (((ml2 <= gl1) or (cl1 <= l9)) and (l4 <= l15))) and (l31 <= p1)))
Query reduction finished after 0.048887 seconds.
Query size reduced from 211 to 95 nodes ( 54.9763 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 9223
explored states: 9223
peak waiting states: 9222
end waiting states: 9222
biggest encoded state: 697 bytes
Command exited with non-zero status 1
@@@0.51,67984@@@
Command terminated by signal 9
@@@72.34,8634636@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 14
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-13 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1530
------------------- QUERY 15 ----------------------

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 15

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 15

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 15

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 15

Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.01797 seconds
Reduced from 104 to 55 places (49, 47.1154%)
Reduced from 66 to 34 transitions (32, 48.4848%)
Applications of rule AtomicPreAgglomeration: 30
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 6
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1


Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.017909 seconds
Reduced from 104 to 55 places (49, 47.1154%)
Reduced from 66 to 34 transitions (32, 48.4848%)
Applications of rule AtomicPreAgglomeration: 30
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 6
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1


Search=RDFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=ENABLED,QSTimeout=30,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.035667 seconds
Reduced from 104 to 55 places (49, 47.1154%)
Reduced from 66 to 34 transitions (32, 48.4848%)
Applications of rule AtomicPreAgglomeration: 30
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 6
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 5
Applications of rule Relevance: 1

Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 2033
explored states: 2033
peak waiting states: 2032
end waiting states: 2032
biggest encoded state: 987 bytes
Command exited with non-zero status 1
@@@0.16,16964@@@

Query before reduction: AG (not ((not (((((l38 <= 4) or ((l22 <= 75) and (l18 <= 47) and ((61 <= lm4) or (g1 <= 16)))) and (not (47 <= lm1)) and (not (l32 <= cl2)) and (ml0 <= 6)) or (l35 <= l27)) and ((not ((p8 <= 87) and (not (lp0 <= 83)))) or (ml1 <= 78)) and ((not ((53 <= c3) and (44 <= c3))) or ((24 <= l33) and (not ((pl0 <= 28) and (70 <= cg0))))))) or (19 <= cl2)))
RWSTATS PRE:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,0,0,0,0,
RWSTATS POST:0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,

Query after reduction: (not EF ((((47 <= lm1) or (l32 <= cl2) or (6 < ml0)) and (l27 < l35)) or ((53 <= c3) and (44 <= c3) and ((l33 < 24) or ((pl0 <= 28) and (70 <= cg0)))) or (19 <= cl2)))
Query reduction finished after 0.054741 seconds.
Query size reduced from 76 to 38 nodes ( 50 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 1813
explored states: 1813
peak waiting states: 1812
end waiting states: 1812
biggest encoded state: 562 bytes
Command exited with non-zero status 1
@@@0.20,16012@@@
Command terminated by signal 9
@@@125.00,8436076@@@
parallel: Warning: This job was killed because it timed out:
parallel: Warning: eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s BFS --colored-successor-generator even -R 0 -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 15
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-14 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1403
------------------- QUERY 16 ----------------------

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 16

Parameters: -C -s RDFS --colored-successor-generator even ./model.pnml ./ReachabilityCardinality.xml -x 16

Parameters: -C -s DFS --colored-successor-generator even -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 16

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 16

Search=HEUR,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=FIXED

Colored structural reductions computed in 0.005866 seconds
Reduced from 104 to 66 places (38, 36.5385%)
Reduced from 66 to 42 transitions (24, 36.3636%)
Applications of rule AtomicPreAgglomeration: 23
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 3
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1


Search=DFS,Trace=DISABLED,PrintBindings=DISABLED,State_Space_Exploration=DISABLED,Colored_Structural_Reduction=ALL,Colored_Struct_Red_Timout=30,Structural_Reduction=AGGRESSIVE,Struct_Red_Timout=60,Stubborn_Reduction=ENABLED,Query_Simplication=DISABLED,Init_Potency=ENABLED,InitPotencyTimeout=10,Siphon_Trap=DISABLED,LPSolve_Timeout=10,ExplicitColored=ENABLED,ColoredSuccessorGenerator=EVEN

Colored structural reductions computed in 0.003695 seconds
Reduced from 104 to 66 places (38, 36.5385%)
Reduced from 66 to 42 transitions (24, 36.3636%)
Applications of rule AtomicPreAgglomeration: 23
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 3
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1

Query index 0 was solved

Query is satisfied
STATS:
discovered states: 103
explored states: 103
peak waiting states: 102
end waiting states: 102
biggest encoded state: 794 bytes
@@@0.03,6704@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn '-C -s DFS --colored-successor-generator even -q 0' ./model.pnml ./ReachabilityCardinality.xml -x 16
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-15 TRUE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1403
Time left: 1403
---------------------------------------------------
Step 0: Parallel Simplification
---------------------------------------------------
Doing parallel simplification (4 in total)
Total simplification timout is 718 -- reduction timeout is 299
timeout 1403 /home/mcc/BenchKit/bin/verifypn -n -q 718 -l 29 -d 299 -z 4 -s OverApprox --binary-query-io 2 --write-simplified /home/mcc/BenchKit/bin/tmp/tmp.ccTMI8pSNo --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.qtUBdmPcMa -x 1,3,7,13 ./model.pnml ./ReachabilityCardinality.xml


Time left: 655

---------------------------------------------------
Step 0.5: Random Walk Parallel processing
---------------------------------------------------
Doing parallel random walk verification of individual queries (4 in total)
Each query is verified by 4 parallel random walks for 35 seconds each
------------------- QUERY 1 ----------------------
Solution found in Random Walk processing (step 0.5)
Query index 0 was solved

Query is NOT satisfied.

Spent 3.31321 on verification
@@@11.30,164828@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-s RandomWalk --seed-offset 2018 -q 5 -l 2 -d 5 --init-potency-timeout 0' /home/mcc/BenchKit/bin/tmp/tmp.qtUBdmPcMa /home/mcc/BenchKit/bin/tmp/tmp.ccTMI8pSNo --binary-query-io 1 -x 1

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-06 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT EXPLICIT STATE_COMPRESSION STUBBORN_SETS
Time left: 644
------------------- QUERY 2 ----------------------
Solution found in Random Walk processing (step 0.5)
Query index 0 was solved

Query is NOT satisfied.

Spent 4.9511 on verification
@@@13.77,162912@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-s RandomWalk --seed-offset 2018 -q 5 -l 2 -d 5 --init-potency-timeout 0' /home/mcc/BenchKit/bin/tmp/tmp.qtUBdmPcMa /home/mcc/BenchKit/bin/tmp/tmp.ccTMI8pSNo --binary-query-io 1 -x 2

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-12 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT EXPLICIT STATE_COMPRESSION STUBBORN_SETS
Time left: 629
------------------- QUERY 3 ----------------------
Solution found in Random Walk processing (step 0.5)
Query index 0 was solved

Query is satisfied.

Spent 8.81342 on verification
@@@21.62,161932@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-s RandomWalk --seed-offset 2018 -q 5 -l 2 -d 5 --init-potency-timeout 0' /home/mcc/BenchKit/bin/tmp/tmp.qtUBdmPcMa /home/mcc/BenchKit/bin/tmp/tmp.ccTMI8pSNo --binary-query-io 1 -x 3

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-00 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT EXPLICIT STATE_COMPRESSION STUBBORN_SETS
Time left: 608
------------------- QUERY 4 ----------------------
Solution found in Random Walk processing (step 0.5)
Query index 0 was solved

Query is satisfied.

Spent 25.2916 on verification
@@@28.40,137736@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-s RandomWalk --seed-offset 0 -q 0 -l 0 -d 0 --init-potency-timeout 0' /home/mcc/BenchKit/bin/tmp/tmp.qtUBdmPcMa /home/mcc/BenchKit/bin/tmp/tmp.ccTMI8pSNo --binary-query-io 1 -x 4

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2025-02 TRUE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT EXPLICIT STATE_COMPRESSION STUBBORN_SETS
Time left: 579
All queries are solved
Time left: 579
terminated-with-cleanup

BK_STOP 1748724675639

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-COL-L00100M0010C005P005G002"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="tapaal"
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-5832"
echo " Executing tool tapaal"
echo " Input is FamilyReunion-COL-L00100M0010C005P005G002, 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 r088-smll-174860104600126"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00100M0010C005P005G002.tgz
mv FamilyReunion-COL-L00100M0010C005P005G002 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.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 ;