Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r120-csrt-158961292500109.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool win2019
Input is NoC3x3-PT-7B, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r120-csrt-158961292500109
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.5K Apr 8 15:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 15:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 6 20:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 04:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 6 04:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.0M Mar 24 05:37 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 NoC3x3-PT-7B-00
FORMULA_NAME NoC3x3-PT-7B-01
FORMULA_NAME NoC3x3-PT-7B-02
FORMULA_NAME NoC3x3-PT-7B-03
FORMULA_NAME NoC3x3-PT-7B-04
FORMULA_NAME NoC3x3-PT-7B-05
FORMULA_NAME NoC3x3-PT-7B-06
FORMULA_NAME NoC3x3-PT-7B-07
FORMULA_NAME NoC3x3-PT-7B-08
FORMULA_NAME NoC3x3-PT-7B-09
FORMULA_NAME NoC3x3-PT-7B-10
FORMULA_NAME NoC3x3-PT-7B-11
FORMULA_NAME NoC3x3-PT-7B-12
FORMULA_NAME NoC3x3-PT-7B-13
FORMULA_NAME NoC3x3-PT-7B-14
FORMULA_NAME NoC3x3-PT-7B-15

=== Now, execution of the tool begins

BK_START 1590342249898

info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ NoC3x3-PT-7B @ 3570 seconds

FORMULA NoC3x3-PT-7B-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA NoC3x3-PT-7B-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for LTLCardinality @ NoC3x3-PT-7B

