Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2026-input.r142-smll-177955812100023.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-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-5973
Executing tool gold2025
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 r142-smll-177955812100023
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 656K
-rw-r--r-- 1 mcc users 7.1K Mar 6 05:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Mar 6 05:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Mar 6 05:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Mar 6 05:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K Mar 3 18:30 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Mar 15 10:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 15 10:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 15 10:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Mar 6 05:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 153K Mar 6 05:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Mar 6 05:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Mar 6 05:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 15 10:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 15 10:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 140K Mar 3 18:30 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-2024-00
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-01
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-02
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-03
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-04
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-05
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-06
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-07
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-08
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-09
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-10
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-11
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-12
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-13
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-14
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-15

=== Now, execution of the tool begins

BK_START 1779645654058

gold2025
Got BK_BIN_PATH=/home/mcc/BenchKit/bin/
---> gold2025 --- 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.xUPHZcPQxz
MF=/home/mcc/BenchKit/bin/tmp/tmp.ruE9hoGal7
Time left: 3590
---------------------------------------------------
Step -1: Stripping Colors
---------------------------------------------------
Verifying stripped models (16 in total)
Solution found by stripping colors (step -1) for query index 7

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-07 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT LP_APPROX CPN_APPROX
Query index 7 was solved

Query is NOT satisfied.

Solved using CPN Approximation



Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-00 is satisfied.

Query is MAYBE satisfied.


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

Query is MAYBE satisfied.


Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-13 is satisfied.

Query is MAYBE satisfied.


Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-10 is satisfied.

Query is MAYBE satisfied.


Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-12 is satisfied.

Query is MAYBE satisfied.


Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-01 is satisfied.

Query is MAYBE satisfied.


Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-03 is satisfied.

Query is MAYBE satisfied.


Unable to decide if FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-09 is satisfied.

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

Parameters: -C -s DFS --colored-successor-generator even -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.002065 seconds
Reduced from 104 to 86 places (18, 17.3077%)
Reduced from 66 to 55 transitions (11, 16.6667%)
Applications of rule AtomicPreAgglomeration: 10
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 2
Applications of rule Relevance: 1


Parameters: -C -s BFS --colored-successor-generator even -R 0 -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.001445 seconds
Reduced from 104 to 86 places (18, 17.3077%)
Reduced from 66 to 55 transitions (11, 16.6667%)
Applications of rule AtomicPreAgglomeration: 10
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 2
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.001409 seconds
Reduced from 104 to 86 places (18, 17.3077%)
Reduced from 66 to 55 transitions (11, 16.6667%)
Applications of rule AtomicPreAgglomeration: 10
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
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: 810
explored states: 810
peak waiting states: 809
end waiting states: 809
biggest encoded state: 1025 bytes
Command exited with non-zero status 1
@@@0.09,11636@@@

