Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r169-tall-167838855900434.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool ltsminxred
Input is FamilyReunion-PT-L00400M0040C020P020G001, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r169-tall-167838855900434
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 593M
-rw-r--r-- 1 mcc users 3.2M Feb 27 00:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16M Feb 27 00:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19M Feb 26 22:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 63M Feb 26 22:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.0K Jan 29 11:40 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6M Feb 25 16:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.7M Feb 25 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7M Feb 25 16:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 13M Feb 25 16:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2M Feb 27 12:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 50M Feb 27 12:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 39M Feb 27 09:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 131M Feb 27 09:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 406K Feb 25 16:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 1.1M Feb 25 16:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 235M Mar 5 18:22 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-00
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-01
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-02
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-03
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-04
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-05
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-06
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-07
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-08
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-09
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-10
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-11
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-12
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-13
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-14
FORMULA_NAME FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1678547195854

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=CTLFireability
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-PT-L00400M0040C020P020G001
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-11 15:06:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -timeout, 360, -rebuildPNML]
[2023-03-11 15:06:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 15:06:43] [INFO ] Load time of PNML (sax parser for PT used): 6196 ms
[2023-03-11 15:06:47] [INFO ] Transformed 537708 places.
[2023-03-11 15:06:48] [INFO ] Transformed 508489 transitions.
[2023-03-11 15:06:48] [INFO ] Parsed PT model containing 537708 places and 508489 transitions and 1558729 arcs in 10980 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 1156 ms.
Reduce places removed 106 places and 0 transitions.
Support contains 452048 out of 537602 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 537602/537602 places, 508489/508489 transitions.
Reduce places removed 1339 places and 0 transitions.
Iterating post reduction 0 with 1339 rules applied. Total rules applied 1339 place count 536263 transition count 508489
Applied a total of 1339 rules in 8601 ms. Remains 536263 /537602 variables (removed 1339) and now considering 508489/508489 (removed 0) transitions.
// Phase 1: matrix 508489 rows 536263 cols
[2023-03-11 15:09:40] [WARNING] Invariant computation timed out after 120 seconds.
[2023-03-11 15:10:22] [INFO ] Implicit Places using invariants in 163217 ms returned []
Implicit Place search using SMT only with invariants took 163607 ms to find 0 implicit places.
// Phase 1: matrix 508489 rows 536263 cols
[2023-03-11 15:12:23] [WARNING] Invariant computation timed out after 120 seconds.
[2023-03-11 15:13:14] [INFO ] Dead Transitions using invariants and state equation in 171620 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 536263/537602 places, 508489/508489 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 343863 ms. Remains : 536263/537602 places, 508489/508489 transitions.
Support contains 452048 out of 536263 places after structural reductions.
[2023-03-11 15:13:40] [INFO ] Flatten gal took : 18582 ms
[2023-03-11 15:14:32] [INFO ] Flatten gal took : 19337 ms
[2023-03-11 15:15:37] [INFO ] Input system was already deterministic with 508489 transitions.
Support contains 451638 out of 536263 places (down from 452048) after GAL structural reductions.
Interrupted random walk after 1552 steps, including 0 resets, run timeout after 30010 ms. (steps per millisecond=0 ) properties seen 9
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 3175 ms. (steps per millisecond=0 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 715 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 671 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1268 ms. (steps per millisecond=0 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 399 ms. (steps per millisecond=2 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 652 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 389 ms. (steps per millisecond=2 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 686 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 232 ms. (steps per millisecond=4 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 5675 ms. (steps per millisecond=0 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1131 ms. (steps per millisecond=0 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 547 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 794 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1672 ms. (steps per millisecond=0 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 589 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1179 ms. (steps per millisecond=0 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 551 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1388 ms. (steps per millisecond=0 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 737 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 532 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=2 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1240 ms. (steps per millisecond=0 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 1171 ms. (steps per millisecond=0 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 920 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 226 ms. (steps per millisecond=4 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 650 ms. (steps per millisecond=1 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 94) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 94) seen :0
Interrupted probabilistic random walk after 34348 steps, run timeout after 183732 ms. (steps per millisecond=0 ) properties seen :{0=1, 1=1, 3=1, 4=1, 5=1, 6=1, 7=1, 8=1, 9=1, 11=1, 12=1, 15=1, 19=1, 20=1, 21=1, 22=1, 23=1, 25=1, 26=1, 27=1, 28=1, 31=1, 32=1, 36=1, 37=1, 38=1, 39=1, 40=1, 42=1, 45=1}
Probabilistic random walk after 34348 steps, saw 34262 distinct states, run finished after 183735 ms. (steps per millisecond=0 ) properties seen :30
Running SMT prover for 64 properties.
// Phase 1: matrix 508489 rows 536263 cols
[2023-03-11 15:21:54] [WARNING] Invariant computation timed out after 120 seconds.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:609)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.checkAtomicPropositionsLogic(AtomicReducerSR.java:105)
at fr.lip6.move.gal.application.solver.logic.AtomicReducerSR.strongReductions(AtomicReducerSR.java:44)
at fr.lip6.move.gal.application.solver.ltl.LTLPropertySolver.preSolveForLogic(LTLPropertySolver.java:176)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:626)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-11 15:22:20] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-11 15:22:20] [INFO ] After 25017ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 64 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 188160 out of 536263 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 536263/536263 places, 508489/508489 transitions.
Graph (complete) has 844907 edges and 536263 vertex of which 536242 are kept as prefixes of interest. Removing 21 places using SCC suffix rule.971 ms
Discarding 21 places :
Also discarding 21 output transitions
Drop transitions removed 21 transitions
Discarding 65756 places :
Implicit places reduction removed 65756 places
Drop transitions removed 65724 transitions
Trivial Post-agglo rules discarded 65724 transitions
Performed 65724 trivial Post agglomeration. Transition count delta: 65724
Iterating post reduction 0 with 131480 rules applied. Total rules applied 131481 place count 470486 transition count 442744
Reduce places removed 65724 places and 0 transitions.
Performed 2073 Post agglomeration using F-continuation condition.
Performed 4503 Post agglomeration using F-continuation condition.
Performed 6523 Post agglomeration using F-continuation condition.
Performed 8631 Post agglomeration using F-continuation condition.
Performed 10680 Post agglomeration using F-continuation condition.
Performed 12404 Post agglomeration using F-continuation condition.
Performed 14433 Post agglomeration using F-continuation condition.
Performed 16439 Post agglomeration using F-continuation condition.
Performed 18431 Post agglomeration using F-continuation condition.
Performed 20513 Post agglomeration using F-continuation condition.
Performed 22671 Post agglomeration using F-continuation condition.
Performed 24727 Post agglomeration using F-continuation condition.
Performed 26867 Post agglomeration using F-continuation condition.
Performed 28637 Post agglomeration using F-continuation condition.
Performed 30821 Post agglomeration using F-continuation condition.
Performed 33014 Post agglomeration using F-continuation condition.
Performed 35343 Post agglomeration using F-continuation condition.
Performed 37699 Post agglomeration using F-continuation condition.
Performed 40081 Post agglomeration using F-continuation condition.
Performed 41296 Post agglomeration using F-continuation condition.Transition count delta: 41296
Iterating post reduction 1 with 107020 rules applied. Total rules applied 238501 place count 404762 transition count 401448
Reduce places removed 41296 places and 0 transitions.
Iterating post reduction 2 with 41296 rules applied. Total rules applied 279797 place count 363466 transition count 401448
Performed 2415 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 2415 Pre rules applied. Total rules applied 279797 place count 363466 transition count 399033
Deduced a syphon composed of 2415 places in 897 ms
Ensure Unique test removed 801 places
Reduce places removed 3216 places and 0 transitions.
Iterating global reduction 3 with 5631 rules applied. Total rules applied 285428 place count 360250 transition count 399033
Discarding 400 places :
Implicit places reduction removed 400 places
Iterating post reduction 3 with 400 rules applied. Total rules applied 285828 place count 359850 transition count 399033
Performed 2611 Post agglomeration using F-continuation condition.
Performed 5113 Post agglomeration using F-continuation condition.
Performed 7726 Post agglomeration using F-continuation condition.
Performed 10118 Post agglomeration using F-continuation condition.
Performed 12668 Post agglomeration using F-continuation condition.
Performed 15319 Post agglomeration using F-continuation condition.
Performed 17284 Post agglomeration using F-continuation condition.
Performed 17436 Post agglomeration using F-continuation condition.Transition count delta: 17436
Deduced a syphon composed of 17436 places in 613 ms
Reduce places removed 17436 places and 0 transitions.
Iterating global reduction 4 with 34872 rules applied. Total rules applied 320700 place count 342414 transition count 381597
Free-agglomeration rule applied 40 times.
Iterating global reduction 4 with 40 rules applied. Total rules applied 320740 place count 342414 transition count 381557
Reduce places removed 40 places and 0 transitions.
Ensure Unique test removed 37 transitions
Reduce isomorphic transitions removed 37 transitions.
Iterating post reduction 4 with 77 rules applied. Total rules applied 320817 place count 342374 transition count 381520
Free-agglomeration rule (complex) applied 41101 times.
Iterating global reduction 5 with 41101 rules applied. Total rules applied 361918 place count 342374 transition count 499239
Ensure Unique test removed 401 places
Reduce places removed 41502 places and 0 transitions.
Iterating post reduction 5 with 41502 rules applied. Total rules applied 403420 place count 300872 transition count 499239
Discarding 7960 places :
Symmetric choice reduction at 6 with 7960 rule applications. Total rules 411380 place count 292912 transition count 324479
Ensure Unique test removed 397 places
Iterating global reduction 6 with 8357 rules applied. Total rules applied 419737 place count 292515 transition count 324479
Ensure Unique test removed 7940 transitions
Reduce isomorphic transitions removed 7940 transitions.
Iterating post reduction 6 with 7940 rules applied. Total rules applied 427677 place count 292515 transition count 316539
Free-agglomeration rule (complex) applied 401 times.
Iterating global reduction 7 with 401 rules applied. Total rules applied 428078 place count 292515 transition count 316138
Reduce places removed 401 places and 0 transitions.
Iterating post reduction 7 with 401 rules applied. Total rules applied 428479 place count 292114 transition count 316138
[2023-03-11 15:53:43] [INFO ] Computed 112285 place invariants in 2763043 ms
Applied a total of 428479 rules in 1884175 ms. Remains 292114 /536263 variables (removed 244149) and now considering 316138/508489 (removed 192351) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1884201 ms. Remains : 292114/536263 places, 316138/508489 transitions.
[2023-03-11 15:54:13] [INFO ] Flatten gal took : 15836 ms
[2023-03-11 15:55:04] [INFO ] Flatten gal took : 18111 ms
pnml2lts-sym model.pnml --lace-workers=4 --vset=lddmc --saturation=sat -rbs,w2W,ru,hf --sylvan-sizes=20,28,20,28 --ctl=/tmp/591/ctl_0_ --ctl=/tmp/591/ctl_1_ --ctl=/tmp/591/ctl_2_ --ctl=/tmp/591/ctl_3_ --ctl=/tmp/591/ctl_4_ --ctl=/tmp/591/ctl_5_ --ctl=/tmp/591/ctl_6_ --ctl=/tmp/591/ctl_7_ --ctl=/tmp/591/ctl_8_ --ctl=/tmp/591/ctl_9_ --ctl=/tmp/591/ctl_10_ --ctl=/tmp/591/ctl_11_ --ctl=/tmp/591/ctl_12_ --ctl=/tmp/591/ctl_13_ --ctl=/tmp/591/ctl_14_ --ctl=/tmp/591/ctl_15_ --mu-par --mu-opt
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-00
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-01
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-02
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-03
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-04
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-05
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-06
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-07
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-08
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-09
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-10
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-11
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-12
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-13
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-14
Could not compute solution for formula : FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-15

BK_STOP 1678550217410

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLFireability -timeout 360 -rebuildPNML
mcc2023
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-00
ctl formula formula --ctl=/tmp/591/ctl_0_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-01
ctl formula formula --ctl=/tmp/591/ctl_1_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-02
ctl formula formula --ctl=/tmp/591/ctl_2_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-03
ctl formula formula --ctl=/tmp/591/ctl_3_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-04
ctl formula formula --ctl=/tmp/591/ctl_4_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-05
ctl formula formula --ctl=/tmp/591/ctl_5_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-06
ctl formula formula --ctl=/tmp/591/ctl_6_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-07
ctl formula formula --ctl=/tmp/591/ctl_7_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-08
ctl formula formula --ctl=/tmp/591/ctl_8_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-09
ctl formula formula --ctl=/tmp/591/ctl_9_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-10
ctl formula formula --ctl=/tmp/591/ctl_10_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-11
ctl formula formula --ctl=/tmp/591/ctl_11_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-12
ctl formula formula --ctl=/tmp/591/ctl_12_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-13
ctl formula formula --ctl=/tmp/591/ctl_13_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-14
ctl formula formula --ctl=/tmp/591/ctl_14_
ctl formula name FamilyReunion-PT-L00400M0040C020P020G001-CTLFireability-15
ctl formula formula --ctl=/tmp/591/ctl_15_
pnml2lts-sym: Exploration order is bfs-prev
pnml2lts-sym: Saturation strategy is sat
pnml2lts-sym: Guided search strategy is unguided
pnml2lts-sym: Attractor strategy is default
pnml2lts-sym: opening model.pnml
pnml2lts-sym: Edge label is id
Warning: program compiled against libxml 210 using older 209
pnml2lts-sym: Petri net has 537708 places, 508489 transitions and 1558729 arcs
pnml2lts-sym: Petri net FamilyReunion-PT-L00400M0040C020P020G001 analyzed
pnml2lts-sym, ** error **: out of memory trying to get 34178596624

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-PT-L00400M0040C020P020G001"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool ltsminxred"
echo " Input is FamilyReunion-PT-L00400M0040C020P020G001, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r169-tall-167838855900434"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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