{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Sun May 24 17:44:09 2020
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 208
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 221
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 256
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "TRUE",
"processed_size": 4,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 277
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 302
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (((p2976 <= p4783)))))",
"processed_size": 30,
"rewrites": 110
},
"result":
{
"edges": 3,
"markings": 4,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 332
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "A (((p1076 <= p6064) OR (F (G (((p3917 <= p6784) AND (p6064 + 1 <= p1076)))) AND X ((p983 <= p1429)))))",
"processed_size": 103,
"rewrites": 110
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 374
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (X (F ((((p110 + 1 <= p6195) AND (p4998 + 1 <= p1468)) AND F ((p6195 <= p110))))))",
"processed_size": 84,
"rewrites": 110
},
"result":
{
"edges": 129,
"markings": 129,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 427
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "A (X (TRUE))",
"processed_size": 12,
"rewrites": 110
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 499
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 499
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (F ((p1541 <= p5031))))",
"processed_size": 28,
"rewrites": 110
},
"result":
{
"edges": 7821,
"markings": 6487,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 598
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (F ((((1 <= p5352) AND (1 <= p5930)) OR X ((p5930 <= 0)))))",
"processed_size": 61,
"rewrites": 110
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 3590924,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(X(**))) : TRUE : A(F(G(**))) : A(G(F((** AND F(**))))) : A(F((G((F(**) AND (** OR X(**)))) AND X(**)))) : A((** OR (F(G(**)) AND X(**)))) : A((** U X(G((* OR G(*)))))) : FALSE : FALSE : TRUE : A(F((** AND F((** OR (G(**) AND F(**))))))) : A(X(F((** AND F(**))))) : A(X(TRUE)) : (A(G(F(**))) AND A(G((X(X((* OR G(*)))) OR (X(G(**)) U **))))) : FALSE : A(F((** OR X(*))))"
},
"net":
{
"arcs": 19619,
"conflict_clusters": 6299,
"places": 7014,
"places_significant": 6948,
"singleton_clusters": 0,
"transitions": 8833
},
"result":
{
"interim_value": "yes yes unknown unknown unknown yes unknown no no yes unknown no yes no no yes ",
"preliminary_value": "yes yes unknown unknown unknown yes unknown no no yes unknown no yes no no yes "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 15847/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 7014
lola: finding significant places
lola: 7014 places, 8833 transitions, 6948 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLCardinality.xml
lola: LP says that atomic proposition is always false: (2 <= p4160)
lola: LP says that atomic proposition is always false: (2 <= p4160)
lola: LP says that atomic proposition is always false: (2 <= p3895)
lola: LP says that atomic proposition is always false: (2 <= p3895)
lola: LP says that atomic proposition is always false: (3 <= p4638)
lola: LP says that atomic proposition is always false: (3 <= p4638)
lola: LP says that atomic proposition is always false: (3 <= p6272)
lola: LP says that atomic proposition is always false: (2 <= p828)
lola: LP says that atomic proposition is always false: (3 <= p5175)
lola: LP says that atomic proposition is always false: (2 <= p828)
lola: LP says that atomic proposition is always false: (3 <= p4492)
lola: LP says that atomic proposition is always false: (2 <= p2568)
lola: LP says that atomic proposition is always false: (2 <= p777)
lola: LP says that atomic proposition is always false: (3 <= p3142)
lola: LP says that atomic proposition is always false: (2 <= p3759)
lola: LP says that atomic proposition is always false: (3 <= p3142)
lola: LP says that atomic proposition is always false: (3 <= p6505)
lola: LP says that atomic proposition is always false: (3 <= p6505)
lola: LP says that atomic proposition is always false: (3 <= p2438)
lola: A (X (X ((((p2976 <= p4783)) AND G ((0 <= p1092)))))) : A (NOT((G ((2 <= p4160)) U X (())))) : A (X ((G (NOT(G (X (((2 <= p3895) AND ((2 <= p3895) OR F ((p3427 + 1 <= p3086)))))))) U G ((p3086 <= p3427))))) : A (G (((3 <= p4638) U G (F ((((p974 <= p3067) AND (p3218 <= p5754)) AND F (((3 <= p4638) U (p1645 <= p3384))))))))) : A (F (((p5713 <= p3766) U (G (((p5713 <= p3766) U X ((p2154 <= 0)))) AND (F ((3 <= p6272)) U X ((p5293 <= p6613))))))) : A (((p1076 <= p6064) OR (G (F (G (((p3917 <= p6784) AND (p6064 + 1 <= p1076))))) AND X ((p983 <= p1429))))) : A (((p6395 + 1 <= p4216) U X (G (NOT(F (((p3837 <= p37) AND F ((p6395 + 1 <= p4216))))))))) : A (X ((((2 <= p828) U (3 <= p5175)) AND X (NOT((F (NOT(G ((2 <= p828)))) OR X ((3 <= p4492)))))))) : A (G (NOT(((1 <= p20) OR X ((0 <= p5514)))))) : A ((G ((p2568 <= 1)) OR G ((p62 <= p6554)))) : A (F (((p1315 <= p3331) AND F ((G ((p6386 <= p5469)) U ((p5469 + 1 <= p6386))))))) : A (X (NOT(G (NOT((((p110 + 1 <= p6195) AND (p4998 + 1 <= p1468)) AND F ((p6195 <= p110)))))))) : A ((X (((p2524 <= p3796))) OR (X (((p3107 <= p1094) OR X ((2 <= p3759)))) U X (NOT(F ((3 <= p3142))))))) : A (G ((NOT(X ((X ((p1541 <= p5031)) AND X (F ((p3489 <= p1764)))))) U (G (X ((p4659 <= p2464))) U (p1541 <= p5031))))) : A (X ((X (NOT(((3 <= p6505) U (p3893 <= p140)))) U ()))) : A (F ((((1 <= p5352) AND (1 <= p5930)) OR NOT(X ((1 <= p5930))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:115
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:122
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:169
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:154
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:118
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:279
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:117
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:100
lola: rewrite Frontend/Parser/formula_rewrite.k:160
lola: rewrite Frontend/Parser/formula_rewrite.k:124
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:121
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:282
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:166
lola: rewrite Frontend/Parser/formula_rewrite.k:528
lola: rewrite Frontend/Parser/formula_rewrite.k:123
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 208 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 221 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: TRUE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: TRUE
lola: processed formula length: 4
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (((p2976 <= p4783)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (((p2976 <= p4783)))))
lola: processed formula length: 30
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 6 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((G ((F ((p2154 <= 0)) AND ((p5713 <= p3766) OR X ((p2154 <= 0))))) AND X ((p5293 <= p6613)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((G ((F ((p2154 <= 0)) AND ((p5713 <= p3766) OR X ((p2154 <= 0))))) AND X ((p5293 <= p6613)))))
lola: processed formula length: 100
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 93679 markings, 97359 edges, 18736 markings/sec, 0 secs
lola: 187580 markings, 194858 edges, 18780 markings/sec, 5 secs
lola: 281881 markings, 292762 edges, 18860 markings/sec, 10 secs
lola: 376062 markings, 390537 edges, 18836 markings/sec, 15 secs
lola: 470065 markings, 488148 edges, 18801 markings/sec, 20 secs
lola: 563163 markings, 584775 edges, 18620 markings/sec, 25 secs
lola: 656226 markings, 681422 edges, 18613 markings/sec, 30 secs
lola: 749292 markings, 778060 edges, 18613 markings/sec, 35 secs
lola: 837661 markings, 869772 edges, 17674 markings/sec, 40 secs
lola: 928541 markings, 964135 edges, 18176 markings/sec, 45 secs
lola: 1020756 markings, 1059875 edges, 18443 markings/sec, 50 secs
lola: 1113235 markings, 1155867 edges, 18496 markings/sec, 55 secs
lola: 1206523 markings, 1252700 edges, 18658 markings/sec, 60 secs
lola: 1300016 markings, 1349775 edges, 18699 markings/sec, 65 secs
lola: 1393552 markings, 1446871 edges, 18707 markings/sec, 70 secs
lola: 1486396 markings, 1543259 edges, 18569 markings/sec, 75 secs
lola: 1579575 markings, 1640015 edges, 18636 markings/sec, 80 secs
lola: 1672251 markings, 1736243 edges, 18535 markings/sec, 85 secs
lola: 1765676 markings, 1833223 edges, 18685 markings/sec, 90 secs
lola: 1859313 markings, 1930433 edges, 18727 markings/sec, 95 secs
lola: 1951672 markings, 2026329 edges, 18472 markings/sec, 100 secs
lola: 2044549 markings, 2122771 edges, 18575 markings/sec, 105 secs
lola: 2137161 markings, 2218913 edges, 18522 markings/sec, 110 secs
lola: 2229321 markings, 2314590 edges, 18432 markings/sec, 115 secs
lola: 2321500 markings, 2410309 edges, 18436 markings/sec, 120 secs
lola: 2414756 markings, 2507092 edges, 18651 markings/sec, 125 secs
lola: 2506736 markings, 2602598 edges, 18396 markings/sec, 130 secs
lola: 2599532 markings, 2698940 edges, 18559 markings/sec, 135 secs
lola: 2693011 markings, 2795973 edges, 18696 markings/sec, 140 secs
lola: 2786974 markings, 2893537 edges, 18793 markings/sec, 145 secs
lola: 2879651 markings, 2989739 edges, 18535 markings/sec, 150 secs
lola: 2971651 markings, 3085251 edges, 18400 markings/sec, 155 secs
lola: 3065372 markings, 3182570 edges, 18744 markings/sec, 160 secs
lola: 3158123 markings, 3278830 edges, 18550 markings/sec, 165 secs
lola: 3250749 markings, 3375007 edges, 18525 markings/sec, 170 secs
lola: 3339064 markings, 3466697 edges, 17663 markings/sec, 175 secs
lola: 3422716 markings, 3553516 edges, 16730 markings/sec, 180 secs
lola: 3505875 markings, 3639867 edges, 16632 markings/sec, 185 secs
lola: 3590048 markings, 3727259 edges, 16835 markings/sec, 190 secs
lola: 3682215 markings, 3822930 edges, 18433 markings/sec, 195 secs
lola: 3775939 markings, 3920245 edges, 18745 markings/sec, 200 secs
lola: 3869782 markings, 4017659 edges, 18769 markings/sec, 205 secs
lola: 3958939 markings, 4110221 edges, 17831 markings/sec, 210 secs
lola: 4048935 markings, 4203674 edges, 17999 markings/sec, 215 secs
lola: 4137983 markings, 4296136 edges, 17810 markings/sec, 220 secs
lola: 4230785 markings, 4392468 edges, 18560 markings/sec, 225 secs
lola: 4322852 markings, 4488050 edges, 18413 markings/sec, 230 secs
lola: 4415008 markings, 4583725 edges, 18431 markings/sec, 235 secs
lola: 4507064 markings, 4679331 edges, 18411 markings/sec, 240 secs
lola: 4598691 markings, 4774424 edges, 18325 markings/sec, 245 secs
lola: 4692020 markings, 4871330 edges, 18666 markings/sec, 250 secs
lola: 4783982 markings, 4966808 edges, 18392 markings/sec, 255 secs
lola: 4876539 markings, 5062881 edges, 18511 markings/sec, 260 secs
lola: 4969103 markings, 5158994 edges, 18513 markings/sec, 265 secs
lola: 5061468 markings, 5254890 edges, 18473 markings/sec, 270 secs
lola: 5153447 markings, 5350364 edges, 18396 markings/sec, 275 secs
lola: 5246528 markings, 5447011 edges, 18616 markings/sec, 280 secs
lola: 5339940 markings, 5543978 edges, 18682 markings/sec, 285 secs
lola: 5432455 markings, 5640026 edges, 18503 markings/sec, 290 secs
lola: 5525348 markings, 5736486 edges, 18579 markings/sec, 295 secs
lola: 5617564 markings, 5832236 edges, 18443 markings/sec, 300 secs
lola: 5710575 markings, 5928786 edges, 18602 markings/sec, 305 secs
lola: 5804049 markings, 6025828 edges, 18695 markings/sec, 310 secs
lola: 5895436 markings, 6120704 edges, 18277 markings/sec, 315 secs
lola: 5986992 markings, 6215779 edges, 18311 markings/sec, 320 secs
lola: 6080557 markings, 6312895 edges, 18713 markings/sec, 325 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown unknown unknown no no yes unknown unknown unknown unknown no unknown
lola: memory consumption: 5589856 KB
lola: time consumption: 574 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p1076 <= p6064) OR (F (G (((p3917 <= p6784) AND (p6064 + 1 <= p1076)))) AND X ((p983 <= p1429)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p1076 <= p6064) OR (F (G (((p3917 <= p6784) AND (p6064 + 1 <= p1076)))) AND X ((p983 <= p1429)))))
lola: processed formula length: 103
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 374 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((((p110 + 1 <= p6195) AND (p4998 + 1 <= p1468)) AND F ((p6195 <= p110))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((((p110 + 1 <= p6195) AND (p4998 + 1 <= p1468)) AND F ((p6195 <= p110))))))
lola: processed formula length: 84
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 129 markings, 129 edges
lola: ========================================
lola: subprocess 9 will run for 427 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (TRUE))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (TRUE))
lola: processed formula length: 12
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 10 will run for 499 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (F ((p1541 <= p5031)))) AND A (G ((X (X (((p5031 + 1 <= p1541) OR G ((p1764 + 1 <= p3489))))) OR (X (G ((p4659 <= p2464))) U (p1541 <= p5031))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 499 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((p1541 <= p5031))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((p1541 <= p5031))))
lola: processed formula length: 28
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 6487 markings, 7821 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 599 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((p6395 + 1 <= p4216) U X (G (((p37 + 1 <= p3837) OR G ((p4216 <= p6395)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (((p6395 + 1 <= p4216) U X (G (((p37 + 1 <= p3837) OR G ((p4216 <= p6395)))))))
lola: processed formula length: 81
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 9 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 91752 markings, 95360 edges, 18350 markings/sec, 0 secs
lola: 186173 markings, 193399 edges, 18884 markings/sec, 5 secs
lola: 279466 markings, 290257 edges, 18659 markings/sec, 10 secs
lola: 372452 markings, 386792 edges, 18597 markings/sec, 15 secs
lola: 466391 markings, 484337 edges, 18788 markings/sec, 20 secs
lola: 560604 markings, 582117 edges, 18843 markings/sec, 25 secs
lola: 653865 markings, 678972 edges, 18652 markings/sec, 30 secs
lola: 746492 markings, 775153 edges, 18525 markings/sec, 35 secs
lola: 838238 markings, 870371 edges, 18349 markings/sec, 40 secs
lola: 931231 markings, 966930 edges, 18599 markings/sec, 45 secs
lola: 1023344 markings, 1062561 edges, 18423 markings/sec, 50 secs
lola: 1116828 markings, 1159596 edges, 18697 markings/sec, 55 secs
lola: 1209271 markings, 1255553 edges, 18489 markings/sec, 60 secs
lola: 1300965 markings, 1350761 edges, 18339 markings/sec, 65 secs
lola: 1393563 markings, 1446883 edges, 18520 markings/sec, 70 secs
lola: 1485951 markings, 1542798 edges, 18478 markings/sec, 75 secs
lola: 1577642 markings, 1638010 edges, 18338 markings/sec, 80 secs
lola: 1671006 markings, 1734952 edges, 18673 markings/sec, 85 secs
lola: 1765999 markings, 1833559 edges, 18999 markings/sec, 90 secs
lola: 1859395 markings, 1930519 edges, 18679 markings/sec, 95 secs
lola: 1951297 markings, 2025931 edges, 18380 markings/sec, 100 secs
lola: 2043750 markings, 2121941 edges, 18491 markings/sec, 105 secs
lola: 2135559 markings, 2217252 edges, 18362 markings/sec, 110 secs
lola: 2227601 markings, 2312805 edges, 18408 markings/sec, 115 secs
lola: 2318679 markings, 2407380 edges, 18216 markings/sec, 120 secs
lola: 2409697 markings, 2501840 edges, 18204 markings/sec, 125 secs
lola: 2501322 markings, 2596964 edges, 18325 markings/sec, 130 secs
lola: 2594749 markings, 2693977 edges, 18685 markings/sec, 135 secs
lola: 2688780 markings, 2791582 edges, 18806 markings/sec, 140 secs
lola: 2782024 markings, 2888399 edges, 18649 markings/sec, 145 secs
lola: 2875001 markings, 2984913 edges, 18595 markings/sec, 150 secs
lola: 2968444 markings, 3081924 edges, 18689 markings/sec, 155 secs
lola: 3060985 markings, 3178017 edges, 18508 markings/sec, 160 secs
lola: 3153963 markings, 3274513 edges, 18596 markings/sec, 165 secs
lola: 3247487 markings, 3371620 edges, 18705 markings/sec, 170 secs
lola: 3341470 markings, 3469194 edges, 18797 markings/sec, 175 secs
lola: 3431677 markings, 3562831 edges, 18041 markings/sec, 180 secs
lola: 3514368 markings, 3648680 edges, 16538 markings/sec, 185 secs
lola: 3597056 markings, 3734534 edges, 16538 markings/sec, 190 secs
lola: 3680523 markings, 3821174 edges, 16693 markings/sec, 195 secs
lola: 3764624 markings, 3908501 edges, 16820 markings/sec, 200 secs
lola: 3854575 markings, 4001877 edges, 17990 markings/sec, 205 secs
lola: 3948012 markings, 4098866 edges, 18687 markings/sec, 210 secs
lola: 4040360 markings, 4194775 edges, 18470 markings/sec, 215 secs
lola: 4132491 markings, 4290438 edges, 18426 markings/sec, 220 secs
lola: 4225776 markings, 4387272 edges, 18657 markings/sec, 225 secs
lola: 4319003 markings, 4484057 edges, 18645 markings/sec, 230 secs
lola: 4408975 markings, 4577464 edges, 17994 markings/sec, 235 secs
lola: 4498962 markings, 4670902 edges, 17997 markings/sec, 240 secs
lola: 4587892 markings, 4763217 edges, 17786 markings/sec, 245 secs
lola: 4677800 markings, 4856566 edges, 17982 markings/sec, 250 secs
lola: 4769727 markings, 4952012 edges, 18385 markings/sec, 255 secs
lola: 4862272 markings, 5048074 edges, 18509 markings/sec, 260 secs
lola: 4955035 markings, 5144379 edges, 18553 markings/sec, 265 secs
lola: 5048015 markings, 5240928 edges, 18596 markings/sec, 270 secs
lola: 5140963 markings, 5337407 edges, 18590 markings/sec, 275 secs
lola: 5234423 markings, 5434449 edges, 18692 markings/sec, 280 secs
lola: 5327906 markings, 5531489 edges, 18697 markings/sec, 285 secs
lola: 5420257 markings, 5627351 edges, 18470 markings/sec, 290 secs
lola: 5513600 markings, 5724272 edges, 18669 markings/sec, 295 secs
lola: 5606798 markings, 5821047 edges, 18640 markings/sec, 300 secs
lola: 5698783 markings, 5916547 edges, 18397 markings/sec, 305 secs
lola: 5791778 markings, 6013092 edges, 18599 markings/sec, 310 secs
lola: 5883746 markings, 6108572 edges, 18394 markings/sec, 315 secs
lola: 5976678 markings, 6205065 edges, 18586 markings/sec, 320 secs
lola: 6069934 markings, 6301870 edges, 18651 markings/sec, 325 secs
lola: 6163217 markings, 6398728 edges, 18657 markings/sec, 330 secs
lola: 6257085 markings, 6496182 edges, 18774 markings/sec, 335 secs
lola: 6350446 markings, 6593092 edges, 18672 markings/sec, 340 secs
lola: 6442524 markings, 6688686 edges, 18416 markings/sec, 345 secs
lola: 6535095 markings, 6784809 edges, 18514 markings/sec, 350 secs
lola: 6622693 markings, 6875737 edges, 17520 markings/sec, 355 secs
lola: 6707117 markings, 6963386 edges, 16885 markings/sec, 360 secs
lola: 6790272 markings, 7049723 edges, 16631 markings/sec, 365 secs
lola: 6874307 markings, 7136953 edges, 16807 markings/sec, 370 secs
lola: 6963827 markings, 7229891 edges, 17904 markings/sec, 375 secs
lola: 7052565 markings, 7322039 edges, 17748 markings/sec, 380 secs
lola: 7141598 markings, 7414490 edges, 17807 markings/sec, 385 secs
lola: 7233384 markings, 7509766 edges, 18357 markings/sec, 390 secs
lola: 7325536 markings, 7605434 edges, 18430 markings/sec, 395 secs
lola: 7417740 markings, 7701171 edges, 18441 markings/sec, 400 secs
lola: 7511145 markings, 7798149 edges, 18681 markings/sec, 405 secs
lola: 7606979 markings, 7897624 edges, 19167 markings/sec, 410 secs
lola: 7702477 markings, 7996799 edges, 19100 markings/sec, 415 secs
lola: 7795387 markings, 8093225 edges, 18582 markings/sec, 420 secs
lola: 7886826 markings, 8188156 edges, 18288 markings/sec, 425 secs
lola: 7979300 markings, 8284173 edges, 18495 markings/sec, 430 secs
lola: 8072737 markings, 8381166 edges, 18687 markings/sec, 435 secs
lola: 8163860 markings, 8475784 edges, 18225 markings/sec, 440 secs
lola: 8258533 markings, 8574073 edges, 18935 markings/sec, 445 secs
lola: 8353266 markings, 8672405 edges, 18947 markings/sec, 450 secs
lola: 8447554 markings, 8770293 edges, 18858 markings/sec, 455 secs
lola: 8540184 markings, 8866478 edges, 18526 markings/sec, 460 secs
lola: 8635958 markings, 8965927 edges, 19155 markings/sec, 465 secs
lola: 8730992 markings, 9064574 edges, 19007 markings/sec, 470 secs
lola: 8824827 markings, 9161990 edges, 18767 markings/sec, 475 secs
lola: 8920720 markings, 9261571 edges, 19179 markings/sec, 480 secs
lola: 9015226 markings, 9359673 edges, 18901 markings/sec, 485 secs
lola: 9109498 markings, 9457542 edges, 18854 markings/sec, 490 secs
lola: 9203879 markings, 9555546 edges, 18876 markings/sec, 495 secs
lola: 9299478 markings, 9654777 edges, 19120 markings/sec, 500 secs
lola: 9392410 markings, 9751256 edges, 18586 markings/sec, 505 secs
lola: 9484882 markings, 9847279 edges, 18494 markings/sec, 510 secs
lola: 9579082 markings, 9945043 edges, 18840 markings/sec, 515 secs
lola: 9674331 markings, 10043957 edges, 19050 markings/sec, 520 secs
lola: 9769451 markings, 10142695 edges, 19024 markings/sec, 525 secs
lola: 9864879 markings, 10241749 edges, 19086 markings/sec, 530 secs
lola: 9960335 markings, 10340863 edges, 19091 markings/sec, 535 secs
lola: 10055846 markings, 10440056 edges, 19102 markings/sec, 540 secs
lola: 10151019 markings, 10538849 edges, 19035 markings/sec, 545 secs
lola: 10245438 markings, 10636871 edges, 18884 markings/sec, 550 secs
lola: 10340025 markings, 10735066 edges, 18917 markings/sec, 555 secs
lola: 10432879 markings, 10831501 edges, 18571 markings/sec, 560 secs
lola: 10524737 markings, 10926836 edges, 18372 markings/sec, 565 secs
lola: 10617366 markings, 11023014 edges, 18526 markings/sec, 570 secs
lola: 10709669 markings, 11118845 edges, 18461 markings/sec, 575 secs
lola: 10802430 markings, 11215132 edges, 18552 markings/sec, 580 secs
lola: 10898366 markings, 11314744 edges, 19187 markings/sec, 585 secs
lola: 10992879 markings, 11412868 edges, 18903 markings/sec, 590 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown yes unknown no no yes unknown no yes no no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 598 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((1 <= p5352) AND (1 <= p5930)) OR X ((p5930 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((((1 <= p5352) AND (1 <= p5930)) OR X ((p5930 <= 0)))))
lola: processed formula length: 61
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 13 will run for 798 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p3086 <= p3427))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p3086 <= p3427))))
lola: processed formula length: 28
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 55637 markings, 95211 edges, 11127 markings/sec, 0 secs
lola: 92865 markings, 196915 edges, 7446 markings/sec, 5 secs
lola: 125425 markings, 297778 edges, 6512 markings/sec, 10 secs
lola: 164490 markings, 393657 edges, 7813 markings/sec, 15 secs
lola: 200074 markings, 493280 edges, 7117 markings/sec, 20 secs
lola: 229800 markings, 594995 edges, 5945 markings/sec, 25 secs
lola: 268779 markings, 692224 edges, 7796 markings/sec, 30 secs
lola: 297724 markings, 790005 edges, 5789 markings/sec, 35 secs
lola: 319760 markings, 880752 edges, 4407 markings/sec, 40 secs
lola: 342385 markings, 968462 edges, 4525 markings/sec, 45 secs
lola: 372451 markings, 1056782 edges, 6013 markings/sec, 50 secs
lola: 400108 markings, 1142590 edges, 5531 markings/sec, 55 secs
lola: 431216 markings, 1230356 edges, 6222 markings/sec, 60 secs
lola: 459399 markings, 1320137 edges, 5637 markings/sec, 65 secs
lola: 487525 markings, 1415102 edges, 5625 markings/sec, 70 secs
lola: 519912 markings, 1504663 edges, 6477 markings/sec, 75 secs
lola: 560791 markings, 1597765 edges, 8176 markings/sec, 80 secs
lola: 594795 markings, 1694719 edges, 6801 markings/sec, 85 secs
lola: 621262 markings, 1782796 edges, 5293 markings/sec, 90 secs
lola: 646551 markings, 1871125 edges, 5058 markings/sec, 95 secs
lola: 687446 markings, 1954371 edges, 8179 markings/sec, 100 secs
lola: 732501 markings, 2038871 edges, 9011 markings/sec, 105 secs
lola: 765478 markings, 2127769 edges, 6595 markings/sec, 110 secs
lola: 793197 markings, 2216295 edges, 5544 markings/sec, 115 secs
lola: 827191 markings, 2302434 edges, 6799 markings/sec, 120 secs
lola: 862552 markings, 2389835 edges, 7072 markings/sec, 125 secs
lola: 889028 markings, 2480168 edges, 5295 markings/sec, 130 secs
lola: 915496 markings, 2568656 edges, 5294 markings/sec, 135 secs
lola: 952503 markings, 2654221 edges, 7401 markings/sec, 140 secs
lola: 977438 markings, 2749477 edges, 4987 markings/sec, 145 secs
lola: 1003257 markings, 2853791 edges, 5164 markings/sec, 150 secs
lola: 1032234 markings, 2948525 edges, 5795 markings/sec, 155 secs
lola: 1061138 markings, 3039296 edges, 5781 markings/sec, 160 secs
lola: 1092371 markings, 3130579 edges, 6247 markings/sec, 165 secs
lola: 1124673 markings, 3226838 edges, 6460 markings/sec, 170 secs
lola: 1152677 markings, 3322229 edges, 5601 markings/sec, 175 secs
lola: 1185445 markings, 3418585 edges, 6554 markings/sec, 180 secs
lola: 1223853 markings, 3507856 edges, 7682 markings/sec, 185 secs
lola: 1259688 markings, 3602499 edges, 7167 markings/sec, 190 secs
lola: 1288419 markings, 3695237 edges, 5746 markings/sec, 195 secs
lola: 1314129 markings, 3784120 edges, 5142 markings/sec, 200 secs
lola: 1346040 markings, 3870966 edges, 6382 markings/sec, 205 secs
lola: 1398393 markings, 3957962 edges, 10471 markings/sec, 210 secs
lola: 1433549 markings, 4047132 edges, 7031 markings/sec, 215 secs
lola: 1462471 markings, 4137780 edges, 5784 markings/sec, 220 secs
lola: 1495465 markings, 4226265 edges, 6599 markings/sec, 225 secs
lola: 1532142 markings, 4312235 edges, 7335 markings/sec, 230 secs
lola: 1558842 markings, 4402866 edges, 5340 markings/sec, 235 secs
lola: 1585163 markings, 4492838 edges, 5264 markings/sec, 240 secs
lola: 1622791 markings, 4581026 edges, 7526 markings/sec, 245 secs
lola: 1648195 markings, 4671569 edges, 5081 markings/sec, 250 secs
lola: 1670990 markings, 4764556 edges, 4559 markings/sec, 255 secs
lola: 1695034 markings, 4854843 edges, 4809 markings/sec, 260 secs
lola: 1725243 markings, 4943853 edges, 6042 markings/sec, 265 secs
lola: 1754020 markings, 5032745 edges, 5755 markings/sec, 270 secs
lola: 1786042 markings, 5124021 edges, 6404 markings/sec, 275 secs
lola: 1814241 markings, 5215581 edges, 5640 markings/sec, 280 secs
lola: 1842522 markings, 5312629 edges, 5656 markings/sec, 285 secs
lola: 1880736 markings, 5408118 edges, 7643 markings/sec, 290 secs
lola: 1921003 markings, 5502671 edges, 8053 markings/sec, 295 secs
lola: 1953040 markings, 5599254 edges, 6407 markings/sec, 300 secs
lola: 1981026 markings, 5696440 edges, 5597 markings/sec, 305 secs
lola: 2013603 markings, 5793723 edges, 6515 markings/sec, 310 secs
lola: 2069621 markings, 5887759 edges, 11204 markings/sec, 315 secs
lola: 2108475 markings, 5986143 edges, 7771 markings/sec, 320 secs
lola: 2140275 markings, 6085643 edges, 6360 markings/sec, 325 secs
lola: 2177646 markings, 6182062 edges, 7474 markings/sec, 330 secs
lola: 2215426 markings, 6278415 edges, 7556 markings/sec, 335 secs
lola: 2244471 markings, 6377827 edges, 5809 markings/sec, 340 secs
lola: 2278920 markings, 6474095 edges, 6890 markings/sec, 345 secs
lola: 2312969 markings, 6569422 edges, 6810 markings/sec, 350 secs
lola: 2337177 markings, 6669765 edges, 4842 markings/sec, 355 secs
lola: 2361954 markings, 6768335 edges, 4955 markings/sec, 360 secs
lola: 2394486 markings, 6866255 edges, 6506 markings/sec, 365 secs
lola: 2425614 markings, 6961885 edges, 6226 markings/sec, 370 secs
lola: 2459340 markings, 7057655 edges, 6745 markings/sec, 375 secs
lola: 2489316 markings, 7155253 edges, 5995 markings/sec, 380 secs
lola: 2518118 markings, 7253883 edges, 5760 markings/sec, 385 secs
lola: 2556639 markings, 7349130 edges, 7704 markings/sec, 390 secs
lola: 2596926 markings, 7444326 edges, 8057 markings/sec, 395 secs
lola: 2629811 markings, 7543673 edges, 6577 markings/sec, 400 secs
lola: 2658244 markings, 7642608 edges, 5687 markings/sec, 405 secs
lola: 2691821 markings, 7740486 edges, 6715 markings/sec, 410 secs
lola: 2747595 markings, 7834286 edges, 11155 markings/sec, 415 secs
lola: 2784016 markings, 7926911 edges, 7284 markings/sec, 420 secs
lola: 2813238 markings, 8018828 edges, 5844 markings/sec, 425 secs
lola: 2846135 markings, 8105396 edges, 6579 markings/sec, 430 secs
lola: 2884027 markings, 8197195 edges, 7578 markings/sec, 435 secs
lola: 2912825 markings, 8294385 edges, 5760 markings/sec, 440 secs
lola: 2943256 markings, 8390143 edges, 6086 markings/sec, 445 secs
lola: 2981407 markings, 8483855 edges, 7630 markings/sec, 450 secs
lola: 3005902 markings, 8582929 edges, 4899 markings/sec, 455 secs
lola: 3030755 markings, 8682441 edges, 4971 markings/sec, 460 secs
lola: 3062300 markings, 8780734 edges, 6309 markings/sec, 465 secs
lola: 3092903 markings, 8878913 edges, 6121 markings/sec, 470 secs
lola: 3127330 markings, 8975986 edges, 6885 markings/sec, 475 secs
lola: 3159557 markings, 9078515 edges, 6445 markings/sec, 480 secs
lola: 3188196 markings, 9176730 edges, 5728 markings/sec, 485 secs
lola: 3224038 markings, 9270797 edges, 7168 markings/sec, 490 secs
lola: 3265043 markings, 9365122 edges, 8201 markings/sec, 495 secs
lola: 3298553 markings, 9463360 edges, 6702 markings/sec, 500 secs
lola: 3326635 markings, 9559896 edges, 5616 markings/sec, 505 secs
lola: 3354982 markings, 9648325 edges, 5669 markings/sec, 510 secs
lola: 3403472 markings, 9732871 edges, 9698 markings/sec, 515 secs
lola: 3442900 markings, 9822640 edges, 7886 markings/sec, 520 secs
lola: 3476924 markings, 9921934 edges, 6805 markings/sec, 525 secs
lola: 3510233 markings, 10021397 edges, 6662 markings/sec, 530 secs
lola: 3552699 markings, 10116529 edges, 8493 markings/sec, 535 secs
lola: 3582787 markings, 10217389 edges, 6018 markings/sec, 540 secs
lola: 3611663 markings, 10316196 edges, 5775 markings/sec, 545 secs
lola: 3653217 markings, 10412915 edges, 8311 markings/sec, 550 secs
lola: 3678612 markings, 10512470 edges, 5079 markings/sec, 555 secs
lola: 3703088 markings, 10611385 edges, 4895 markings/sec, 560 secs
lola: 3732080 markings, 10704838 edges, 5798 markings/sec, 565 secs
lola: 3762885 markings, 10802415 edges, 6161 markings/sec, 570 secs
lola: 3796584 markings, 10898813 edges, 6740 markings/sec, 575 secs
lola: 3829380 markings, 10998896 edges, 6559 markings/sec, 580 secs
lola: 3858033 markings, 11096850 edges, 5731 markings/sec, 585 secs
lola: 3891281 markings, 11190736 edges, 6650 markings/sec, 590 secs
lola: 3932445 markings, 11285774 edges, 8233 markings/sec, 595 secs
lola: 3966639 markings, 11381949 edges, 6839 markings/sec, 600 secs
lola: 3996517 markings, 11481131 edges, 5976 markings/sec, 605 secs
lola: 4024802 markings, 11578113 edges, 5657 markings/sec, 610 secs
lola: 4077635 markings, 11670003 edges, 10567 markings/sec, 615 secs
lola: 4119798 markings, 11767032 edges, 8433 markings/sec, 620 secs
lola: 4153908 markings, 11867318 edges, 6822 markings/sec, 625 secs
lola: 4187894 markings, 11968102 edges, 6797 markings/sec, 630 secs
lola: 4230477 markings, 12064455 edges, 8517 markings/sec, 635 secs
lola: 4260661 markings, 12166189 edges, 6037 markings/sec, 640 secs
lola: 4292032 markings, 12265921 edges, 6274 markings/sec, 645 secs
lola: 4331093 markings, 12361765 edges, 7812 markings/sec, 650 secs
lola: 4355992 markings, 12462721 edges, 4980 markings/sec, 655 secs
lola: 4381676 markings, 12565097 edges, 5137 markings/sec, 660 secs
lola: 4413788 markings, 12663930 edges, 6422 markings/sec, 665 secs
lola: 4445035 markings, 12763425 edges, 6249 markings/sec, 670 secs
lola: 4479780 markings, 12861762 edges, 6949 markings/sec, 675 secs
lola: 4510888 markings, 12961670 edges, 6222 markings/sec, 680 secs
lola: 4539771 markings, 13061468 edges, 5777 markings/sec, 685 secs
lola: 4578109 markings, 13158074 edges, 7668 markings/sec, 690 secs
lola: 4619142 markings, 13254322 edges, 8207 markings/sec, 695 secs
lola: 4652346 markings, 13354110 edges, 6641 markings/sec, 700 secs
lola: 4680971 markings, 13453835 edges, 5725 markings/sec, 705 secs
lola: 4714109 markings, 13551028 edges, 6628 markings/sec, 710 secs
lola: 4770453 markings, 13646678 edges, 11269 markings/sec, 715 secs
lola: 4804724 markings, 13749127 edges, 6854 markings/sec, 720 secs
lola: 4843424 markings, 13849532 edges, 7740 markings/sec, 725 secs
lola: 4879877 markings, 13950006 edges, 7291 markings/sec, 730 secs
lola: 4908801 markings, 14051026 edges, 5785 markings/sec, 735 secs
lola: 4938891 markings, 14151721 edges, 6018 markings/sec, 740 secs
lola: 4972677 markings, 14250598 edges, 6757 markings/sec, 745 secs
lola: 5007735 markings, 14345012 edges, 7012 markings/sec, 750 secs
lola: 5040572 markings, 14434641 edges, 6567 markings/sec, 755 secs
lola: 5079554 markings, 14521960 edges, 7796 markings/sec, 760 secs
lola: 5124427 markings, 14612577 edges, 8975 markings/sec, 765 secs
lola: 5158692 markings, 14709525 edges, 6853 markings/sec, 770 secs
lola: 5191686 markings, 14810703 edges, 6599 markings/sec, 775 secs
lola: 5232430 markings, 14906755 edges, 8149 markings/sec, 780 secs
lola: 5265193 markings, 15003815 edges, 6553 markings/sec, 785 secs
lola: 5294178 markings, 15104854 edges, 5797 markings/sec, 790 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown yes unknown no no yes unknown no yes no no yes
lola: memory consumption: 3587816 KB
lola: time consumption: 1973 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 798 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p1315 <= p3331) AND F ((((p5469 + 1 <= p6386)) OR (G ((p6386 <= p5469)) AND F (((p5469 + 1 <= p6386)))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (((p1315 <= p3331) AND F ((((p5469 + 1 <= p6386)) OR (G ((p6386 <= p5469)) AND F (((p5469 + 1 <= p6386)))))))))
lola: processed formula length: 116
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 49364 markings, 92449 edges, 9873 markings/sec, 0 secs
lola: 97675 markings, 185229 edges, 9662 markings/sec, 5 secs
lola: 141069 markings, 282607 edges, 8679 markings/sec, 10 secs
lola: 189797 markings, 379761 edges, 9746 markings/sec, 15 secs
lola: 240324 markings, 475171 edges, 10105 markings/sec, 20 secs
lola: 284931 markings, 570161 edges, 8921 markings/sec, 25 secs
lola: 330713 markings, 667424 edges, 9156 markings/sec, 30 secs
lola: 381166 markings, 762131 edges, 10091 markings/sec, 35 secs
lola: 428724 markings, 857986 edges, 9512 markings/sec, 40 secs
lola: 470109 markings, 949967 edges, 8277 markings/sec, 45 secs
lola: 515977 markings, 1036187 edges, 9174 markings/sec, 50 secs
lola: 557044 markings, 1124538 edges, 8213 markings/sec, 55 secs
lola: 599513 markings, 1212083 edges, 8494 markings/sec, 60 secs
lola: 647911 markings, 1303477 edges, 9680 markings/sec, 65 secs
lola: 690280 markings, 1398096 edges, 8474 markings/sec, 70 secs
lola: 737688 markings, 1493838 edges, 9482 markings/sec, 75 secs
lola: 788844 markings, 1591025 edges, 10231 markings/sec, 80 secs
lola: 835786 markings, 1687575 edges, 9388 markings/sec, 85 secs
lola: 879232 markings, 1782493 edges, 8689 markings/sec, 90 secs
lola: 928311 markings, 1874648 edges, 9816 markings/sec, 95 secs
lola: 975431 markings, 1969525 edges, 9424 markings/sec, 100 secs
lola: 1017751 markings, 2063675 edges, 8464 markings/sec, 105 secs
lola: 1067282 markings, 2156831 edges, 9906 markings/sec, 110 secs
lola: 1108785 markings, 2243111 edges, 8301 markings/sec, 115 secs
lola: 1148544 markings, 2329341 edges, 7952 markings/sec, 120 secs
lola: 1194080 markings, 2413432 edges, 9107 markings/sec, 125 secs
lola: 1233821 markings, 2504634 edges, 7948 markings/sec, 130 secs
lola: 1302247 markings, 2594641 edges, 13685 markings/sec, 135 secs
lola: 1370047 markings, 2682449 edges, 13560 markings/sec, 140 secs
lola: 1424996 markings, 2774249 edges, 10990 markings/sec, 145 secs
lola: 1467103 markings, 2869436 edges, 8421 markings/sec, 150 secs
lola: 1503817 markings, 2963680 edges, 7343 markings/sec, 155 secs
lola: 1541879 markings, 3059247 edges, 7612 markings/sec, 160 secs
lola: 1580012 markings, 3153039 edges, 7627 markings/sec, 165 secs
lola: 1618766 markings, 3248374 edges, 7751 markings/sec, 170 secs
lola: 1657921 markings, 3345731 edges, 7831 markings/sec, 175 secs
lola: 1695055 markings, 3442136 edges, 7427 markings/sec, 180 secs
lola: 1734729 markings, 3538233 edges, 7935 markings/sec, 185 secs
lola: 1773163 markings, 3633008 edges, 7687 markings/sec, 190 secs
lola: 1810886 markings, 3727772 edges, 7545 markings/sec, 195 secs
lola: 1848338 markings, 3823094 edges, 7490 markings/sec, 200 secs
lola: 1887681 markings, 3918657 edges, 7869 markings/sec, 205 secs
lola: 1926170 markings, 4013923 edges, 7698 markings/sec, 210 secs
lola: 1973793 markings, 4107414 edges, 9525 markings/sec, 215 secs
lola: 2027574 markings, 4199922 edges, 10756 markings/sec, 220 secs
lola: 2073922 markings, 4291390 edges, 9270 markings/sec, 225 secs
lola: 2116552 markings, 4385293 edges, 8526 markings/sec, 230 secs
lola: 2156363 markings, 4479787 edges, 7962 markings/sec, 235 secs
lola: 2189281 markings, 4573352 edges, 6584 markings/sec, 240 secs
lola: 2226347 markings, 4668751 edges, 7413 markings/sec, 245 secs
lola: 2268776 markings, 4762560 edges, 8486 markings/sec, 250 secs
lola: 2308322 markings, 4856702 edges, 7909 markings/sec, 255 secs
lola: 2357273 markings, 4949170 edges, 9790 markings/sec, 260 secs
lola: 2404203 markings, 5044268 edges, 9386 markings/sec, 265 secs
lola: 2450481 markings, 5137758 edges, 9256 markings/sec, 270 secs
lola: 2495469 markings, 5230068 edges, 8998 markings/sec, 275 secs
lola: 2537395 markings, 5326315 edges, 8385 markings/sec, 280 secs
lola: 2578482 markings, 5423704 edges, 8217 markings/sec, 285 secs
lola: 2620118 markings, 5521214 edges, 8327 markings/sec, 290 secs
lola: 2660868 markings, 5618040 edges, 8150 markings/sec, 295 secs
lola: 2701930 markings, 5714093 edges, 8212 markings/sec, 300 secs
lola: 2742368 markings, 5810156 edges, 8088 markings/sec, 305 secs
lola: 2782760 markings, 5905267 edges, 8078 markings/sec, 310 secs
lola: 2823365 markings, 6000492 edges, 8121 markings/sec, 315 secs
lola: 2863430 markings, 6094361 edges, 8013 markings/sec, 320 secs
lola: 2909159 markings, 6184795 edges, 9146 markings/sec, 325 secs
lola: 2953782 markings, 6277182 edges, 8925 markings/sec, 330 secs
lola: 3000803 markings, 6372387 edges, 9404 markings/sec, 335 secs
lola: 3041359 markings, 6467273 edges, 8111 markings/sec, 340 secs
lola: 3078134 markings, 6561307 edges, 7355 markings/sec, 345 secs
lola: 3108673 markings, 6655990 edges, 6108 markings/sec, 350 secs
lola: 3135785 markings, 6750959 edges, 5422 markings/sec, 355 secs
lola: 3166608 markings, 6846171 edges, 6165 markings/sec, 360 secs
lola: 3214325 markings, 6936840 edges, 9543 markings/sec, 365 secs
lola: 3255352 markings, 7021823 edges, 8205 markings/sec, 370 secs
lola: 3290751 markings, 7108540 edges, 7080 markings/sec, 375 secs
lola: 3328839 markings, 7200637 edges, 7618 markings/sec, 380 secs
lola: 3369377 markings, 7294710 edges, 8108 markings/sec, 385 secs
lola: 3409087 markings, 7390149 edges, 7942 markings/sec, 390 secs
lola: 3447948 markings, 7486112 edges, 7772 markings/sec, 395 secs
lola: 3497171 markings, 7581263 edges, 9845 markings/sec, 400 secs
lola: 3539001 markings, 7676517 edges, 8366 markings/sec, 405 secs
lola: 3578383 markings, 7760265 edges, 7876 markings/sec, 410 secs
lola: 3615726 markings, 7844306 edges, 7469 markings/sec, 415 secs
lola: 3652608 markings, 7932726 edges, 7376 markings/sec, 420 secs
lola: 3690746 markings, 8025319 edges, 7628 markings/sec, 425 secs
lola: 3732065 markings, 8119688 edges, 8264 markings/sec, 430 secs
lola: 3768273 markings, 8215922 edges, 7242 markings/sec, 435 secs
lola: 3806157 markings, 8306219 edges, 7577 markings/sec, 440 secs
lola: 3843413 markings, 8393014 edges, 7451 markings/sec, 445 secs
lola: 3876665 markings, 8480192 edges, 6650 markings/sec, 450 secs
lola: 3911643 markings, 8569986 edges, 6996 markings/sec, 455 secs
lola: 3946062 markings, 8663748 edges, 6884 markings/sec, 460 secs
lola: 3983016 markings, 8760107 edges, 7391 markings/sec, 465 secs
lola: 4014078 markings, 8854864 edges, 6212 markings/sec, 470 secs
lola: 4043301 markings, 8943250 edges, 5845 markings/sec, 475 secs
lola: 4069213 markings, 9032023 edges, 5182 markings/sec, 480 secs
lola: 4095187 markings, 9119863 edges, 5195 markings/sec, 485 secs
lola: 4120452 markings, 9216241 edges, 5053 markings/sec, 490 secs
lola: 4145285 markings, 9314701 edges, 4967 markings/sec, 495 secs
lola: 4172530 markings, 9411204 edges, 5449 markings/sec, 500 secs
lola: 4195826 markings, 9508116 edges, 4659 markings/sec, 505 secs
lola: 4218169 markings, 9605443 edges, 4469 markings/sec, 510 secs
lola: 4245047 markings, 9702779 edges, 5376 markings/sec, 515 secs
lola: 4269940 markings, 9799992 edges, 4979 markings/sec, 520 secs
lola: 4294206 markings, 9898937 edges, 4853 markings/sec, 525 secs
lola: 4317606 markings, 9998582 edges, 4680 markings/sec, 530 secs
lola: 4341334 markings, 10096302 edges, 4746 markings/sec, 535 secs
lola: 4361974 markings, 10191977 edges, 4128 markings/sec, 540 secs
lola: 4383125 markings, 10285455 edges, 4230 markings/sec, 545 secs
lola: 4406021 markings, 10383707 edges, 4579 markings/sec, 550 secs
lola: 4435202 markings, 10480116 edges, 5836 markings/sec, 555 secs
lola: 4461339 markings, 10566609 edges, 5227 markings/sec, 560 secs
lola: 4487458 markings, 10653753 edges, 5224 markings/sec, 565 secs
lola: 4514541 markings, 10740851 edges, 5417 markings/sec, 570 secs
lola: 4542412 markings, 10835226 edges, 5574 markings/sec, 575 secs
lola: 4570647 markings, 10926534 edges, 5647 markings/sec, 580 secs
lola: 4596593 markings, 11013778 edges, 5189 markings/sec, 585 secs
lola: 4620832 markings, 11100774 edges, 4848 markings/sec, 590 secs
lola: 4643203 markings, 11192653 edges, 4474 markings/sec, 595 secs
lola: 4666112 markings, 11291500 edges, 4582 markings/sec, 600 secs
lola: 4690267 markings, 11381207 edges, 4831 markings/sec, 605 secs
lola: 4717048 markings, 11467132 edges, 5356 markings/sec, 610 secs
lola: 4745049 markings, 11553383 edges, 5600 markings/sec, 615 secs
lola: 4769836 markings, 11642583 edges, 4957 markings/sec, 620 secs
lola: 4790916 markings, 11728991 edges, 4216 markings/sec, 625 secs
lola: 4813548 markings, 11815544 edges, 4526 markings/sec, 630 secs
lola: 4836595 markings, 11906635 edges, 4609 markings/sec, 635 secs
lola: 4860145 markings, 12002103 edges, 4710 markings/sec, 640 secs
lola: 4882691 markings, 12096256 edges, 4509 markings/sec, 645 secs
lola: 4904700 markings, 12192463 edges, 4402 markings/sec, 650 secs
lola: 4935158 markings, 12277050 edges, 6092 markings/sec, 655 secs
lola: 4968853 markings, 12371260 edges, 6739 markings/sec, 660 secs
lola: 5005837 markings, 12462459 edges, 7397 markings/sec, 665 secs
lola: 5063664 markings, 12554443 edges, 11565 markings/sec, 670 secs
lola: 5091585 markings, 12650619 edges, 5584 markings/sec, 675 secs
lola: 5115375 markings, 12738166 edges, 4758 markings/sec, 680 secs
lola: 5136288 markings, 12825373 edges, 4183 markings/sec, 685 secs
lola: 5157570 markings, 12911304 edges, 4256 markings/sec, 690 secs
lola: 5181583 markings, 13000377 edges, 4803 markings/sec, 695 secs
lola: 5206196 markings, 13096071 edges, 4923 markings/sec, 700 secs
lola: 5229082 markings, 13189572 edges, 4577 markings/sec, 705 secs
lola: 5254984 markings, 13286618 edges, 5180 markings/sec, 710 secs
lola: 5280348 markings, 13382579 edges, 5073 markings/sec, 715 secs
lola: 5303970 markings, 13478829 edges, 4724 markings/sec, 720 secs
lola: 5328670 markings, 13572928 edges, 4940 markings/sec, 725 secs
lola: 5355123 markings, 13669622 edges, 5291 markings/sec, 730 secs
lola: 5378514 markings, 13766323 edges, 4678 markings/sec, 735 secs
lola: 5401571 markings, 13861037 edges, 4611 markings/sec, 740 secs
lola: 5426557 markings, 13956523 edges, 4997 markings/sec, 745 secs
lola: 5449019 markings, 14051947 edges, 4492 markings/sec, 750 secs
lola: 5488548 markings, 14146716 edges, 7906 markings/sec, 755 secs
lola: 5526136 markings, 14240278 edges, 7518 markings/sec, 760 secs
lola: 5548520 markings, 14334860 edges, 4477 markings/sec, 765 secs
lola: 5576324 markings, 14431531 edges, 5561 markings/sec, 770 secs
lola: 5604577 markings, 14526760 edges, 5651 markings/sec, 775 secs
lola: 5634811 markings, 14622351 edges, 6047 markings/sec, 780 secs
lola: 5677765 markings, 14718151 edges, 8591 markings/sec, 785 secs
lola: 5715823 markings, 14813316 edges, 7612 markings/sec, 790 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown yes unknown no no yes unknown no yes no no yes
lola: memory consumption: 7831672 KB
lola: time consumption: 2771 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 799 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((((p974 <= p3067) AND (p3218 <= p5754)) AND F ((p1645 <= p3384))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((((p974 <= p3067) AND (p3218 <= p5754)) AND F ((p1645 <= p3384))))))
lola: processed formula length: 77
lola: 110 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 54940 markings, 94086 edges, 10988 markings/sec, 0 secs
lola: 91997 markings, 193925 edges, 7411 markings/sec, 5 secs
lola: 123779 markings, 293156 edges, 6356 markings/sec, 10 secs
lola: 162336 markings, 388792 edges, 7711 markings/sec, 15 secs
lola: 198113 markings, 486957 edges, 7155 markings/sec, 20 secs
lola: 227167 markings, 586230 edges, 5811 markings/sec, 25 secs
lola: 264618 markings, 683330 edges, 7490 markings/sec, 30 secs
lola: 296164 markings, 782899 edges, 6309 markings/sec, 35 secs
lola: 320497 markings, 883724 edges, 4867 markings/sec, 40 secs
lola: 347554 markings, 983125 edges, 5411 markings/sec, 45 secs
lola: 380218 markings, 1081031 edges, 6533 markings/sec, 50 secs
lola: 413203 markings, 1179160 edges, 6597 markings/sec, 55 secs
lola: 446628 markings, 1278023 edges, 6685 markings/sec, 60 secs
lola: 476134 markings, 1377209 edges, 5901 markings/sec, 65 secs
lola: 507905 markings, 1474005 edges, 6354 markings/sec, 70 secs
lola: 548993 markings, 1568980 edges, 8218 markings/sec, 75 secs
lola: 585225 markings, 1664900 edges, 7246 markings/sec, 80 secs
lola: 616025 markings, 1764863 edges, 6160 markings/sec, 85 secs
lola: 643991 markings, 1862888 edges, 5593 markings/sec, 90 secs
lola: 689470 markings, 1956990 edges, 9096 markings/sec, 95 secs
lola: 737813 markings, 2052497 edges, 9669 markings/sec, 100 secs
lola: 772021 markings, 2149296 edges, 6842 markings/sec, 105 secs
lola: 803566 markings, 2246521 edges, 6309 markings/sec, 110 secs
lola: 843573 markings, 2342347 edges, 8001 markings/sec, 115 secs
lola: 877754 markings, 2441418 edges, 6836 markings/sec, 120 secs
lola: 904138 markings, 2532381 edges, 5277 markings/sec, 125 secs
lola: 938572 markings, 2620090 edges, 6887 markings/sec, 130 secs
lola: 967767 markings, 2708210 edges, 5839 markings/sec, 135 secs
lola: 989104 markings, 2797957 edges, 4267 markings/sec, 140 secs
lola: 1011346 markings, 2886546 edges, 4448 markings/sec, 145 secs
lola: 1040924 markings, 2974167 edges, 5916 markings/sec, 150 secs
lola: 1068159 markings, 3061732 edges, 5447 markings/sec, 155 secs
lola: 1102096 markings, 3157731 edges, 6787 markings/sec, 160 secs
lola: 1133033 markings, 3254878 edges, 6187 markings/sec, 165 secs
lola: 1161767 markings, 3351815 edges, 5747 markings/sec, 170 secs
lola: 1196325 markings, 3446949 edges, 6912 markings/sec, 175 secs
lola: 1237216 markings, 3539729 edges, 8178 markings/sec, 180 secs
lola: 1270560 markings, 3636207 edges, 6669 markings/sec, 185 secs
lola: 1299449 markings, 3733943 edges, 5778 markings/sec, 190 secs
lola: 1329261 markings, 3830304 edges, 5962 markings/sec, 195 secs
lola: 1382030 markings, 3922201 edges, 10554 markings/sec, 200 secs
lola: 1423200 markings, 4019180 edges, 8234 markings/sec, 205 secs
lola: 1455938 markings, 4116641 edges, 6548 markings/sec, 210 secs
lola: 1488788 markings, 4213605 edges, 6570 markings/sec, 215 secs
lola: 1530501 markings, 4307331 edges, 8343 markings/sec, 220 secs
lola: 1559918 markings, 4406331 edges, 5883 markings/sec, 225 secs
lola: 1588802 markings, 4504200 edges, 5777 markings/sec, 230 secs
lola: 1629151 markings, 4597829 edges, 8070 markings/sec, 235 secs
lola: 1654410 markings, 4697036 edges, 5052 markings/sec, 240 secs
lola: 1678857 markings, 4795813 edges, 4889 markings/sec, 245 secs
lola: 1708903 markings, 4892307 edges, 6009 markings/sec, 250 secs
lola: 1739386 markings, 4989185 edges, 6097 markings/sec, 255 secs
lola: 1771762 markings, 5081707 edges, 6475 markings/sec, 260 secs
lola: 1803390 markings, 5177693 edges, 6326 markings/sec, 265 secs
lola: 1831026 markings, 5272238 edges, 5527 markings/sec, 270 secs
lola: 1863445 markings, 5365339 edges, 6484 markings/sec, 275 secs
lola: 1902391 markings, 5457142 edges, 7789 markings/sec, 280 secs
lola: 1937264 markings, 5550133 edges, 6975 markings/sec, 285 secs
lola: 1967031 markings, 5647134 edges, 5953 markings/sec, 290 secs
lola: 1995031 markings, 5744646 edges, 5600 markings/sec, 295 secs
lola: 2041178 markings, 5836895 edges, 9229 markings/sec, 300 secs
lola: 2088255 markings, 5932335 edges, 9415 markings/sec, 305 secs
lola: 2122658 markings, 6029576 edges, 6881 markings/sec, 310 secs
lola: 2154057 markings, 6126310 edges, 6280 markings/sec, 315 secs
lola: 2193262 markings, 6220015 edges, 7841 markings/sec, 320 secs
lola: 2226793 markings, 6316881 edges, 6706 markings/sec, 325 secs
lola: 2254931 markings, 6413385 edges, 5628 markings/sec, 330 secs
lola: 2292599 markings, 6506876 edges, 7534 markings/sec, 335 secs
lola: 2321597 markings, 6604181 edges, 5800 markings/sec, 340 secs
lola: 2345799 markings, 6703385 edges, 4840 markings/sec, 345 secs
lola: 2372939 markings, 6801761 edges, 5428 markings/sec, 350 secs
lola: 2404266 markings, 6895971 edges, 6265 markings/sec, 355 secs
lola: 2434440 markings, 6987194 edges, 6035 markings/sec, 360 secs
lola: 2465532 markings, 7077142 edges, 6218 markings/sec, 365 secs
lola: 2494081 markings, 7170906 edges, 5710 markings/sec, 370 secs
lola: 2521887 markings, 7266649 edges, 5561 markings/sec, 375 secs
lola: 2561964 markings, 7359003 edges, 8015 markings/sec, 380 secs
lola: 2598445 markings, 7449004 edges, 7296 markings/sec, 385 secs
lola: 2628072 markings, 7538438 edges, 5925 markings/sec, 390 secs
lola: 2655951 markings, 7635531 edges, 5576 markings/sec, 395 secs
lola: 2687787 markings, 7730897 edges, 6367 markings/sec, 400 secs
lola: 2743294 markings, 7822882 edges, 11101 markings/sec, 405 secs
lola: 2781513 markings, 7920308 edges, 7644 markings/sec, 410 secs
lola: 2812459 markings, 8016354 edges, 6189 markings/sec, 415 secs
lola: 2847808 markings, 8109271 edges, 7070 markings/sec, 420 secs
lola: 2885291 markings, 8200962 edges, 7497 markings/sec, 425 secs
lola: 2913784 markings, 8297476 edges, 5699 markings/sec, 430 secs
lola: 2943889 markings, 8391871 edges, 6021 markings/sec, 435 secs
lola: 2981453 markings, 8484038 edges, 7513 markings/sec, 440 secs
lola: 3004714 markings, 8577802 edges, 4652 markings/sec, 445 secs
lola: 3028837 markings, 8674546 edges, 4825 markings/sec, 450 secs
lola: 3057622 markings, 8767161 edges, 5757 markings/sec, 455 secs
lola: 3087698 markings, 8862451 edges, 6015 markings/sec, 460 secs
lola: 3119902 markings, 8954887 edges, 6441 markings/sec, 465 secs
lola: 3152073 markings, 9052282 edges, 6434 markings/sec, 470 secs
lola: 3180799 markings, 9150450 edges, 5745 markings/sec, 475 secs
lola: 3213386 markings, 9243339 edges, 6517 markings/sec, 480 secs
lola: 3251221 markings, 9332545 edges, 7567 markings/sec, 485 secs
lola: 3286016 markings, 9424871 edges, 6959 markings/sec, 490 secs
lola: 3315099 markings, 9519307 edges, 5817 markings/sec, 495 secs
lola: 3342094 markings, 9614123 edges, 5399 markings/sec, 500 secs
lola: 3384025 markings, 9705349 edges, 8386 markings/sec, 505 secs
lola: 3433205 markings, 9797609 edges, 9836 markings/sec, 510 secs
lola: 3467660 markings, 9893683 edges, 6891 markings/sec, 515 secs
lola: 3498606 markings, 9988710 edges, 6189 markings/sec, 520 secs
lola: 3536147 markings, 10081626 edges, 7508 markings/sec, 525 secs
lola: 3570549 markings, 10175333 edges, 6880 markings/sec, 530 secs
lola: 3598612 markings, 10270625 edges, 5613 markings/sec, 535 secs
lola: 3633063 markings, 10363881 edges, 6890 markings/sec, 540 secs
lola: 3665659 markings, 10458272 edges, 6519 markings/sec, 545 secs
lola: 3688995 markings, 10555528 edges, 4667 markings/sec, 550 secs
lola: 3713444 markings, 10652228 edges, 4890 markings/sec, 555 secs
lola: 3745054 markings, 10746449 edges, 6322 markings/sec, 560 secs
lola: 3775378 markings, 10839826 edges, 6065 markings/sec, 565 secs
lola: 3808491 markings, 10933699 edges, 6623 markings/sec, 570 secs
lola: 3837889 markings, 11029181 edges, 5880 markings/sec, 575 secs
lola: 3865765 markings, 11124640 edges, 5575 markings/sec, 580 secs
lola: 3902239 markings, 11216493 edges, 7295 markings/sec, 585 secs
lola: 3941574 markings, 11308324 edges, 7867 markings/sec, 590 secs
lola: 3973566 markings, 11402825 edges, 6398 markings/sec, 595 secs
lola: 4001664 markings, 11499278 edges, 5620 markings/sec, 600 secs
lola: 4032112 markings, 11593280 edges, 6090 markings/sec, 605 secs
lola: 4085366 markings, 11684229 edges, 10651 markings/sec, 610 secs
lola: 4124179 markings, 11778627 edges, 7763 markings/sec, 615 secs
lola: 4156079 markings, 11874420 edges, 6380 markings/sec, 620 secs
lola: 4188362 markings, 11969336 edges, 6457 markings/sec, 625 secs
lola: 4229221 markings, 12060665 edges, 8172 markings/sec, 630 secs
lola: 4257779 markings, 12156861 edges, 5712 markings/sec, 635 secs
lola: 4286147 markings, 12253683 edges, 5674 markings/sec, 640 secs
lola: 4326831 markings, 12348530 edges, 8137 markings/sec, 645 secs
lola: 4352856 markings, 12448953 edges, 5205 markings/sec, 650 secs
lola: 4377143 markings, 12546998 edges, 4857 markings/sec, 655 secs
lola: 4407358 markings, 12644888 edges, 6043 markings/sec, 660 secs
lola: 4437772 markings, 12741392 edges, 6083 markings/sec, 665 secs
lola: 4470332 markings, 12834539 edges, 6512 markings/sec, 670 secs
lola: 4501616 markings, 12929493 edges, 6257 markings/sec, 675 secs
lola: 4529395 markings, 13024792 edges, 5556 markings/sec, 680 secs
lola: 4561439 markings, 13117394 edges, 6409 markings/sec, 685 secs
lola: 4600285 markings, 13208153 edges, 7769 markings/sec, 690 secs
lola: 4635239 markings, 13301063 edges, 6991 markings/sec, 695 secs
lola: 4664326 markings, 13395480 edges, 5817 markings/sec, 700 secs
lola: 4691477 markings, 13490878 edges, 5430 markings/sec, 705 secs
lola: 4733150 markings, 13581903 edges, 8335 markings/sec, 710 secs
lola: 4780583 markings, 13675696 edges, 9487 markings/sec, 715 secs
lola: 4812913 markings, 13771357 edges, 6466 markings/sec, 720 secs
lola: 4849008 markings, 13866067 edges, 7219 markings/sec, 725 secs
lola: 4883565 markings, 13960937 edges, 6911 markings/sec, 730 secs
lola: 4910506 markings, 14058060 edges, 5388 markings/sec, 735 secs
lola: 4939391 markings, 14153524 edges, 5777 markings/sec, 740 secs
lola: 4973028 markings, 14251711 edges, 6727 markings/sec, 745 secs
lola: 5009299 markings, 14348543 edges, 7254 markings/sec, 750 secs
lola: 5043925 markings, 14444496 edges, 6925 markings/sec, 755 secs
lola: 5090955 markings, 14538499 edges, 9406 markings/sec, 760 secs
lola: 5131225 markings, 14630441 edges, 8054 markings/sec, 765 secs
lola: 5163670 markings, 14725034 edges, 6489 markings/sec, 770 secs
lola: 5194669 markings, 14819095 edges, 6200 markings/sec, 775 secs
lola: 5235479 markings, 14911503 edges, 8162 markings/sec, 780 secs
lola: 5266256 markings, 15007499 edges, 6155 markings/sec, 785 secs
lola: 5293885 markings, 15103351 edges, 5526 markings/sec, 790 secs
lola: local time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown yes unknown no no yes unknown no yes no no yes
lola: time limit reached - aborting
lola:
preliminary result: yes yes unknown unknown unknown yes unknown no no yes unknown no yes no no yes
lola:
preliminary result: yes yes unknown unknown unknown yes unknown no no yes unknown no yes no no yes
lola: memory consumption: 3590924 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished

BK_STOP 1590345820038

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-7B"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="win2019"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool win2019"
echo " Input is NoC3x3-PT-7B, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r120-csrt-158961292500109"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-7B.tgz
mv NoC3x3-PT-7B execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;