Query before reduction: AG ((80 <= l8) or ((not (c4 <= cg0)) and (((not (l6 <= ml2)) and (not (p0 <= l35)) and (l2 <= l5) and ((c7 <= 84) or (l16 <= 45) or (r0 <= m1) or (c0 <= 86) or (72 <= c3) or (c4 <= l28)) and (not ((l8 <= c5) or (l13 <= cl0))) and (not (m7 <= 67))) or (l10 <= m11))) or ((p2 <= 83) and ((not ((l15 <= 98) and (not (((l22 <= 85) and (g1 <= l35) and (l29 <= 49) and (l5 <= lm4)) or ((not (lm0 <= p6)) and ((cl2 <= l13) or (l33 <= 69))))))) or ((not (l9 <= 34)) and (p11 <= l10) and (lm1 <= lp1) and (not ((91 <= g0) or ((lc3 <= 9) and (lc2 <= 20)))) and ((not (l38 <= p7)) or (17 <= cl0) or (63 <= l16) or (ml3 <= 15)) and (not (l4 <= 56))))))
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,11,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 ((l8 < 80) and ((c4 <= cg0) or (((l6 <= ml2) or (l5 < l2) or (l8 <= c5) or (l13 <= cl0) or (m7 <= 67)) and (m11 < l10))) and ((83 < p2) or ((l15 <= 98) and ((85 < l22) or (l35 < g1) or (49 < l29) or (lm4 < l5)) and ((lm0 <= p6) or ((l13 < cl2) and (69 < l33)))))))
Query reduction finished after 0.019431 seconds.
Query size reduced from 135 to 62 nodes ( 54.0741 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 42618
explored states: 42618
peak waiting states: 42617
end waiting states: 42617
biggest encoded state: 839 bytes
Command exited with non-zero status 1
@@@1.85,299828@@@
Command terminated by signal 9
@@@48.28,9031296@@@
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 1
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-00 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2749
------------------- QUERY 2 ----------------------

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

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

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

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

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.006086 seconds
Reduced from 104 to 91 places (13, 12.5%)
Reduced from 66 to 60 transitions (6, 9.09091%)
Applications of rule AtomicPreAgglomeration: 6
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


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.008043 seconds
Reduced from 104 to 91 places (13, 12.5%)
Reduced from 66 to 60 transitions (6, 9.09091%)
Applications of rule AtomicPreAgglomeration: 6
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


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.008066 seconds
Reduced from 104 to 91 places (13, 12.5%)
Reduced from 66 to 60 transitions (6, 9.09091%)
Applications of rule AtomicPreAgglomeration: 6
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: 2226
explored states: 2226
peak waiting states: 2225
end waiting states: 2225
biggest encoded state: 1042 bytes
Command exited with non-zero status 1
@@@0.28,21412@@@

Query before reduction: AG ((cl0 <= l29) or ((not (79 <= l2)) and (((((70 <= c3) and (l40 <= ml3)) or ((cg0 <= 24) and (ml2 <= 66))) and (l19 <= 20) and (not (((33 <= cl2) and (p0 <= m0)) or ((45 <= m11) and (gl0 <= 84)))) and ((not ((not (7 <= l7)) and (not (l20 <= l39)))) or ((not ((p3 <= 85) and (r0 <= l22))) and (4 <= c0)))) or ((not (l31 <= l9)) and ((not (l3 <= pl1)) or ((29 <= m4) and (70 <= m3)) or (c5 <= 76))))) or (((not (l27 <= 53)) or (not ((c6 <= 47) or (19 <= l29) or ((l8 <= cl2) and (p7 <= l2))))) and (not (c0 <= 65)) and (c3 <= lp0) and (not ((80 <= c6) or (l6 <= 7) or (m9 <= l23))) and (23 <= ml2) and (not (l33 <= l34)) and (not ((not (l29 <= 27)) or ((((19 <= l35) and (l31 <= l15)) or ((l1 <= 98) and (39 <= p0))) and (not (lm3 <= 11))))) and (not ((((not (ml3 <= ml4)) or ((45 <= m9) and (33 <= l30))) and ((l28 <= cl1) or (lm0 <= 15) or (lm4 <= 30) or (94 <= l10))) or (not ((l21 <= 79) and (lp1 <= 41) and (l9 <= 7)))))))
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,13,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 ((l29 < cl0) and ((79 <= l2) or (((((c3 < 70) or (ml3 < l40)) and ((24 < cg0) or (66 < ml2))) or (20 < l19) or (33 <= cl2) or (45 <= m11) or ((l7 < 7) and (l39 < l20) and (p3 <= 85) and (r0 <= l22))) and ((l31 <= l9) or ((l3 <= pl1) and ((m4 < 29) or (m3 < 70)) and (76 < c5)))))))
Query reduction finished after 0.021379 seconds.
Query size reduced from 200 to 67 nodes ( 66.5 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 14475
explored states: 14475
peak waiting states: 14474
end waiting states: 14474
biggest encoded state: 677 bytes
Command exited with non-zero status 1
@@@0.76,101560@@@
Command terminated by signal 9
@@@44.19,9277044@@@
Command terminated by signal 9
@@@126.32,16109504@@@
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-01 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2622
------------------- QUERY 3 ----------------------

Parameters: -C -s BestFS --colored-successor-generator fixed -q 0 ./model.pnml ./ReachabilityCardinality.xml -x 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

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.002198 seconds
Reduced from 104 to 76 places (28, 26.9231%)
Reduced from 66 to 48 transitions (18, 27.2727%)
Applications of rule AtomicPreAgglomeration: 17
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
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.004026 seconds
Reduced from 104 to 76 places (28, 26.9231%)
Reduced from 66 to 48 transitions (18, 27.2727%)
Applications of rule AtomicPreAgglomeration: 17
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
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.01891 seconds
Reduced from 104 to 76 places (28, 26.9231%)
Reduced from 66 to 48 transitions (18, 27.2727%)
Applications of rule AtomicPreAgglomeration: 17
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 4
Applications of rule Relevance: 1

Query index 0 was solved

Query is satisfied
STATS:
discovered states: 2916
explored states: 2916
peak waiting states: 2915
end waiting states: 2915
biggest encoded state: 1001 bytes
@@@0.17,23324@@@
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 3
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2621
------------------- QUERY 4 ----------------------

Parameters: -C -s RDFS --colored-successor-generator even ./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.002994 seconds
Reduced from 104 to 43 places (61, 58.6538%)
Reduced from 66 to 26 transitions (40, 60.6061%)
Applications of rule AtomicPreAgglomeration: 35
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 4

Parameters: -C -s BFS --colored-successor-generator even -R 0 -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=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.004816 seconds
Reduced from 104 to 43 places (61, 58.6538%)
Reduced from 66 to 26 transitions (40, 60.6061%)
Applications of rule AtomicPreAgglomeration: 35
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


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.028993 seconds
Reduced from 104 to 43 places (61, 58.6538%)
Reduced from 66 to 26 transitions (40, 60.6061%)
Applications of rule AtomicPreAgglomeration: 35
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

Query index 0 was solved

Query is satisfied
STATS:
discovered states: 2001
explored states: 2001
peak waiting states: 2000
end waiting states: 2000
biggest encoded state: 971 bytes
@@@0.12,15308@@@
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-2024-03 TRUE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2621
------------------- QUERY 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.001806 seconds
Reduced from 104 to 77 places (27, 25.9615%)
Reduced from 66 to 48 transitions (18, 27.2727%)
Applications of rule AtomicPreAgglomeration: 14
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 2
Applications of rule Relevance: 1


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

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

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.002961 seconds
Reduced from 104 to 77 places (27, 25.9615%)
Reduced from 66 to 48 transitions (18, 27.2727%)
Applications of rule AtomicPreAgglomeration: 14
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 2
Applications of rule Relevance: 1


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

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.004816 seconds
Reduced from 104 to 77 places (27, 25.9615%)
Reduced from 66 to 48 transitions (18, 27.2727%)
Applications of rule AtomicPreAgglomeration: 14
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
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: 3340
explored states: 3340
peak waiting states: 3339
end waiting states: 3339
biggest encoded state: 635 bytes
Command exited with non-zero status 1
@@@0.13,26560@@@
Command terminated by signal 9
@@@56.67,8485552@@@
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 5
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 5
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-04 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 2444
------------------- QUERY 6 ----------------------

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

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=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.003676 seconds
Reduced from 104 to 65 places (39, 37.5%)
Reduced from 66 to 41 transitions (25, 37.8788%)
Applications of rule AtomicPreAgglomeration: 20
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 2
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.004461 seconds
Reduced from 104 to 65 places (39, 37.5%)
Reduced from 66 to 41 transitions (25, 37.8788%)
Applications of rule AtomicPreAgglomeration: 20
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 2
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.004645 seconds
Reduced from 104 to 65 places (39, 37.5%)
Reduced from 66 to 41 transitions (25, 37.8788%)
Applications of rule AtomicPreAgglomeration: 20
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 2
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1



Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 2262
explored states: 2262
peak waiting states: 2261
end waiting states: 2261
biggest encoded state: 1003 bytes
Command exited with non-zero status 1
@@@0.20,18860@@@

Query before reduction: AG (not (((p9 <= 62) and (((not ((c4 <= l19) and (l24 <= l10))) and (not ((63 <= l22) or (r0 <= 6))) and (not ((ml0 <= 56) or (l12 <= 68)))) or (c0 <= p10)) and ((not ((lm3 <= c6) and (not (pl1 <= 96)) and (g2 <= 12) and (not ((not (l4 <= 36)) or (l16 <= 41) or (c4 <= cl2))))) or (not (40 <= c6)))) or (not (p4 <= 41))))
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,3,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 (((p9 <= 62) and (c0 <= p10)) or (41 < p4)))
Query reduction finished after 0.012264 seconds.
Query size reduced from 69 to 13 nodes ( 81.1594 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 11721
explored states: 11721
peak waiting states: 11720
end waiting states: 11720
biggest encoded state: 743 bytes
Command exited with non-zero status 1
@@@0.82,75596@@@
Command terminated by signal 9
@@@99.28,9501004@@@
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
Solution found by explicit exploration (step -0.5)

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

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

Parameters: -C -s RDFS --colored-successor-generator even ./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.00405 seconds
Reduced from 104 to 54 places (50, 48.0769%)
Reduced from 66 to 32 transitions (34, 51.5152%)
Applications of rule AtomicPreAgglomeration: 31
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 4
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
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 7

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

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.004474 seconds
Reduced from 104 to 54 places (50, 48.0769%)
Reduced from 66 to 32 transitions (34, 51.5152%)
Applications of rule AtomicPreAgglomeration: 31
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 4
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
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.004325 seconds
Reduced from 104 to 54 places (50, 48.0769%)
Reduced from 66 to 32 transitions (34, 51.5152%)
Applications of rule AtomicPreAgglomeration: 31
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 4
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 5
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: 2178
------------------- QUERY 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

Parameters: -C -s DFS --colored-successor-generator even -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.003965 seconds
Reduced from 104 to 21 places (83, 79.8077%)
Reduced from 66 to 11 transitions (55, 83.3333%)
Applications of rule AtomicPreAgglomeration: 30
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 5
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.005905 seconds
Reduced from 104 to 21 places (83, 79.8077%)
Reduced from 66 to 11 transitions (55, 83.3333%)
Applications of rule AtomicPreAgglomeration: 30
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 5
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.012412 seconds
Reduced from 104 to 21 places (83, 79.8077%)
Reduced from 66 to 11 transitions (55, 83.3333%)
Applications of rule AtomicPreAgglomeration: 30
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 5
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1

Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 861
explored states: 861
peak waiting states: 860
end waiting states: 860
biggest encoded state: 757 bytes
Command exited with non-zero status 1
@@@0.12,9448@@@
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 9
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
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 9
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-08 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1982
------------------- QUERY 10 ----------------------

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

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

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

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

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.00317 seconds
Reduced from 104 to 82 places (22, 21.1538%)
Reduced from 66 to 53 transitions (13, 19.697%)
Applications of rule AtomicPreAgglomeration: 11
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
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.003307 seconds
Reduced from 104 to 82 places (22, 21.1538%)
Reduced from 66 to 53 transitions (13, 19.697%)
Applications of rule AtomicPreAgglomeration: 11
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
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.005508 seconds
Reduced from 104 to 82 places (22, 21.1538%)
Reduced from 66 to 53 transitions (13, 19.697%)
Applications of rule AtomicPreAgglomeration: 11
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 1
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1



Command terminated by signal 9
@@@86.64,8670536@@@
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 10
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 10
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 10
No solution found (step -0.5)


Time left: 1859
------------------- QUERY 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

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

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

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.003575 seconds
Reduced from 104 to 81 places (23, 22.1154%)
Reduced from 66 to 52 transitions (14, 21.2121%)
Applications of rule AtomicPreAgglomeration: 10
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 2
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 1
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.001815 seconds
Reduced from 104 to 81 places (23, 22.1154%)
Reduced from 66 to 52 transitions (14, 21.2121%)
Applications of rule AtomicPreAgglomeration: 10
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 2
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
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.005166 seconds
Reduced from 104 to 81 places (23, 22.1154%)
Reduced from 66 to 52 transitions (14, 21.2121%)
Applications of rule AtomicPreAgglomeration: 10
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 2
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 1
Applications of rule Relevance: 1


Query before reduction: AG ((not ((4 <= l30) or ((not ((3 <= l2) and (((41 <= lm3) and (l15 <= 57)) or (not (m7 <= m9)) or ((not (cg0 <= lg0)) and (38 <= c1))))) and ((not ((not (p3 <= g1)) or (not (m2 <= 91)))) or (not ((15 <= p2) and (lm2 <= 2) and (l31 <= 13) and (p1 <= l0))) or (not ((c7 <= 72) and (p11 <= l22))))))) or (not (l12 <= 59)) or (lc2 <= ml3) or (m2 <= g0) or (not ((21 <= m11) or (72 <= lm2) or (c2 <= 79) or ((24 <= l14) and (5 <= ml2)) or (m7 <= 15))) or (not (((9 <= c4) or (not (p0 <= l5)) or (71 <= l28)) and (c1 <= 59) and (m0 <= 43) and (c2 <= 23) and (l33 <= m0) and (not ((l0 <= 21) and (54 <= p10) and (not (p7 <= 36)))) and (not (65 <= c5)))))
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,9,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 (((4 <= l30) or (((l2 < 3) or (((lm3 < 41) or (57 < l15)) and (m7 <= m9) and ((cg0 <= lg0) or (c1 < 38)))) and (((p3 <= g1) and (m2 <= 91)) or (p2 < 15) or (2 < lm2) or (13 < l31) or (l0 < p1) or (72 < c7) or (l22 < p11)))) and (l12 <= 59) and (ml3 < lc2) and (g0 < m2) and ((9 <= c4) or (l5 < p0) or (71 <= l28)) and (c1 <= 59) and (l33 <= m0) and ((21 < l0) or (p10 < 54) or (p7 <= 36)) and (c5 < 65)))
Query reduction finished after 0.026385 seconds.
Query size reduced from 138 to 94 nodes ( 31.8841 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 4472
explored states: 4472
peak waiting states: 4471
end waiting states: 4471
biggest encoded state: 565 bytes
Command exited with non-zero status 1
@@@0.32,32616@@@
Command terminated by signal 9
@@@161.79,8614256@@@
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
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 11
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-10 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1696
------------------- QUERY 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 DFS --colored-successor-generator even -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.006775 seconds
Reduced from 104 to 21 places (83, 79.8077%)
Reduced from 66 to 11 transitions (55, 83.3333%)
Applications of rule AtomicPreAgglomeration: 37
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.006541 seconds
Reduced from 104 to 21 places (83, 79.8077%)
Reduced from 66 to 11 transitions (55, 83.3333%)
Applications of rule AtomicPreAgglomeration: 37
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.004599 seconds
Reduced from 104 to 21 places (83, 79.8077%)
Reduced from 66 to 11 transitions (55, 83.3333%)
Applications of rule AtomicPreAgglomeration: 37
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



Command terminated by signal 9
@@@47.48,9077624@@@
Command terminated by signal 9
@@@114.63,15631844@@@
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 12
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 12
No solution found (step -0.5)


Time left: 1573
------------------- QUERY 13 ----------------------

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

Parameters: -C -s DFS --colored-successor-generator even -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 BestFS --colored-successor-generator fixed -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.007204 seconds
Reduced from 104 to 28 places (76, 73.0769%)
Reduced from 66 to 14 transitions (52, 78.7879%)
Applications of rule AtomicPreAgglomeration: 44
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.00737 seconds
Reduced from 104 to 28 places (76, 73.0769%)
Reduced from 66 to 14 transitions (52, 78.7879%)
Applications of rule AtomicPreAgglomeration: 44
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=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.005151 seconds
Reduced from 104 to 28 places (76, 73.0769%)
Reduced from 66 to 14 transitions (52, 78.7879%)
Applications of rule AtomicPreAgglomeration: 44
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 index 0 was solved

Query is satisfied
STATS:
discovered states: 965
explored states: 965
peak waiting states: 964
end waiting states: 964
biggest encoded state: 962 bytes
@@@0.10,10352@@@
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 13
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-12 TRUE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1573
------------------- 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

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.003205 seconds
Reduced from 104 to 80 places (24, 23.0769%)
Reduced from 66 to 53 transitions (13, 19.697%)
Applications of rule AtomicPreAgglomeration: 13
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 2
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1


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=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.003123 seconds
Reduced from 104 to 80 places (24, 23.0769%)
Reduced from 66 to 53 transitions (13, 19.697%)
Applications of rule AtomicPreAgglomeration: 13
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 2
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.001882 seconds
Reduced from 104 to 80 places (24, 23.0769%)
Reduced from 66 to 53 transitions (13, 19.697%)
Applications of rule AtomicPreAgglomeration: 13
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 2
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 0
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1


Query before reduction: AG ((((((l36 <= l22) and (((l13 <= cl2) and ((98 <= l30) or (c5 <= 20)) and (not (ml3 <= 27))) or (41 <= ml0) or (not (lm1 <= p7)) or ((l37 <= 5) and (c0 <= l17)))) or (68 <= m1) or ((19 <= lm4) and (l12 <= 36))) and (not ((not ((not ((44 <= l32) or (g2 <= 47))) or (cl0 <= m5))) and (((13 <= gl0) and (l0 <= m11) and (lp1 <= 65) and (l32 <= c2) and (m8 <= g1) and ((53 <= lg0) or (96 <= l27))) or ((l4 <= gl1) and (79 <= l4) and (cl0 <= l27) and (not (m7 <= 96))))))) or (p10 <= l37)) and ((not (38 <= l40)) or (ml4 <= ml2)))
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,5,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 (((l22 < l36) or (((cl2 < l13) or ((l30 < 98) and (20 < c5)) or (ml3 <= 27)) and (ml0 < 41) and (lm1 <= p7) and (l17 < c0))) and (m1 < 68) and ((lm4 < 19) or (36 < l12)) and (l37 < p10)))
Query reduction finished after 0.020468 seconds.
Query size reduced from 113 to 44 nodes ( 61.0619 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 3561
explored states: 3561
peak waiting states: 3560
end waiting states: 3560
biggest encoded state: 505 bytes
Command exited with non-zero status 1
@@@0.22,26456@@@
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 2931
explored states: 2931
peak waiting states: 2930
end waiting states: 2930
biggest encoded state: 1016 bytes
Command exited with non-zero status 1
@@@0.25,24620@@@
Command terminated by signal 9
@@@85.90,8528508@@@
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-2024-13 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1451
------------------- QUERY 15 ----------------------

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

Parameters: -C -s DFS --colored-successor-generator even -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.003279 seconds
Reduced from 104 to 21 places (83, 79.8077%)
Reduced from 66 to 11 transitions (55, 83.3333%)
Applications of rule AtomicPreAgglomeration: 29
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 5
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.005387 seconds
Reduced from 104 to 21 places (83, 79.8077%)
Reduced from 66 to 11 transitions (55, 83.3333%)
Applications of rule AtomicPreAgglomeration: 29
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 5
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1


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

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.004095 seconds
Reduced from 104 to 21 places (83, 79.8077%)
Reduced from 66 to 11 transitions (55, 83.3333%)
Applications of rule AtomicPreAgglomeration: 29
Applications of rule DeadTransitions: 0
Applications of rule ParallelPlaces: 5
Applications of rule ParallelTransitions: 0
Applications of rule PreemptiveFiring: 1
Applications of rule RedundantPlaces: 3
Applications of rule Relevance: 1

Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 986
explored states: 986
peak waiting states: 985
end waiting states: 985
biggest encoded state: 757 bytes
Command exited with non-zero status 1
@@@0.04,9888@@@
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 15
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
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 15
Solution found by explicit exploration (step -0.5)

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

Parameters: -C -s BFS --colored-successor-generator even -R 0 -q 0 ./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

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

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.006322 seconds
Reduced from 104 to 58 places (46, 44.2308%)
Reduced from 66 to 35 transitions (31, 46.9697%)

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.008039 seconds
Reduced from 104 to 58 places (46, 44.2308%)
Reduced from 66 to 35 transitions (31, 46.9697%)
Applications of rule AtomicPreAgglomeration: 27
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=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.012899 seconds
Reduced from 104 to 58 places (46, 44.2308%)
Reduced from 66 to 35 transitions (31, 46.9697%)
Applications of rule AtomicPreAgglomeration: 27
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
Applications of rule AtomicPreAgglomeration: 27
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 NOT satisfied
STATS:
discovered states: 2037
explored states: 2037
peak waiting states: 2036
end waiting states: 2036
biggest encoded state: 791 bytes
Command exited with non-zero status 1
@@@0.16,15820@@@

Query before reduction: AG (not ((not (((not ((l28 <= l34) and (lm2 <= l27))) and (95 <= p8) and (l15 <= 2)) or (6 <= l27) or (not (((((r0 <= 98) or (l11 <= g1)) and (lc0 <= 21)) or (p10 <= 14)) and (not ((not (8 <= l5)) and (not (73 <= l31)))))))) or (8 <= l24)))
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,5,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 (((((l28 <= l34) and (lm2 <= l27)) or (p8 < 95) or (2 < l15)) and (l27 < 6) and ((lc0 <= 21) or (p10 <= 14)) and ((8 <= l5) or (73 <= l31))) or (8 <= l24)))
Query reduction finished after 0.029237 seconds.
Query size reduced from 53 to 38 nodes ( 28.3019 percent reduction).
Query index 0 was solved

Query is NOT satisfied
STATS:
discovered states: 1843
explored states: 1843
peak waiting states: 1842
end waiting states: 1842
biggest encoded state: 572 bytes
Command exited with non-zero status 1
@@@0.22,16352@@@
Command terminated by signal 9
@@@64.16,8955568@@@
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 16
Solution found by explicit exploration (step -0.5)

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-15 FALSE TECHNIQUES STRUCTURAL_REDUCTION CPN_EXPLICIT
Time left: 1182
Time left: 1182
---------------------------------------------------
Step 0: Parallel Simplification
---------------------------------------------------
Doing parallel simplification (3 in total)
Total simplification timout is 718 -- reduction timeout is 299
timeout 1182 /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.xUPHZcPQxz --write-reduced /home/mcc/BenchKit/bin/tmp/tmp.ruE9hoGal7 -x 7,10,12 ./model.pnml ./ReachabilityCardinality.xml


Time left: 453

---------------------------------------------------
Step 0.5: Random Walk Parallel processing
---------------------------------------------------
Doing parallel random walk verification of individual queries (3 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 satisfied.

Spent 5.08929 on verification
@@@13.61,151376@@@
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.ruE9hoGal7 /home/mcc/BenchKit/bin/tmp/tmp.xUPHZcPQxz --binary-query-io 1 -x 1

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

Query is NOT satisfied.

Spent 14.1321 on verification
@@@22.65,150836@@@
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.ruE9hoGal7 /home/mcc/BenchKit/bin/tmp/tmp.xUPHZcPQxz --binary-query-io 1 -x 2

FORMULA FamilyReunion-COL-L00100M0010C005P005G002-ReachabilityCardinality-2024-06 FALSE TECHNIQUES COLLATERAL_PROCESSING STRUCTURAL_REDUCTION QUERY_REDUCTION SAT_SMT EXPLICIT STATE_COMPRESSION STUBBORN_SETS
Time left: 416
------------------- QUERY 3 ----------------------
No solution found
parallel: Warning: This job was killed because it timed out:
parallel: Warning: 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.ruE9hoGal7 /home/mcc/BenchKit/bin/tmp/tmp.xUPHZcPQxz --binary-query-io 1 -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 -n '-s RandomWalk --seed-offset 1337 -q 0 -l 0 -d 5' /home/mcc/BenchKit/bin/tmp/tmp.ruE9hoGal7 /home/mcc/BenchKit/bin/tmp/tmp.xUPHZcPQxz --binary-query-io 1 -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 -n '-s RandomWalk --seed-offset 2018 -q 5 -l 2 -d 5 --init-potency-timeout 0' /home/mcc/BenchKit/bin/tmp/tmp.ruE9hoGal7 /home/mcc/BenchKit/bin/tmp/tmp.xUPHZcPQxz --binary-query-io 1 -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 -n '-s RandomWalk --seed-offset 9220 -q 5 -l 3 -d 10' /home/mcc/BenchKit/bin/tmp/tmp.ruE9hoGal7 /home/mcc/BenchKit/bin/tmp/tmp.xUPHZcPQxz --binary-query-io 1 -x 3


Time left: 378
---------------------------------------------------
Step 1: Parallel processing
---------------------------------------------------
Doing parallel verification of individual queries (3 in total)
Each query is verified by 4 parallel strategies for 256 seconds
------------------- QUERY 3 ----------------------
Solution found by parallel processing (step 1)
Query index 0 was solved

Query is satisfied.

Spent 49.7432 on verification
@@@52.76,267220@@@
parallel: This job succeeded:
eval /usr/bin/time -f "@@@%e,%M@@@" /home/mcc/BenchKit/bin/verifypn -n '-s RDFS -q 0 -l 0 -d 119' /home/mcc/BenchKit/bin/tmp/tmp.ruE9hoGal7 /home/mcc/BenchKit/bin/tmp/tmp.xUPHZcPQxz --binary-query-io 1 -x 3 -n

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

BK_STOP 1779648919244

--------------------
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="gold2025"
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-5973"
echo " Executing tool gold2025"
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 r142-smll-177955812100023"
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 ;